Questão 26305 — Raciocínio Lógico

Resposta: B

A equivalência lógica fundamental para a implicação é a lei de material da implicação, que afirma que (P → Q) é logicamente equivalente a (¬P ∨ Q). Vamos verificar com a tabela-verdade: Se P é Verdadeira e Q é Verdadeira: P→Q é V; ¬P é F; ¬P∨Q é F∨V = V. Equivalentes. Se P é Verdadeira e Q é Falsa: P→Q é F; ¬P é F; ¬P∨Q é F∨F = F. Equivalentes. Se P é Falsa e Q é Verdadeira: P→Q é V; ¬P é V; ¬P∨Q é V∨V = V. Equivalentes. Se P é Falsa e Q é Falsa: P→Q é V; ¬P é V; ¬P∨Q é V∨F = V. Equivalentes. As outras alternativas não apresentam essa identidade nas tabelas-verdade.