Questions: Conditional Statements and the Material Conditional

Question 1

The statement 'If it is raining, then the ground is wet' is true. In which situation is the material conditional FALSE?

• A. It is not raining and the ground is wet (sprinkler ran)
• B. It is not raining and the ground is not wet
• C. It is raining and the ground is not wet (covered by a canopy)
• D. The ground is wet but the cause is unknown

Answer: (C)

The material conditional P → Q is false in exactly one case: when P (the antecedent) is true and Q (the consequent) is false. A true antecedent guarantees a true consequent — that is the conditional's entire content. When P is false (not raining), the conditional is vacuously true regardless of whether Q is true or false. Options A, B, and D all involve a false antecedent (not raining) or an unbroken link, so the conditional holds.

Question 2

Consider the statement: 'If the moon is made of cheese, then 2 + 2 = 4.' What is the truth value of this material conditional?

• A. False — the antecedent is absurd, so the whole statement is meaningless
• B. False — there is no logical connection between the moon's composition and arithmetic
• C. True — but only because the consequent (2 + 2 = 4) happens to be true on independent grounds
• D. True — because the antecedent is false, the material conditional is automatically true (vacuous truth)

Answer: (D)

This question tests the concept of vacuous truth. The material conditional is false only when P is true and Q is false. Here P ('the moon is made of cheese') is false, so the conditional is true regardless of Q. This is called vacuous truth — the conditional makes no commitment about what happens when P is false. Option C is tempting because 2+2=4 IS true, but that's not why the conditional is true: even if Q were false, the conditional would still be vacuously true when P is false.

Question 3

The material conditional 'If P then Q' is logically equivalent to 'Either not-P or Q' (¬P ∨ Q).

• T. True
• F. False

Answer: True

These two forms have identical truth tables. P → Q is false only when P is true and Q is false — the same condition under which ¬P ∨ Q is false (¬P is false when P is true, and Q is false). In all other rows, both are true. This equivalence is useful for proofs and explains vacuous truth: when P is false, ¬P is true, making ¬P ∨ Q automatically true regardless of Q.

Question 4

If 'If P then Q' is true, then its converse 'If Q then P' is expected to also be true.

• T. True
• F. False

Answer: False

The conditional and its converse are logically independent — knowing one tells you nothing about the other. 'If it is raining, then the ground is wet' can be true while 'If the ground is wet, then it is raining' is false (the ground might be wet from a sprinkler). Confusing a conditional with its converse is the fallacy of 'affirming the consequent' and is one of the most common errors in everyday reasoning.

Question 5

A student argues: 'If Maria is a doctor, she has a medical degree. Maria has a medical degree. Therefore, Maria is a doctor.' What is the logical error, and what would be a valid conclusion?

Model answer: The error is affirming the consequent — inferring P from Q when you only know P → Q. The conditional guarantees that being a doctor implies having a degree, but not that having a degree implies being a doctor. Many people have medical degrees and work in research, law, or administration without practicing medicine. A valid conclusion would require the converse: 'If Maria has a medical degree, then Maria is a doctor' — which is a separate claim not given in the premises.

Valid inference from a conditional follows two patterns: modus ponens (P → Q, P is true, therefore Q) and modus tollens (P → Q, Q is false, therefore P is false). Affirming the consequent (P → Q, Q is true, therefore P) is invalid — it confuses the conditional with its converse. This error appears constantly in everyday reasoning: 'Happy people smile; she is smiling; therefore she is happy.'