短语词组短語natural deduction theorem proving 自然縯繹法定理証明deduction theorem detail 縯繹定理theorem deduction 定理推導theorem and deduction 定理和推論 返回 deduction theorem