Converse of a Conditional Statement: Divisible by 4 vs Even

Start with the original conditional: if a number is divisible by 4, then it is even. In logic terms this is if p, then q, where p is the number is divisible by 4 and q is the number is even. The converse swaps the two parts, so it becomes if q, then p: if a number is even, then it is divisible by 4. That is the converse statement your problem is asking for. Now check its truth value. Pick the number 6. It is even, so the hypothesis of the converse is satisfied. But 6 divided by 4 is 1.5, not a whole number, so 6 is not divisible by 4. The conclusion fails while the hypothesis holds true, which is exactly what makes a conditional statement false. One clean counterexample is enough to close the case, so the converse if a number is even, then it is divisible by 4 is false. The original conditional stays true, since every multiple of 4 is in fact even, but truth does not transfer automatically to the converse, and that gap is the entire point of this kind of question.

A conditional statement and its converse are built from the same two ideas, but they are not logically equivalent, and this problem shows exactly why. The original statement only promises something in one direction: divisibility by 4 guarantees evenness, because every multiple of 4 (4, 8, 12, 16, and so on) lands on an even number. But evenness is a much bigger category than divisibility by 4. Even numbers include 2, 6, 10, 14, 18 — numbers that are even but skip over the multiples of 4 entirely. So the set of divisible-by-4 numbers sits fully inside the set of even numbers, but the reverse containment does not hold. Whenever you have a conditional where the hypothesis describes a smaller or more specific group and the conclusion describes a larger or more general group, the converse is a strong candidate to be false, because you can almost always find an example that is in the larger group but not the smaller one. Recognizing this pattern before you even test a counterexample can save time on a timed quiz or exam section.

This one problem is a great template for the four statements that always show up together in a logic or geometry unit. The conditional is if p, then q: if a number is divisible by 4, then it is even. This one is true. The converse is if q, then p: if a number is even, then it is divisible by 4. This one is false, as shown above. The inverse negates both parts of the original in the same order: if a number is not divisible by 4, then it is not even. This is false too, since 6 is not divisible by 4 but it is still even. The contrapositive negates both parts and swaps the order: if a number is not even, then it is not divisible by 4. This one is true, and it will always match the truth value of the original conditional, because the contrapositive is logically equivalent to it. That equivalence is worth memorizing on its own: conditional and contrapositive always share a truth value, while converse and inverse always share a truth value with each other, though not necessarily with the original statement.

When you are handed a new conditional and asked to evaluate its converse, use the same three-step process every time. First, identify the hypothesis and the conclusion clearly, labeling them p and q so you do not accidentally swap the wrong halves. Second, write the converse by literally switching their positions: the conclusion of the original becomes the hypothesis of the converse, and the hypothesis of the original becomes the conclusion of the converse. Third, hunt for a counterexample by asking whether the new hypothesis can be true while the new conclusion is false. For divisibility and parity problems, small numbers like 2, 6, 9, 10, and 15 are usually enough to test a claim quickly, so keep a short mental list of them ready. If you search for a counterexample and genuinely cannot find one after trying several candidates, that is a signal the converse might actually be true, and you should then try to explain why in general terms rather than just by example, since a single missing counterexample is not a full proof.

Converse, inverse, and contrapositive questions trip students up mostly because the vocabulary is unfamiliar, not because the math itself is hard. Saying the four statements out loud, in your own words, and explaining why each one is true or false tends to cement the idea faster than reading through a worked example silently. That is the approach used in Crimsora voice-tutoring sessions: you talk through a conditional statement like this one, propose your own counterexample, and get immediate feedback on whether your reasoning actually holds up, the same way you would if you were explaining it to a teacher during office hours. If this topic is part of an upcoming geometry unit or a standardized test review, it is worth practicing a handful of conditionals from your own textbook using the same three-step method above until swapping, negating, and testing counterexamples all feel automatic.