If a number is divisible by 4 it is divisible by 2, but not conversely. Six is divisible by 2 but not by 4. Thus antecedent and consequent cannot ordinarily be interchanged. This worked counterexample prevents a common reasoning mistake.
Opening interactive controls...
Reversing an implication
Conditional Propositions: Connected and Disjunctive Forms
If a number is divisible by 4 it is divisible by 2, but not conversely. Six is divisible by 2 but not by 4. Thus antecedent and consequent cannot ordinarily be interchanged. This worked counterexample prevents a common reasoning mistake.