F003 • Formal - Propositional Logic
Also known as: Fallacy of the Converse, Converting a Conditional
Logical implication is asymmetric; the relationship does not survive reversal.
We hear "if A then B" and quietly swap it to "if B then A," as though the two statements say the same thing. It is an easy slide to make -- in everyday language, the difference often does not matter. But in logic, the direction of a conditional is everything.
Loading examples...
Pattern: If P then Q; rewrite as if Q then P
Terms:
P = the original antecedentQ = the original consequentSteps:
P, then QQ, then POur conversational instincts blur the line between a conditional and its converse because, in many everyday situations, the two happen to coincide. If someone says "if you are a cat, you are a mammal," your brain might casually register it as "cats and mammals go together" -- a loose, bidirectional association rather than a one-way arrow. That looseness usually works fine socially. But logically, "if P then Q" and "if Q then P" are entirely independent claims. One can be true while the other is false. Every cat is a mammal, but not every mammal is a cat. The ease with which we swap these two is a testament to how efficiently our brains compress information -- and a reminder that the compression sometimes loses something important.
| When the conditional genuinely is biconditional -- when P is both necessary and sufficient for Q -- swapping is perfectly valid. The question is whether you have evidence for the biconditional or are just assuming it because the swap feels right. |
| In casual conversation, conditionals often carry implied bidirectionality that both speakers understand. "If you heat water to 100 degrees Celsius, it boils" -- in normal contexts, the reverse (boiling means it reached 100 degrees at standard pressure) also holds. The skill is knowing when the conversational implication matches the logical structure and when it does not. |
| Notice when you hear an if-then statement and your mind silently registers it as a two-way street. That silent registration is the moment the swap happens. |
| Ask yourself: does this work in both directions? "If A then B" -- is it also true that "if B then A"? If you have to pause, that pause is information. |
| Watch for reasoning that treats a subset relationship as identity. "All X are Y" does not mean "all Y are X," but our shorthand sometimes collapses the two. |
| Pay attention to moments when you feel a conclusion is obvious. Obviousness can be the feeling of a well-worn mental shortcut, and this particular shortcut is one of the most common. |
| Confusing necessary and sufficient conditions. "Being a cat is sufficient for being a mammal" does not mean "being a mammal is sufficient for being a cat." Sufficiency does not reverse into sufficiency. |
| Failing to recognize legitimate biconditionals. Some statements really do work in both directions ("a shape is a triangle if and only if it has exactly three sides"), and those are fine. The fallacy is in assuming bidirectionality when it has not been established. |
| Thinking this is a rare or purely academic error. Commuting conditionals is one of the most common reasoning mistakes in everyday life, precisely because our conversational habits make the swap feel natural. |
| Commutation of Conditionals |
|---|
| Assuming that a conditional statement is equivalent to its converse. |
| 'If P then Q' and 'If Q then P' are logically independent. One can be true while the other is false. |
Hover to see definition, click to view full details