Considere a afirmação:
“João não trabalha e Maria fica em casa.”
A negação dessa afirmação é:
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:
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,