Considere a seguinte afirmação:
Se eu me esforço, então sou vencedor.
Uma equivalente lógica para a afirmação apresentada está contida na alternativa:
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,