Disjunction Formula

The Formula

P \vee Q is false \Leftrightarrow P is false and Q is false

When to use: At least one must be true. Logical OR is inclusive — "P or Q or both" — unlike the exclusive everyday "either/or."

Quick Example

"I will study math OR physics tonight" is false only if I skip both subjects entirely.

Notation

P \vee Q

What This Formula Means

A disjunction P \vee Q is a compound statement that is true whenever at least one of its parts is true.

At least one must be true. Logical OR is inclusive — "P or Q or both" — unlike the exclusive everyday "either/or."

Formal View

P \vee Q \Leftrightarrow \neg(\neg P \wedge \neg Q); P \vee Q = \bot iff P = \bot and Q = \bot

Worked Examples

Example 1

easy
Let p: '2 is even' and q: '2 is odd'. Evaluate p \lor q and explain the result.

Solution

  1. 1
    p: '2 is even' — True. q: '2 is odd' — False.
  2. 2
    p \lor q = T \lor F = T.
  3. 3
    In logic, p \lor q (inclusive or) is true when at least one of p, q is true.

Answer

p \lor q = \text{True}
The logical OR is inclusive: it is true whenever at least one operand is true, and false only when both are false. This differs from the everyday exclusive 'or' which excludes the case where both are true.

Example 2

medium
Find all real x satisfying 'x < -1 or x > 3', and express as a union of intervals.

Common Mistakes

  • Using exclusive-or reasoning — in logic, P \vee Q is true when both are true, unlike everyday 'or'
  • Thinking P \vee Q means exactly one is true — that is XOR (P \oplus Q), not OR
  • Confusing \vee (or) with \wedge (and) — P \vee Q is false ONLY when both are false

Why This Formula Matters

Disjunction expresses alternatives and is the logical backbone of union, piecewise definitions, and compound probability.

Frequently Asked Questions

What is the Disjunction formula?

A disjunction P \vee Q is a compound statement that is true whenever at least one of its parts is true.

How do you use the Disjunction formula?

At least one must be true. Logical OR is inclusive — "P or Q or both" — unlike the exclusive everyday "either/or."

What do the symbols mean in the Disjunction formula?

P \vee Q

Why is the Disjunction formula important in Math?

Disjunction expresses alternatives and is the logical backbone of union, piecewise definitions, and compound probability.

What do students get wrong about Disjunction?

Logical OR is inclusive (includes 'both'). 'XOR' is exclusive (one but not both).

What should I learn before the Disjunction formula?

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

← Back to Disjunction See All Examples Practice Problems