短語(yǔ)詞組短語(yǔ)natural deduction theorem proving 自然演繹法定理證明deduction theorem detail 演繹定理theorem deduction 定理推導(dǎo)theorem and deduction 定理和推論 返回 deduction theorem