Posted on Leave a comment

Logical Disjunction

p \lor q

If p and q are statement variables, the disjunction of p and q is “p or q.” If either p is true, or q is true, or both p and q are true, “p or q” is true; “p or q” is false only when both p and q are false.

\displaystyle p

\displaystyle q

\displaystyle p \lor q

T T T
T F T
F T T
F F F