4.2 Conditional Logic, Truth Tables, and Contrapositives

4.2 Conditional Logic, Truth Tables, and Contrapositives

In propositional logic, statements are evaluated based on the truth value of their component claims and the logical operators connecting them. A conditional proposition—colloquially expressed as an "If–Then" statement—is symbolized as:

$$P \rightarrow Q$$

where $P$ is the antecedent (the hypothesis, premise, or triggering condition) and $Q$ is the consequent (the conclusion, result, or necessary outcome).

---

Sufficient vs. Necessary Conditions

Understanding the precise distinction between sufficient and necessary conditions is paramount for avoiding classic deductive traps:

1. Sufficient Condition ($P$): A condition whose presence guarantees the occurrence of the outcome. If $P$ is satisfied, $Q$ must inevitably happen.

   • Example: Scoring 99% on the national qualifying examination is sufficient to secure an interview. (Having the score guarantees the interview).
   • Formula: $P \rightarrow Q$

2. Necessary Condition ($Q$): A condition that must be present for the outcome to occur, but whose presence does not by itself guarantee the outcome. Without $Q$, $P$ is completely impossible.

   • Example: Being at least 18 years of age is necessary to vote in national elections. (If you are not 18, you cannot vote; but being 18 does not automatically make you a registered voter).
   • Formula: $\neg Q \rightarrow \neg P$ (which is logically equivalent to $P \rightarrow Q$)

Translating Natural Language into $P \rightarrow Q$

Test items express conditional relationships in many ways:

• "$P$ implies $Q$" $\implies P \rightarrow Q$
• "$Q$ whenever $P$" $\implies P \rightarrow Q$
• "$P$ only if $Q$" $\implies P \rightarrow Q$ (Notice: "Only if" introduces the necessary condition $Q$!)
• "$Q$ is required for $P$" $\implies P \rightarrow Q$
• "No $P$ without $Q$" $\implies P \rightarrow Q$
• "Unless $Q$, not $P$" $\implies P \rightarrow Q$
• "Unless $P$, $Q$" $\implies \neg P \rightarrow Q$

---

Truth Table Mechanics of Material Implication

A conditional proposition $P \rightarrow Q$ makes a very specific contractual claim: it asserts that it is impossible for $P$ to be true while $Q$ is false. If $P$ occurs and $Q$ fails to occur, the conditional statement has been violated (False). Under all other circumstances, the conditional statement remains logically True.

Truth Table for Implication and Related Conditionals

The Principle of Vacuous Truth

Notice rows 3 and 4 of the truth table: when the antecedent $P$ is False, the conditional $P \rightarrow Q$ is automatically True, regardless of whether $Q$ is true or false. In formal logic, this is called vacuous truth. If the condition $P$ never occurred, the rule was never broken. For instance, if a teacher promises "If it rains tomorrow, we will conduct class online," and it does not rain, the teacher has not broken their word whether class is held online or in person.

---

The Four Conditionals and Logical Equivalence

From any original conditional proposition $P \rightarrow Q$, three related propositions can be derived by switching the order of terms, negating the terms, or doing both:

1. The Original Conditional: $P \rightarrow Q$
   • Example: If an organism is a vertebrate, then it possesses a spinal cord.
2. The Converse: $Q \rightarrow P$ (Reverses the direction)
   • Example: If an organism possesses a spinal cord, then it is a vertebrate.
3. The Inverse: $\neg P \rightarrow \neg Q$ (Negates both terms)
   • Example: If an organism is not a vertebrate, then it does not possess a spinal cord.
4. The Contrapositive: $\neg Q \rightarrow \neg P$ (Reverses the direction AND negates both terms)
   • Example: If an organism does not possess a spinal cord, then it is not a vertebrate.

The Fundamental Law of Contraposition

Inspecting the truth table reveals an indispensable mathematical identity:

$$P \rightarrow Q \equiv \neg Q \rightarrow \neg P$$

The original conditional and its contrapositive have identical truth values across all possible scenarios. They are logically equivalent statements expressing the exact same factual relationship in two different ways.

---

