Ex. 1.13 - Negue a proposição
Passo 1
O enunciado pede para encontrar a negação de
. O objetivo é usar equivalências de lógica proposicional: a definição de bicondicional, as Leis de De Morgan e a negação de implicação.
Passo 2
Recordamos que o bicondicional se define por
Passo 3
Aplicamos a negação sobre todo o bicondicional e usamos De Morgan para inverter a conjunção:
Passo 4
Lembramos que a negação de uma implicação é
Passo 5
Substituindo na disjunção obtemos