Rudolf Adamkovič Personal site

Up: Index of logic   [Top][Contents]

Disjunction

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 & Mackworth, 2017, sec. 5.1)

© 2024 Rudolf Adamkovič under GNU General Public License version 3.
Made with Emacs and the secret alien technologies of yesteryear.