Foundations of Logical Thinking: Logic 101 - Converse, Inverse, and Contrapositive

Introduction: Why Must We Think Logically?

We all face countless moments of choice and judgment every day. From simple observations like “If it rains, the ground gets wet” to expectations like “If I study hard, I will pass,” and complex legal arguments, our thinking is woven with chains of ‘conditions’ and ‘results.’ However, we often confuse the direction of these chains and reach wrong conclusions.

Logic prevents these errors in thought and presents the most sophisticated path to the truth. The starting point is understanding the relationship between a ‘Proposition’ and its derivatives: ‘Converse, Inverse, and Contrapositive.’ In this post, we will build the framework of logic that supports our daily lives and intelligence, going beyond abstract mathematical symbols.

1. Definition of a Proposition: The Criterion for True and False

In logic, a proposition refers to a sentence whose content can be clearly judged as true or false. For example, “Apples are delicious” cannot be a proposition because it depends on an individual’s subjectivity, but “2 is a prime number” is a proposition because objective true/false judgment is possible.

The most basic form of a conditional proposition has the form “If P, then Q (P → Q).” Here, P is called the Antecedent (Assumption) and Q is called the Consequent (Conclusion). That this sentence is true means that Q always follows when P occurs.

2. Converse, Inverse, and Contrapositive: Transformations of a Proposition

Given a proposition P → Q, we can create three new sentences by swapping the positions of the assumption and the conclusion or by negating them.

Converse: Swapping the conclusion and the assumption. “If Q, then P (Q → P)”
- Example: The converse of “If it rains, the ground gets wet” is “If the ground is wet, it rained.”
Inverse: Negating the assumption and the conclusion respectively. “If not P, then not Q (~P → ~Q)”
- Example: “If it does not rain, the ground does not get wet.”
Contrapositive: Negating the assumptions of the converse or swapping the assumption and conclusion of the inverse. “If not Q, then not P (~Q → ~P)”
- Example: “If the ground is not wet, it did not rain.”

3. Logical Destiny: The Relationship Between the Original Proposition and the Contrapositive

Here, the most important philosophical and mathematical principle appears. If the original proposition is true, its contrapositive is always true. Conversely, if the original proposition is false, the contrapositive is also always false. This is called ‘Logical Equivalence.’

Why is that? Let’s assume that “If it rains, the ground gets wet” is an absolute truth. If the ground is not wet at all (not Q), the possibility of it having rained (P) is fundamentally blocked. This is because if it had rained, the ground would have had to get wet. Therefore, the conclusion “If the ground is not wet, it did not rain” contains the truthfulness of the original proposition.

However, the Converse and Inverse have nothing to do with the truthfulness of the original proposition. Even if the ground is wet (Q), it could be because of a cleaning truck, not rain. Many people commit the error of seeing the proposition “A successful person wakes up early” and thinking “If I wake up early, I will be successful (Converse)” or “If I don’t wake up early, I won’t be successful (Inverse).“

4. Application in Daily Life and Academia: Reductio ad Absurdum and Legal Reasoning

This logical structure is not just for solving exam problems.

Contrapositive as a Method of Proof: In mathematics, when it is difficult to prove a proposition directly, the method of proving its contrapositive to establish that the original proposition is true is frequently used.
Reductio ad Absurdum: The logic that “since a contradiction occurs when a certain conclusion is negated, the original conclusion is true” also touches upon the logic of the contrapositive.
Critical Thinking: When refuting an opponent’s argument, you can find logical loopholes by looking at the contrapositive of that argument.

Conclusion: Logic is a Tool for Freedom

Thinking logically means cultivating the power to see through the essence of an event without being swayed by the arguments of others or your own prejudices. When we understand propositions and their variations, we can finally clear the fog of ambiguous language and reach the plain of clear truth.

A Solid Foundation: “P → Q” and “~Q → ~P” share the same fate like twins. However, “Q → P” and “~P → ~Q” are like strangers who can lie to you. Check the chains of logic one by one. Your language and thoughts will become much firmer.

Read More: