Questão FC148943
Considerando os conectivos lógicos usuais, assumindo que as letras maiúsculas representam proposições lógicas e considerando que o símbolo ⁓ representa a negação, julgue o item a s
Lógica de Proposições
CEBRASPE (CESPE) · 2021
A expressão ⁓(P˄(⁓Q)) ↔ (Q˅(⁓P)) é uma tautologia.
Mostrar resposta e comentário
Gabarito
Certo
Comentário do professor
Comentário: A expressão ⁓(P˄(⁓Q)) (Q˅(⁓P)) é uma tautologia porque, ao analisar as possibilidades de verdade para as proposições P e Q, verificamos que a expressão sempre resulta em verdadeiro, independentemente dos valores que P e Q assumam. A negação de P e Q, combinada com a conjunção e disjunção, garante que os resultados sejam consistentes em todas as situações, ou seja, a expressão não admite casos em que seja falsa. Assim, a afirmação de que é uma tautologia está correta.
Conteúdo do catálogo FC Concursos · Atualizado em