Law of the excluded middle

Sei \(\phi\) eine Aussage, dann gilt:

\begin{align*} \phi \lor \lnot \phi \end{align*}

bzw. äquivalent dazu:

\begin{align*} \lnot \lnot \phi \Leftrightarrow \phi \end{align*}