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