Rudolf Adamkovič Personal site

Up: Logic   [Top][Contents]

Mutual exclusivity

A joined property of the statements \(P\) and \(Q\), read

“\(P\) excludes \(Q\)”,
or“\(P\) precludes \(Q\)”,
or“\(P\) contradicts \(Q\)”,

if and only if

\(P\) and \(Q\) cannot be ‘true’ at the same time,

which means that 

\[\begin{equation*}
  \lnot (P \land Q)
\end{equation*}
\]

is a tautology.

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