Mostre que não são logicamente equivalentes:
e
.
Passo 1
O enunciado pede para mostrar que as fórmulas
e
não são logicamente equivalentes. Vamos comparar seus valores-verdade, usando um contraexemplo simples em vez de montar toda a tabela-verdade.
Passo 2
Analise o caso em que
. Então
Logo
Passo 3
Já a outra fórmula, quando
, vale
Portanto, para qualquer atribuição com
e
, as duas fórmulas dão valores distintos.
Resposta
As fórmulas não são logicamente equivalentes. Por exemplo, se
então