FC ConcursosFC Concursos

Questão FC83089

Considere os conectivos lógicos usuais e assuma que as letras maiúsculas representam proposições lógicas simples. Com base nessas informações, julgue o item seguinte relativo à lóg

Lógica de Proposições

CEBRASPE (CESPE) · 2023

Considere os conectivos lógicos usuais e assuma que as letras maiúsculas representam proposições lógicas simples. Com base nessas informações, julgue o item seguinte relativo à lógica proposicional.

Considere também que as primeiras três colunas da tabela-verdade da proposição lógica P ⇒ (Q ˄ R) sejam iguais a:


Nesse caso, a última coluna dessa tabela-verdade apresenta exatamente três valores V.
Mostrar resposta e comentário

Gabarito

Errado

Comentário do professor

A assertiva é errada porque a implicação \(P \to (Q \land R)\) só é falsa quando o antecedente é verdadeiro e o consequente é falso, isto é, quando \(P\) é V e \(Q \land R\) é F.

A conjunção \(Q \land R\) é falsa sempre que \(Q\) é F ou \(R\) é F. Nas quatro linhas em que \(P\) é V, apenas a linha com \(Q\) e \(R\) ambos V torna o consequente verdadeiro, nas outras três o consequente é F, produzindo três falsidades da implicação. Nas quatro linhas com \(P\) = F a implicação é sempre verdadeira.

Portanto a última coluna contém 4 verdades vindas de \(P\)=F mais 1 verdade em \(P\)=V, totalizando 5 valores V e 3 valores F; por isso a afirmação de que há exatamente três V está incorreta.

Conteúdo do catálogo FC Concursos · Atualizado em

Continue aprendendo