Enunciado
Julgue os próximos itens, relacionados à lógica proposicional, considerando os símbolos lógicos comuns e as letras maiúsculas como representativas de proposições simples. A proposição lógica a seguir é uma tautologia. ~ (Q → P) ˅ [(~B) ˅ (~C)] ↔ ~[(B ˄ C) ˄ (Q → P)]
Alternativas
- A.Certo
- B.Errado
Gabarito: alternativa correta destacada.
Comentario
Correta: C) Certo. De acordo com a lei de Morgan, a proposição ~(A ˄ B) equivale à proposição ~(A) ˅ ~(B), portanto, desenvolvida a proposição lógica, conclui-se que os valores lógicos resultantes são sempre verdadeiros, independentemente dos valores de P, Q, B e C.
Por que a alternativa E) está errada: marcar Errado contrariaria a justificativa oficial, porque ela demonstra materialmente que o item deve ser julgado certo.
Por que a alternativa E) está errada: marcar Errado contrariaria a justificativa oficial, porque ela demonstra materialmente que o item deve ser julgado certo.
Base legal
Fundamentação técnica oficial Cebraspe em Raciocínio Lógico.