Dado o conjunto universo U={a1,a2,...,an}U={a1,a2,...,an}, temos que a sentença quantificada∀x,P(x)∀x,P(x), em que x pertence a U, é equivalente a:...

A sentença quantificada ∀x,P(x) em que x pertence a U, é equivalente a: ¬P(a1)∨¬P(a2)∨...¬P(an) Essa alternativa é conhecida como a negação da sentença quantificada, que é equivalente a dizer que "para todo x pertencente a U, P(x) é verdadeiro" é o mesmo que dizer que "não é verdade que existe um x pertencente a U tal que P(x) é falso".