Home / Logic / Predicate logic
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.
Home / Logic / Predicate logic
Let \(P(x)\) mean “\(x\) is even”. Then
\begin{equation*} \forall x \>\> P(x) \iff \lnot P(x + 1) \end{equation*}is a tautology.