Rudolf Adamkovič Personal site

Up: 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.

[1, Sec. 0.2], [9, Sec. 5.1]

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