Universal quantifier

A sentence \(\forall x P(x)\) is true if and only if \(P(x)\) is true no matter what value is substituted for \(x\).

Existential quantifier

A sentence \(\exists x P(x)\) is true if and only if there is at least one value of \(x\) that makes \(P(x)\) true.