Commutation of Conditionals

Taxonomy: Logical Fallacy > Formal Fallacy > Fallacy of Propositional Logic > Commutation of Conditionals


Form Similar Validating Form (Contraposition)
If p then q.
Therefore, if q then p.
If p then q.
Therefore, if not-q then not-p.
Example Counter-Example
If it's raining then the streets are wet.
Therefore, if the streets are wet then it's raining.
If Hillary is President then she is over 35.
Therefore, if Hillary is over 35 then she is President.


You may be familiar with commutation from the commutative laws of algebra, namely, that x + y = y + x and xy = yx, for any numbers x and y. The relevant meaning of the word "commutation" is "exchange", as the variables x and y exchange positions from the left side of the equations to the right and vice versa.

There are similar commutative laws in propositional logic that apply to such propositional connectives as conjunction and disjunction, that is, "and" and "or", respectively. For instance, the law for conjunction is that exchanging the conjuncts of a conjunction produces a logically equivalent statement. In other words, "p and q" is logically equivalent to "q and p".

Thus, to commute a compound statement is to switch its propositional components. For example, commuting the compound conjunction: "Today is Sunday and it's raining" is switching its components―"Today is Sunday" and "It's raining"―to get the sentence: "It's raining and today is Sunday."

Commutation is a validating form of immediate inference for some truth-functional connectives, such as conjunction and disjunction. However, the connective "if-then" that occurs in conditional statements is not commutable, that is, the commutation of a conditional statement is not as a general rule logically equivalent to the original statement. For example, "If today is Sunday then it's raining" does not say the same thing as "If it's raining then today is Sunday." Also see the Counter-Example in the table, above.

An argument commits the fallacy of Commutation of Conditionals if its premiss is a conditional statement and its conclusion is the commutation of that conditional statement. However, see the Exposure, below, for an exception.



This is one of Aristotle's thirteen fallacies, from the language-independent group, also known as the "Fallacy of the Consequent". The closely-related fallacy of affirming the consequent is often attributed to Aristotle, but his description of the fallacy sounds closer to commuting a conditional than affirming its consequent:

The refutation which depends upon the consequent arises because people suppose that the relation of consequence is convertible. For whenever, suppose A is, B necessarily is, they then suppose also that if B is, A necessarily is. This is also the source of the deceptions that attend opinions based on sense-perception. For people often suppose bile to be honey because honey is attended by a yellow colour: also, since after rain the ground is wet in consequence, we suppose that if the ground is wet, it has been raining; whereas that does not necessarily follow.

For this reason, I have included "Fallacy of the Consequent" in the list of aliases for this fallacy.


Acknowledgment: Thanks to Martina Rudic for criticism of the previous Example.