the.com/contrapositive
logic's plot twist: flip it, negate it, and somehow it's still the same statement.
equal truthAlways shares truth value with the original statement
the flipIf P then Q becomes if not-Q then not-P
proof trickMathematicians prove it when the direct route fails
fake twinsConverse and inverse only look equally valid
ancient rootsAristotle's logic toolkit already wielded this move