Conditional Statement Formula

The Formula

P \to Q \Leftrightarrow \neg P \vee Q

When to use: A promise or rule: if the condition holds, the consequence follows.

Quick Example

'If it rains, I'll bring an umbrella.' True unless it rains and I don't bring one.

Notation

P \to Q

What This Formula Means

A conditional P \to Q is a statement meaning "if P is true, then Q must be true," read as "if P then Q."

A promise or rule: if the condition holds, the consequence follows.

Formal View

P \to Q \Leftrightarrow \neg P \vee Q; P \to Q = \bot iff P = \top and Q = \bot

Worked Examples

Example 1

easy
Write the converse, inverse, and contrapositive of: 'If a number is divisible by 6, then it is divisible by 3.'

Solution

  1. 1
    Let p: 'a number is divisible by 6' and q: 'it is divisible by 3.' The original is p \Rightarrow q.
  2. 2
    Converse (q \Rightarrow p): 'If a number is divisible by 3, then it is divisible by 6.' (False; e.g., 9.)
  3. 3
    Inverse (\neg p \Rightarrow \neg q): 'If a number is not divisible by 6, then it is not divisible by 3.' (False; e.g., 9.)
  4. 4
    Contrapositive (\neg q \Rightarrow \neg p): 'If a number is not divisible by 3, then it is not divisible by 6.' (True.)

Answer

\text{Contrapositive: If not divisible by 3, then not divisible by 6 (true).}
A conditional p \Rightarrow q is logically equivalent to its contrapositive \neg q \Rightarrow \neg p, but not necessarily to its converse or inverse.

Example 2

medium
Determine the truth value of: 'If 2 > 5, then 10 > 3.'

Common Mistakes

  • Thinking a false hypothesis makes the implication false — when P is false, P \to Q is always true (vacuous truth)
  • Confusing the converse (Q \to P) with the original implication (P \to Q) — they are not equivalent
  • Assuming that if P \to Q is true and Q is true, then P must be true — this is the fallacy of affirming the consequent

Why This Formula Matters

Conditionals are the fundamental structure of mathematical theorems and proofs — every "if hypothesis, then conclusion" is a conditional statement.

Frequently Asked Questions

What is the Conditional Statement formula?

A conditional P \to Q is a statement meaning "if P is true, then Q must be true," read as "if P then Q."

How do you use the Conditional Statement formula?

A promise or rule: if the condition holds, the consequence follows.

What do the symbols mean in the Conditional Statement formula?

P \to Q

Why is the Conditional Statement formula important in Math?

Conditionals are the fundamental structure of mathematical theorems and proofs — every "if hypothesis, then conclusion" is a conditional statement.

What do students get wrong about Conditional Statement?

If P is false, P \to Q is automatically true (vacuously true).

What should I learn before the Conditional Statement formula?

Before studying the Conditional Statement formula, you should understand: logical statement.

← Back to Conditional Statement See All Examples Practice Problems