Considerando os cálculos da lógica proposicional e a proposição “Nem Antônio é médico nem Jonas é dentista”, assinale a alternativa que corresponde à simbolização correta dessa proposição:
¬ (A ˄ B).
(¬ A) ˅ (¬ B).
¬ [A ˅ (¬ B)].
(¬ A) → B.
(¬ A) ˄ (¬ B).
¬ (A ˄ B).
(¬ A) ˅ (¬ B).
¬ [A ˅ (¬ B)].
(¬ A) → B.
(¬ A) ˄ (¬ B).
More Questions From This User See All
Lista de comentários
Resposta:
A simbolização correta da proposição "Nem Antônio é médico nem Jonas é dentista" é:
(¬ A) ˅ (¬ B).
Explicação:
Podemos reescrever a proposição original da seguinte forma: "Não é o caso que Antônio é médico e não é o caso que Jonas é dentista". Em termos de lógica proposicional, podemos usar a negação (¬) para expressar o "não é o caso que" e o conectivo de disjunção (˅) para expressar o "ou". Assim, temos:
¬ (A ˄ ¬B)
Que pode ser simplificado usando a lei de De Morgan:
¬A ˅ B
Ou seja, "não é o caso que Antônio é médico ou Jonas é dentista", que é equivalente à simbolização (¬ A) ˅ (¬ B)