---

Example

Let \(P(x)\) mean “\(x\) is even”. Then

\[\begin{equation*}
  \forall x \>\> P(x) \iff \lnot P(x + 1)
\end{equation*}
\]

is a tautology.