Use o Método dedutivo para demonstrar:
Passo 1
O enunciado pede para mostrar que a fórmula
é logicamente equivalente a
, usando propriedades de equivalência em lógica proposicional.
Passo 2
Usamos primeiro a equivalência da implicação, que diz que
. Aplicando em
, temos:
Passo 3
Agora aplicamos a Lei de De Morgan em
, que transforma negação de disjunção em conjunção de negações:
Passo 4
Em seguida, usamos dupla negação para simplificar
:
Passo 5
Encadeando todas as equivalências, chegamos a: