短语词组短语natural deduction theorem proving 自然演绎法定理证明deduction theorem detail 演绎定理theorem deduction 定理推导theorem and deduction 定理和推论 返回 deduction theorem