Valid Inference Rules vs. Formal Propositional Fallacies

When a conditional premise is paired with a secondary factual premise, only two inferential forms produce logically valid conclusions. The other two configurations are formal deductive fallacies.

Valid Rule 1: Modus Ponens (Affirming the Antecedent)

• Structure: $$\begin{array}{ll} \text{Premise 1:} & P \rightarrow Q \\ \text{Premise 2:} & P \\ \hline \text{Conclusion:} & \therefore Q \end{array}$$
• Explanation: If the sufficient condition has occurred, the consequence is guaranteed.
• Example: If a student completes all core STEM competencies ($P$), they are eligible for the regional science fair ($Q$). Joshua completed all core STEM competencies ($P$). Therefore, Joshua is eligible for the regional science fair ($Q$). [VALID]

Valid Rule 2: Modus Tollens (Denying the Consequent)

• Structure: $$\begin{array}{ll} \text{Premise 1:} & P \rightarrow Q \\ \text{Premise 2:} & \neg Q \\ \hline \text{Conclusion:} & \therefore \neg P \end{array}$$
• Explanation: If the necessary condition failed to occur, the sufficient condition could not possibly have happened (relying directly on the contrapositive $\neg Q \rightarrow \neg P$).
• Example: If a computer system detects an unauthorized network breach ($P$), an automated security lockdown is triggered ($Q$). No automated security lockdown was triggered ($\neg Q$). Therefore, the computer system did not detect an unauthorized network breach ($\neg P$). [VALID]

Formal Fallacy 1: Affirming the Consequent (Invalid!)

• Flawed Structure: $$\begin{array}{ll} \text{Premise 1:} & P \rightarrow Q \\ \text{Premise 2:} & Q \\ \hline \text{Flawed Conclusion:} & \therefore P \quad \text{(INVALID!)} \end{array}$$
• Explanation: Confuses a necessary condition with a sufficient condition. Knowing that the outcome $Q$ occurred does not prove that $P$ was the specific cause; $Q$ could have been triggered by other independent factors.
• Example: If it rains heavily in Metro Manila ($P$), the low-lying avenues will flood ($Q$). The low-lying avenues are flooded ($Q$). Therefore, it rained heavily in Metro Manila ($P$). [INVALID! The avenues could be flooded due to a burst water main, blocked drainage culverts, or tidal storm surges].

Formal Fallacy 2: Denying the Antecedent (Invalid!)

• Flawed Structure: $$\begin{array}{ll} \text{Premise 1:} & P \rightarrow Q \\ \text{Premise 2:} & \neg P \\ \hline \text{Flawed Conclusion:} & \therefore \neg Q \quad \text{(INVALID!)} \end{array}$$
• Explanation: Assumes that $P$ is the only possible condition that could produce $Q$. Denying $P$ does not prevent $Q$ from occurring through alternative mechanisms.
• Example: If a candidate receives an academic endorsement from the alumni board ($P$), they pass the screening stage ($Q$). Candidate Elena did not receive an academic endorsement from the alumni board ($\neg P$). Therefore, Elena will not pass the screening stage ($\neg Q$). [INVALID! Elena could pass the screening stage based on a competitive entrance examination score or artistic portfolio].

---

Chained Conditionals and Hypothetical Syllogisms

When multiple conditional statements are linked together, they exhibit a transitive property known in formal logic as the Hypothetical Syllogism:

$$\begin{array}{ll} \text{Premise 1:} & P \rightarrow Q \\ \text{Premise 2:} & Q \rightarrow R \\ \hline \text{Conclusion:} & \therefore P \rightarrow R \quad (\text{and by contraposition, } \neg R \rightarrow \neg P) \end{array}$$

Bridging Broken Chains with Contrapositives

Exam questions deliberately disrupt chains by stating intermediate premises in negative or inverted forms. When you encounter a broken chain, immediately convert the disrupted premise into its contrapositive to restore the link:

Scenario:

