Diga qual é a negação de cada proposição abaixo.
Passo 1
O enunciado nos dá a proposição
e pede a sua negação. O conteúdo aqui é lógica proposicional, especificamente a negação de uma implicação.
Passo 2
Para negar uma implicação
usamos a equivalência
Isso vem do fato de que
só é falsa quando
é verdadeira e
é falsa.
Passo 3
Identificamos
Logo
Passo 4
Substituindo
e
na fórmula da negação, temos
E
é a afirmação
. Portanto a negação final é