bn:00134497n
Noun Concept
Categories: Propositional calculus, Mathematical proofs, Methods of proof
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