Considere a afirmação:
“João não trabalha e Maria fica em casa.”
A negação dessa afirmação é:
A proposição – Se João é contador, então ele é inteligente – tem como uma equivalente a proposição
Considerando que os símbolos ¬, ∧, ∨, ∀ e ∃ representam negação, conjunção, disjunção, quantificador universal e quantificador existencial, respectivamente, as equivalências lógicas das fórmulas ¬∃xP(x) ∧ ∃yQ(y) e ∀x(¬P(x) → ¬Q(x)) são, respectivamente,