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