Conditional Statement Formula

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∨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→Q

What This Formula Means

A conditional P→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→Q⇔¬P∨Q; P→Q=⊥ iff P=⊤ and Q=⊥

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).

First step

1
Let p: 'a number is divisible by 6' and q: 'it is divisible by 3.' The original is p⇒q.

Full solution

  1. 2
    Converse (q⇒p): 'If a number is divisible by 3, then it is divisible by 6.' (False; e.g., 9.)
  2. 3
    Inverse (¬p⇒¬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): 'If a number is not divisible by 3, then it is not divisible by 6.' (True.)
A conditional p⇒q is logically equivalent to its contrapositive ¬q⇒¬p, but not necessarily to its converse or inverse.

Example 2

medium
Determine the truth value of: 'If 2>5, then 10>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→Q false when P is false — a false hypothesis makes the conditional vacuously true.
  • Confusing P→Q with its converse Q→P — they are not logically equivalent.
  • Reading 'P only if Q' as 'if P then Q' backwards — 'P only if Q' is P→Q, not Q→P.

Why This Formula Matters

The conditional is the form of every theorem and rule, and its lone false case (P true, Q false) is what proofs must rule out. A student who thinks a false hypothesis breaks the promise, or who confuses P→Q with its converse Q→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→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→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 (P true, Q false) is what proofs must rule out. A student who thinks a false hypothesis breaks the promise, or who confuses P→Q with its converse Q→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→Q false when P 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