Questão de Raciocínio Lógico — Fundamentos de Lógica — CESPE / CEBRASPE 2023

Tautologia e Equivalência Lógica

✅ CERTO. A proposição $(P \Rightarrow Q) \Leftrightarrow ((\lnot P) \lor Q)$ é uma tautologia porque a condicional $P \rightarrow Q$ é logicamente equivalente à disjunção $\lnot P \lor Q$. Quando duas proposições são equivalentes, a bicondicional entre elas é sempre verdadeira, independentemente dos valores lógicos de $P$ e $Q$.

Uma forma rápida de verificar é construir a tabela-verdade:

Como a última coluna é toda verdadeira, a proposição é uma tautologia. Essa equivalência é fundamental na lógica proposicional e é conhecida como Lei da Implicação Material.