• Statement 1: If a high school graduate enters a naval architecture program ($A$), they must master fluid mechanics ($B$). Form: $A \rightarrow B$
• Statement 2: If a student does not master multivariable calculus ($C$), they cannot master fluid mechanics ($B$). Form: $\neg C \rightarrow \neg B$
• Statement 3: If a student masters multivariable calculus ($C$), they pass the technical foundation review ($D$). Form: $C \rightarrow D$

Resolution Workflow:

1. Examine Statement 2: $\neg C \rightarrow \neg B$.
2. Take its contrapositive: $B \rightarrow C$.
3. Now link all statements smoothly: $A \rightarrow B \rightarrow C \rightarrow D$
4. Guaranteed Valid Deductions:
   • If a student enters naval architecture, they pass the technical foundation review ($A \rightarrow D$).
   • If a student does not pass the technical foundation review, they did not enter naval architecture ($\neg D \rightarrow \neg A$).
   • If a student enters naval architecture, they master multivariable calculus ($A \rightarrow C$).

---

Biconditional Statements ("If and Only If")

A biconditional proposition asserts that two statements are mutually necessary and sufficient for one another. It is symbolized as:

$$P \leftrightarrow Q$$

which is logically equivalent to the conjunction of two conditionals: $(P \rightarrow Q) \wedge (Q \rightarrow P)$.

• In natural language: "$P$ if and only if $Q$" (often abbreviated as "$P$ iff $Q$").
• Under a biconditional, both the converse and the inverse are fully valid! If $P$ occurs, $Q$ must occur; if $Q$ occurs, $P$ must occur; if either is absent, the other must be absent.

---

Step-by-Step Worked Problems

Worked Example 1: Multi-Link Academic Track Prerequisite Chain

Problem: Consider the following institutional curriculum guidelines:

1. If a student enrolls in the Robotics Specialization ($R$), they must take Microcontroller Programming ($M$).
2. If a student takes Microcontroller Programming ($M$), they must complete Digital Logic Design ($D$).
3. If a student does not complete Advanced Circuit Analysis ($A$), they cannot complete Digital Logic Design ($D$).
4. Kenneth is enrolled in the Robotics Specialization.

What can be definitively concluded regarding Kenneth?

Step-by-Step Solution:

1. Symbolize each premise:
   • Premise 1: $R \rightarrow M$
   • Premise 2: $M \rightarrow D$
   • Premise 3: $\neg A \rightarrow \neg D$
   • Premise 4: $R(\text{Kenneth}) = \text{True}$
2. Convert Premise 3 using contraposition: $\neg A \rightarrow \neg D \equiv D \rightarrow A$
3. Construct the unified deductive chain: $R \rightarrow M \rightarrow D \rightarrow A$
4. Apply Modus Ponens:
   • Kenneth is in Robotics ($R$).
   • Therefore, Kenneth must take Microcontroller Programming ($M$), must complete Digital Logic Design ($D$), and must complete Advanced Circuit Analysis ($A$).
   • By contraposition, anyone who did not complete Advanced Circuit Analysis ($\neg A$) is not enrolled in Robotics ($\neg R$).

Worked Example 2: Distinguishing Valid Inferences from Fallacies

Premises:

• Rule: If a municipal water reservoir experiences an algal bloom ($A$), the regional treatment facility increases chlorine dosing by 40% ($C$).
• Observation: Yesterday, the regional treatment facility increased chlorine dosing by 40%.
• Candidate Conclusion: Therefore, the municipal water reservoir experienced an algal bloom.

Step-by-Step Solution:

1. Formalize the structure:
   • Premise 1: $A \rightarrow C$
   • Premise 2: $C$ (The facility increased chlorine dosing)
   • Conclusion: $\therefore A$
2. Evaluate the validity:
   • Premise 2 affirms the consequent ($C$).
   • Increasing chlorine dosing was a necessary consequence of an algal bloom, but not exclusively so. The facility could have increased chlorine dosing due to heavy monsoon turbidity, bacterial contamination from agricultural runoff, or routine maintenance pipe disinfection.
3. Deductive Verdict: The argument commits the Fallacy of Affirming the Consequent. The conclusion is plausible but logically unproven.