Most contemporary logicians prefer to think that the introduction rules and the elimination rules for an expression are equally important.
多数当代逻辑学家偏好认为介入规则和除去规则对于表达是同等重要的。