Logical Connectives:
Disjunction

Instead of asserting that p and q are both true, as in a conjunctive statement, we can assert that either p or q is true. This is a disjunction. The components p and q are called the disjuncts, and the connective "or" is represented by the wedge sign (v). As with conjunction and negation, the truth value of p v q is determined by the truth values of its components.

The truth table for disjunction, therefore, is as follows:

p
q
p v q
T
T
T
Disjunction
F
T
T
T
F
T
F
F
F
If p and q are both false, then p v q is false. If only one of them is true (it doesn't matter which one), then the disjunction is true. When both are true, then p v q is true.


Conjunction | Negation | Disjunction | Conditional
Logical Connectives

© Copyright 1998, W.W. Norton & Co.