A binary logical connective, denoted

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

and read

\(P\) or \(Q\),

that is true if and only if

at least one of \(P\) and \(Q\) is true.

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

---

• Synonyms
• Truth table