Conditional Statement Formula

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

The Formula

P→Q⇔¬P∨QP \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→QP \to Q

What This Formula Means

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

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

Formal View

P→Q⇔¬P∨QP \to Q \Leftrightarrow \neg P \vee Q; P→Q=⊥P \to Q = \bot iff P=⊤P = \top and Q=⊥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.'

Answer

Contrapositive: If not divisible by 3, then not divisible by 6 (true).\text{Contrapositive: If not divisible by 3, then not divisible by 6 (true).}

First step

1
Let pp: 'a number is divisible by 6' and qq: 'it is divisible by 3.' The original is p⇒qp \Rightarrow q.

Full solution

  1. 2
    Converse (q⇒pq \Rightarrow p): 'If a number is divisible by 3, then it is divisible by 6.' (False; e.g., 9.)
  2. 3
    Inverse (¬p⇒¬q\neg p \Rightarrow \neg q): 'If a number is not divisible by 6, then it is not divisible by 3.' (False; e.g., 9.)
  3. 4
    Contrapositive (¬q⇒¬p\neg q \Rightarrow \neg p): 'If a number is not divisible by 3, then it is not divisible by 6.' (True.)
A conditional p⇒qp \Rightarrow q is logically equivalent to its contrapositive ¬q⇒¬p\neg q \Rightarrow \neg p, but not necessarily to its converse or inverse.

Example 2

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

Example 3

medium
Given 'if it rains, the picnic is canceled' is true, and the picnic was NOT canceled, what can you conclude?

Common Mistakes

  • Calling P→QP \to Q false when PP is false — a false hypothesis makes the conditional vacuously true.
  • Confusing P→QP \to Q with its converse Q→PQ \to P — they are not logically equivalent.
  • Reading 'P only if Q' as 'if P then Q' backwards — 'P only if Q' is P→QP \to Q, not Q→PQ \to P.

Why This Formula Matters

The conditional is the form of every theorem and rule, and its lone false case (PP true, QQ false) is what proofs must rule out. A student who thinks a false hypothesis breaks the promise, or who confuses P→QP \to Q with its converse Q→PQ \to P, will misjudge validity and contrapositives. Recognizing it by "Is the claim broken only when the hypothesis is true yet the conclusion is false?" — rather than by familiar numbers — is what lets a student tell it apart from converse and biconditional and contrapositive in a mixed problem set.

Frequently Asked Questions

What is the Conditional Statement formula?

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

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→QP \to Q

Why is the Conditional Statement formula important in Math?

The conditional is the form of every theorem and rule, and its lone false case (PP true, QQ false) is what proofs must rule out. A student who thinks a false hypothesis breaks the promise, or who confuses P→QP \to Q with its converse Q→PQ \to P, will misjudge validity and contrapositives. Recognizing it by "Is the claim broken only when the hypothesis is true yet the conclusion is false?" — rather than by familiar numbers — is what lets a student tell it apart from converse and biconditional and contrapositive in a mixed problem set.

What do students get wrong about Conditional Statement?

The procedure for conditional statement is the easy part; the trap is calling P→QP \to Q false when PP is false. Asking "Is the claim broken only when the hypothesis is true yet the conclusion is false?" first is what keeps a correct-looking calculation from being attached to the wrong concept.

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