Considere o conjunto universo dos deputados e os predicados a seguir:
p(x): x é favorável à matéria.
q(x): x vota favorável.
Nesse caso, a frase “Existe deputado que não é favorável à matéria e sua votação não é favorável.” pode ser escrita, em representação simbólica, como ∃ x ¬(p(x) → q(x)).