The tautology that states, for every statement \(P\),

either \(P\) is true or \(\lnot P\) is true,

so

\begin{equation*} \forall P, \>\> P \lor \lnot P. \end{equation*}

---