Tertium non datur

(TND)

Ohne jegliche Voraussetzung gilt:

$$\begin{array}{r}P\vee \neg P\end{array}$$