GabaritoC — Certo
Gabarito: Certo (C). A proposição ¬(P→Q) ∨ R é verdadeira porque, com base nas premissas e nos fatos observados (H verdadeiro, S verdadeiro), conclui‑se que R é verdadeiro, o que torna a disjunção verdadeira independentemente do valor de ¬(P→Q).
A banca forneceu as seguintes premissas:
P → Q (se P então Q)
P ∨ H → R (se P ou H então R)
S → (B ∨ C)
B → ¬A
Os fatos observados são: H = V, S = V.
Da premissa P ∨ H → R, como H é verdadeiro, a condição "P ∨ H" é verdadeira, logo R deve ser verdadeiro (modus ponens). Portanto, R = V.
A proposição avaliada é ¬(P→Q) ∨ R. Como R é verdadeiro, a disjunção é verdadeira, independentemente do valor lógico de ¬(P→Q). Logo, a afirmação do item está correta.
Em questões de lógica proposicional, quando uma disjunção tem uma parcela conhecidamente verdadeira, o valor lógico total já é verdadeiro – não é preciso analisar a outra parcela.
Gabarito: Certo (C).
Link permanente: /questoes/ce216736