Now we care about the truth of the phrase independent of any particular \(x\)

If a *predicate* \(P(x)\) is TRUE for all \(x\), we say it is a TAUTOLOGY

“a statement that is true by necessity or by virtue of its logical form”

If a *predicate* \(P(x)\) is FALSE for all \(x\), we say it is a CONTRADICTION