lesson
Updated 1 month ago · 7 views
Every square is definitely a rectangle, but does that mean every rectangle is a square? Flipping an argument backwards is one of the easiest ways to make a false claim in geometry.
A conditional statement is an "if-then" statement written as p→q, where p is the hypothesis (the given condition) and q is the conclusion (the result).
📊A clean interactive visual showing conditional statement structure. At top: 'If a shape is a square (p), then it is a rectangle (q)'. Below it, a Venn diagram shows an outer blue oval labeled 'Rectangles (q)' containing an inner green circle labeled 'Squares (p)'. A small text card explains: 'Every square sits inside the rectangle category, so p implies q is TRUE.' Responsive layout, light gray background (#f8f9fa), dark slate text (#1e2945), rounded 12px card borders (#e6e6e6).
So what happens to the truth of an argument when we reverse the order or negate the parts? Let's rearrange the pieces.
Flipping and Negating Statements
The converse swaps the hypothesis and conclusion into q→p, while the inverse negates both parts to form ∼p→∼q (read as "not p implies not q").
Even if the original statement is true, its converse and inverse can be false. A single counterexample—such as a 3×5 rectangle that is not a square—proves an argument invalid.
📊A 2x2 comparison grid of statement variations for 'If square, then rectangle'. Card 1 (Top Left): 'Conditional: p -> q' | 'If square, then rectangle' | Status: TRUE (green badge). Card 2 (Top Right): 'Converse: q -> p' | 'If rectangle, then square' | Status: FALSE (red badge) with a 3x5 rectangle counterexample diagram. Card 3 (Bottom Left): 'Inverse: ~p -> ~q' | 'If not square, then not rectangle' | Status: FALSE (red badge) with a non-square rectangle counterexample. Card 4 (Bottom Right): 'Contrapositive: ~q -> ~p' | 'If not rectangle, then not square' | Status: TRUE (green badge). Clean typography, responsive, border #e6e6e6.
Notice how the conditional and contrapositive were both true, while the converse and inverse were both false? That is never a coincidence.
The Contrapositive and Logical Equivalence
The contrapositive flips and negates the statement into ∼q→∼p. A conditional statement and its contrapositive are logically equivalent, meaning they always share the exact same truth value.
Over 2,300 years ago, Aristotle and the Stoic logicians formalized these exact rules of deduction to prove geometric claims without relying on visual guesswork.
What happens when both the original conditional statement AND its converse turn out to be completely true?