bn:00134497n
Noun Concept
Categories: Mathematical proofs, Methods of proof, Propositional calculus
EN
proof by contrapositive
EN
In logic, the contrapositive of a conditional statement is formed by negating both terms and reversing the direction of inference. Wikipedia
Definitions
Relations
Sources
EN
In logic, the contrapositive of a conditional statement is formed by negating both terms and reversing the direction of inference. Wikipedia