Chapter 10: Propositions & Their Converses
Master logical deduction - conditional statements, converses, and the power of counterexamples.
Core Vocabulary & Definitions
- Proposition: A mathematical statement that is definitively either true or false, commonly framed as If X, then Y or X implies Y.
- Converse: The reversed conditional statement formed by interchanging the hypothesis and conclusion: If Y, then X.
- Counterexample: A specific case, number, or geometric scenario that demonstrates a given proposition or converse is mathematically false.
- Implication (X -> Y): A logical relationship where the truth of condition X guarantees the truth of conclusion Y.
- Bi-implication (If and Only If): A double implication where both the original proposition (If X, then Y) and its converse (If Y, then X) are simultaneously true.
Essential Theorems & Identities
Standard Implication Structure:
Proposition P: If X, then Y (X -> Y)
Converse Q: If Y, then X (Y -> X)
Baudhayana-Pythagoras:
Proposition: If a triangle is right-angled, then a^2 + b^2 = c^2.
Converse: If a^2 + b^2 = c^2, then the triangle is right-angled.
Isosceles Triangle Theorem:
Proposition: If two sides of a triangle are equal, then the angles opposite the equal sides are equal.
Converse: If two angles of a triangle are equal, then the sides opposite the equal angles have equal lengths.
Multiples & Divisibility:
Proposition: If a number is a multiple of 6, then it is a multiple of 3. (True)
Converse: If a number is a multiple of 3, then it is a multiple of 6. (False; Counterexample: 9)
Algorithm: Framing and Testing a Converse Proposition
Identify Statement Parts
Break down the given proposition into its hypothesis condition X and conclusion result Y from the form If X, then Y.
Swap Hypotheses
Swap the positions of X and Y to construct the converse statement: If Y, then X.
Test for Counterexamples
Test the converse against simple numbers, geometric shapes, or boundary cases to check if condition Y can be true while X is false.
Deduce Logical Truth
If no counterexample exists, prove the converse deductively; if a counterexample is found, declare the converse false.
Worked Example: Testing a Converse
Proposition: If a number is a multiple of 6, then it is a multiple of 3.
- Step 1: X = "number is a multiple of 6"; Y = "number is a multiple of 3".
- Step 2: Converse: If a number is a multiple of 3, then it is a multiple of 6.
- Step 3: Test Y -> X: Take 9. It is a multiple of 3 (9 = 3 x 3), but 9 is not a multiple of 6.
- Step 4: Counterexample found (9), so the converse is FALSE.
Result: A single counterexample is enough to disprove a statement, but no number of examples can ever prove it universally.
Implication vs Converse Flow
A true proposition does not guarantee a true converse.
Truth Asymmetry (Key Insight)
| Original Proposition | Converse | Possible? |
|---|---|---|
| True | True | Yes |
| True | False | Yes (most common trap!) |
| False | True | Yes |
| False | False | Yes |
A true proposition does NOT automatically guarantee a true converse.
Quick Reference: Symbol Logic
| Concept | Symbol | Reading |
|---|---|---|
| Implication | X -> Y | X implies Y |
| Converse | Y -> X | Y implies X |
| Bi-implication | X <-> Y | X if and only if Y |
| Negation | Not X | Not X |
Key Properties & Proof Strategies
- Truth Asymmetry: "If it rains, the road is wet" is true, but "If the road is wet, it has rained" is false (the road could be wet from a spilled tanker).
- Power of a Single Counterexample: While thousands of supporting examples cannot prove a statement universally true, a single valid counterexample is sufficient to disprove it completely.
- Backward Retracing Strategy: Proving a converse often involves retracing the logical steps of the original theorem in reverse, using appropriate congruence criteria or algebraic reversibility.
- Perfect Square Factor Symmetry: Every positive integer has factor-partner pairs; a number has an odd number of factors if and only if it is a perfect square.
- Bi-implication Proof: To prove "X if and only if Y", you must prove both directions - the proposition (X -> Y) and its converse (Y -> X).
- Geometric Converse Testing: For geometry, test the converse using extreme cases (degenerate triangles, zero-length sides) to hunt for hidden counterexamples.
Real-World Connection: The Wet Road Mystery
Imagine you see a wet road. Does that mean it rained? Not necessarily - a water tanker may have spilled, or a nearby pipe may have burst. This everyday observation perfectly captures the essence of a converse: "If it rains, the road is wet" is a true proposition, but its converse "If the road is wet, it rained" is false. This chapter teaches you to always test a converse with a counterexample before accepting it - a skill that guards you against logical traps in mathematics and in daily life.
Common Pitfalls & Exam Traps
Pitfall 1 (Assuming converse must be true): Never assume logical symmetry! Always explicitly test the converse with counterexamples (such as checking whether all multiples of 3 are multiples of 6 - 9 breaks it).
Pitfall 2 (Reversing non-reversible operations): Beware of operations like squaring! x = y implies x^2 = y^2, but x^2 = y^2 does NOT imply x = y - because x and y could have opposite signs (e.g., x = 3, y = -3).
Pitfall 3 (Confusing converse with contrapositive): The converse of "If X, then Y" is "If Y, then X" - not "If not X, then not Y". The contrapositive (Not Y -> Not X) is logically equivalent to the original proposition, but the converse is not!