Disjunction

Define

A binary logical connective, denoted

\[\begin{equation*}
  P \lor Q
\end{equation*}
\]

and read

that is ‘true’ if and only if

(Levin, 2021, sec. 0.2; Poole & Mackworth, 2017, sec. 5.1)

Name

• Or
• Logical or
• Inclusive or

  As opposed to exclusive or.

Explore

Construct the truth table for the statement \(P \lor Q\).

<<scheme/org-truth-table>>
(org-truth-table (lambda (p q) (or p q))
                 '("P" "Q" "P \\land Q"))