Questão FC148944
Considere as proposições P e Q a seguir. P: Todo processo que tramita no tribunal A ou é enviado para tramitar no tribunal B ou no tribunal C. Q: Todo processo que tramita no tribu
Lógica de Proposições
CEBRASPE (CESPE) · 2018
P: Todo processo que tramita no tribunal A ou é enviado para tramitar no tribunal B ou no tribunal C.
Q: Todo processo que tramita no tribunal C é enviado para tramitar no tribunal B.
A partir dessas proposições, julgue o item seguinte.
A proposição ¬P → (P → Q) ¬P, em que ¬P denota a negação da proposição P, é uma tautologia, isto é, todos os elementos de sua tabela-verdade são V (verdadeiro).
Mostrar resposta e comentário
Gabarito
Certo
Comentário do professor
Comentário: A proposição ¬P → (P → Q) é uma tautologia porque, independentemente dos valores de verdade de P e Q, a implicação sempre resulta em verdadeiro. A negação da proposição P (¬P) é verdadeira quando P é falsa, e a implicação P → Q é verdadeira quando P é falsa ou quando ambas P e Q são verdadeiras. Portanto, quando analisamos a tabela-verdade, verificamos que em todos os casos, o resultado é verdadeiro, caracterizando a proposição como uma tautologia. Assim, a afirmação de que a proposição é uma tautologia está correta.
Conteúdo do catálogo FC Concursos · Atualizado em