Rudolf Adamkovič Personal site

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

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