Questão 1965 — Raciocínio Lógico

Resposta: C

As proposições P∨(¬Q)→(¬R) e R→[Q∨(¬P)] são equivalentes. Isso pode ser verificado pela aplicação da equivalência lógica A→B ≡ ¬B→¬A (contraposição). Na primeira proposição, temos P∨(¬Q)→(¬R). Aplicando a contraposição, obtemos R→¬[P∨(¬Q)], que é equivalente a R→[(¬P)∧Q]. Aplicando a comutatividade da disjunção, esta forma é logicamente equivalente a R→[Q∨(¬P)], que corresponde exatamente à segunda proposição. Portanto, as duas proposições são equivalentes.