FC ConcursosFC Concursos

Questão FC149256

Considerando que o símbolo lógico ∧ corresponda à conjunção “e”; ∨, à disjunção “ou”; →, à condicional “se..., então”; ↔, à bicondicional “se, e somente se”; ∼ corresponda à negaçã

Lógica de Proposições

CEBRASPE (CESPE) · 2013

Considerando que o símbolo lógico ∧ corresponda à conjunção “e”; ∨, à disjunção “ou”; →, à condicional “se..., então”; ↔, à bicondicional “se, e somente se”; ∼ corresponda à negação “não”; P, Q e R sejam proposições simples; e S seja a seguinte proposição composta: [P ∧ ∼ (Q ∨ R)] → [R ∧ (P ↔ Q)], julgue o próximo item.

Se Q for uma proposição verdadeira, então, independentemente dos valores lógicos de P e R, a proposição S será sempre verdadeira.
Mostrar resposta e comentário

Gabarito

Certo

Comentário do professor

Comentário: A proposição S é composta pelas operações de conjunção e disjunção, e, ao considerar que Q é verdadeira, qualquer expressão que contenha Q em uma disjunção (como na parte [P (Q R)] e [R (P Q)]) resultará em verdadeiro, independentemente dos valores de P e R. Isso ocorre porque a disjunção só precisa de um operando verdadeiro para ser verdadeira. Portanto, a proposição S será verdadeira em todos os casos em que Q for verdadeira, confirmando que a afirmação está correta.

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

Continue aprendendo