Questão FC94279
A respeito de lógica proposicional, julgue o item que se segue. Se P, Q e R forem proposições simples e se ~R indicar a negação da proposição R, então, independentemente dos valore
Lógica de Proposições
CEBRASPE (CESPE) · 2018
Se P, Q e R forem proposições simples e se ~R indicar a negação da proposição R, então, independentemente dos valores lógicos V = verdadeiro ou F = falso de P, Q e R, a proposição P → QV(∼ R) será sempre V.
Mostrar resposta e comentário
Gabarito
Errado
Comentário do professor
A afirmação é julgada ERRADO porque a fórmula principal é o condicional. A expressão dada é \(P \to (Q \lor (\neg R))\), portanto o conectivo mais externo é o **condicional**, e a parte à direita é a **disjunção** \(Q \lor (\neg R)\).
Um condicional é falso apenas quando o **antecedente** é verdadeiro e o **consequente** é falso. Basta um contraexemplo para mostrar que a proposição não é sempre verdadeira. Tome \(P = V\), \(Q = F\), \(R = V\). Então \(\neg R = F\) e \(Q \lor (\neg R) = F\). Assim \(P \to (Q \lor (\neg R))\) vale \(V \to F\), que é F.
Como existe atribuição de valores que torna a fórmula falsa, ela não é uma **tautologia**, logo a afirmação está correta ao ser julgada ERRADO.
Conteúdo do catálogo FC Concursos · Atualizado em