1. Deduction theoremIn mathematical logic, the deduction theorem is a metatheorem of first-order logic. It is a formalization of the common proof technique in which an implication A → B is proved by assuming A and then proving B from this assumption. The deduction theorem explains why proofs of conditional sentences in mathematics are logically correct.
Read “Deduction theorem” on English Wikipedia
Read “演繹定理” on Japanese Wikipedia
Read “Deduction theorem” on DBpedia
Read “Deduction theorem” on English Wikipedia
Read “演繹定理” on Japanese Wikipedia
Read “Deduction theorem” on DBpedia
Discussions
Log in to talk about this word.