Definition
Contraposition
Contraposition replaces an implication with its contrapositive: it negates both formulas and reverses their order. For formulas
and , The two implications have the same truth value: if
is false, then must be false whenever holds.