Questão FC148945
Julgue o seguinte item, relativo à lógica proposicional e à lógica de argumentação. Se P e Q são proposições simples, então a proposição [P→Q] Λ P é uma tautologia, isto é, indepen
Lógica de Proposições
CEBRASPE (CESPE) · 2018
Se P e Q são proposições simples, então a proposição [P→Q] Λ P é uma tautologia, isto é, independentemente dos valores lógicos V ou F atribuídos a P e Q, o valor lógico de [P→Q] Λ P será sempre V.
Mostrar resposta e comentário
Gabarito
Errado
Comentário do professor
Comentário: A proposição [P→Q]ΛP não é uma tautologia, pois seu valor lógico depende dos valores atribuídos a P e Q. Para que [P→Q]ΛP seja verdadeira, é necessário que P seja verdadeira e que P implique Q (ou seja, Q também deve ser verdadeira). Por exemplo, se P for verdadeira e Q for falsa, a proposição [P→Q] se torna falsa, fazendo com que a conjunção [P→Q]ΛP também seja falsa. Portanto, essa proposição não é verdadeira em todas as circunstâncias, caracterizando-se como uma contingência, e não uma tautologia.
Conteúdo do catálogo FC Concursos · Atualizado em