Concept

Disjunction

A disjunction is a compound statement using the word or. The disjunction of two statements p and q can also be written using the symbol ∨.


rc Words: & p or q Symbols: & p ∨ q

The statements that make up a disjunction are sometimes called disjuncts. It is raining_(disjunct p) orit is sunny_(disjunct q). [0.5em] p ∨ q A disjunction is true when at least one of the disjuncts is true. In the case where all disjuncts are false, the disjunction is false. This can be represented using a truth table.

Disjunction
p q p ∨ q
T T T
T F T
F T T
F F F
Exercises