Did you know? A statement can be perfectly true in one direction and false when we swap its beginning and ending. “If a whole number is divisible by 6, it is divisible by 3” works. “If it is divisible by 3, it is divisible by 6” does not. The swapped version feels familiar, which is exactly why it deserves its own test.
The converse of a conditional statement “If P, then Q” is “If Q, then P.” To test a converse, write it explicitly and look for an allowed case where Q is true but P is false. One valid counterexample disproves that converse as a universal rule. The original and converse are separate claims; we cannot assume the converse inherits the original’s truth.
This lesson uses invented classroom conversations and hand-checked mathematical examples, not actual students’ performance or a national examination marking rule. It develops a transferable habit: read the direction of a claim before deciding what it proves.
Diagnose the direction error first
Write these two statements side by side, without commenting on their truth: “If a number is divisible by 6, it is divisible by 3”; “If a number is divisible by 3, it is divisible by 6.” Ask a student whether they have exactly the same meaning. If the student says yes because they use the same words, ask for one number that is divisible by 3 but not by 6.
The number 9 is a quick diagnostic: 9÷3=3 with no remainder, but 9÷6=1 remainder 3. The original statement survives, while the converse fails. The child needs more than the label “converse”; they need to see that the order of the condition and the conclusion changes what is guaranteed.
Worked example: list the possibilities before choosing a claim
Restrict the example to positive whole numbers from 1 through 24. The multiples of 6 are 6, 12, 18 and 24. Every one of these is also a multiple of 3, so the implication “multiple of 6 implies multiple of 3” is supported throughout this finite set. In fact, it is valid for every whole number, because if n=6k for a whole number k, then n=3(2k), which proves n is divisible by 3.
Now list all multiples of 3 from 1 to 24: 3, 6, 9, 12, 15, 18, 21, 24. Only four of the eight are multiples of 6. For the converse, 3, 9, 15 and 21 are counterexamples. One would suffice: 9 satisfies the new if-clause but not its then-clause.
The counts make the logic concrete: four of four multiples of 6 in the listed set are multiples of 3, but only four of eight multiples of 3 are multiples of 6. These fractions describe the defined artificial set, not a probability model for selecting a random whole number from infinitely many possibilities. The algebraic proof establishes the original rule beyond the finite list.
Necessary and sufficient: two helpful phrases
Within this example, being divisible by 6 is sufficient to guarantee divisibility by 3. Being divisible by 3 is necessary for a number to be divisible by 6. But divisibility by 3 alone is not sufficient to guarantee divisibility by 6. A student who can say “necessary but not sufficient” has identified which way the implication works.
These words also occur in ordinary directions. “Submitting a completed form may be necessary to enter a competition” is not the same as “submitting a form guarantees entry.” Other eligibility conditions may apply. Do not use the logic of a genuine school policy without checking its exact current wording; this analogy is hypothetical.
Converse, inverse and contrapositive are not interchangeable
- Original: If P then Q. Example: if a whole number is divisible by 6, then it is divisible by 3.
- Converse: If Q then P. Example: if divisible by 3, then divisible by 6. False, as 9 shows.
- Inverse: If not P then not Q. Example: if not divisible by 6, then not divisible by 3. False, again 9 is a counterexample.
- Contrapositive: If not Q then not P. Example: if not divisible by 3, then not divisible by 6. True, because every multiple of 6 is a multiple of 3.
An original conditional and its contrapositive are logically equivalent; an original conditional and its converse are not necessarily equivalent. This is established in introductory logic and explained by the Morris and Morris open mathematics text on converse and contrapositive. It is a general reasoning reference, not a claim about a particular school syllabus.
To keep the direction visible, draw a one-way arrow P → Q on a card. Swapping P and Q reverses the arrow; it does not magically add an arrow in the opposite direction. Where both directions are separately proven, mathematicians may write “P if and only if Q.” That stronger statement requires two justified implications.
A second context: a square and a rectangle
Under the usual plane-geometry definitions, every square is a rectangle: a square has four right angles, as a rectangle does. But the converse “every rectangle is a square” is false. A rectangle of length 8 cm and width 5 cm has four right angles yet not four equal sides. This is an illustrative geometric counterexample with specified measurements.
Check both dimensions. An 8 cm by 5 cm rectangle has area 8×5=40 cm² and perimeter 2×(8+5)=26 cm. Those calculations do not themselves prove it is not a square; the unequal side lengths do. In a mathematical explanation, choose evidence that directly targets the claim rather than adding impressive but irrelevant arithmetic.
The student can build a square with dimensions 5 cm by 5 cm, then compare it with the 8 cm by 5 cm rectangle. Both satisfy “four right angles,” but only the square satisfies “all four sides equal.” The rectangle example isolates precisely which extra condition is missing from the converse.
Guided practice: sort which version is true
Take the claim: “If a positive whole number is a multiple of 12, then it is a multiple of 4.” State its converse before testing it. The converse is: “If it is a multiple of 4, then it is a multiple of 12.” Test 4, 8 and 12. Four and eight are multiples of 4 but not 12; 12 is both. Therefore the converse is false.
For the original, use a general argument: any multiple of 12 is 12k=4(3k), so it is a multiple of 4. Checking only 12 and 24 gives examples; expressing a general multiple as 12k shows why the rule works for every whole-number k. This contrasts proof of the original with disproof of the converse.
Independent practice: three new claims
- Task A: If a positive whole number ends in zero in ordinary decimal notation, it is divisible by 5. Write and test the converse.
- Task B: If two whole numbers are both even, their sum is even. Does the converse “if the sum is even, both numbers are even” hold? Try two odd numbers.
- Task C: If a plane quadrilateral is a square, it has four right angles. Test the converse with a rectangle that is not a square.
Answers: A’s converse is false: 15 is divisible by 5 but does not end in zero. B’s converse is false: 3+5=8 is even although neither addend is even. C’s converse is false: a 7 cm by 4 cm rectangle has four right angles but unequal adjacent sides. Each answer both names the reversed implication and supplies a counterexample in its permitted domain.
Try an extra challenge: the converse of “a whole number is divisible by 10 if it ends in zero in decimal notation” is true. Why? A whole number divisible by 10 can be written as 10k and hence has a final decimal digit zero. Some converses are true! The rule is to test the reverse direction, not automatically reject it.
An explanation should include the domain
A claim about “numbers” is incomplete unless the kind of number matters. Statements involving “the last digit” assume a representation such as ordinary base-ten notation and usually an integer. Statements about squares and rectangles use a geometric setting and definitions. Students learn to look for conditions hidden in the problem statement before announcing a universal rule.
Similarly, a positive result from four trial values cannot prove a claim for infinitely many whole numbers. A valid counterexample disproves a universal statement, but several supporting examples alone do not establish one without a general argument. A learner may use examples to discover a promising idea, then present a proof appropriate to the level of study.
Where this reasoning appears outside Mathematics
Reading an article, a student may see: “All pupils who completed a particular optional task received a certificate.” It would be invalid to infer, without more information, that everyone with a certificate must have completed that same task. There may be other routes. The sentence is fictional; it is designed to teach the direction of an implication, not to describe an actual school.
In science, a visible observation may follow from several causes. An outcome consistent with one explanation does not automatically identify that explanation as the only cause. In everyday reasoning, a requirement does not automatically become a guarantee. The shared skill is to distinguish what a premise rules in from what it leaves open.
Common errors and repairs
- Reversing because the words look similar: label P and Q, draw the arrow, then reverse it deliberately.
- Giving an example that does not meet the new if-clause: for a counterexample, Q must be true and P false in the converse Q→P.
- Assuming all converses are false: check; some statements are biconditionals.
- Assuming several matching examples form a proof: use a general explanation where the domain is unlimited.
- Confusing inverse with contrapositive: the inverse negates both parts without swapping; the contrapositive both swaps and negates.
- Ignoring the domain or definitions: write down exactly which numbers, shapes or cases the claim covers.
For parents and teachers: make the skill observable
A parent can write three familiar if–then claims using invented situations and ask the learner to swap them, then explain what new evidence would be needed. Avoid using sensitive promises or actual school eligibility criteria where the text may be incomplete. A teacher can give paired statements and score the explanation on two separate checks: correct converse wording and a logically valid test case.
Progress is visible when the learner can make the reversal without help, find a counterexample that satisfies the new starting condition, and explain why a verified original does not guarantee its converse. Revisit the skill several days later with a diagram or ordinary-language passage rather than the same number example.
Frequently asked questions
If the original claim is true, is its converse false?
Not necessarily. It may be true or false. Both directions must be checked, and some pairs of statements do form a genuine ‘if and only if’ relationship.
Does one counterexample really defeat a statement about all cases?
Yes, when the case lies within the statement’s stated domain and satisfies the premise but not the promised conclusion. The counterexample shows that the rule is not universally true.
What is the difference between a converse and a contrapositive?
The converse swaps P and Q. The contrapositive both reverses and negates them: from P→Q to not-Q→not-P. The contrapositive has the same truth value as the original.
Can this help with reading comprehension as well as algebra?
Yes. Conditional words such as ‘if’, ‘only if’, ‘unless’ and ‘provided that’ carry logical direction. Read the original sentence closely and do not infer additional promises that it never made.
A stronger thinker checks the arrow
Continue with the related Core Aim lesson on the difference between observing a pattern and proving an always-rule, and the guide to checking a number pattern when several rules fit. See also the eduKate Learning System and our Clementi Mathematics diagnosis-first reference. The point is not to memorise logic terms; it is to become the learner who knows exactly what one statement does—and does not—prove.