Exercício 1.
Negação: \exists \mathrm{z} \in \mathbb{C},(\mathrm{z}=\overline{\mathrm{z}}) \wedge(\mathrm{z} \notin \mathbb{R}).
Negação: \exists \mathrm{z} \in \mathbb{C},(\mathrm{z}=\overline{\mathrm{z}}) \wedge(\mathrm{z} \notin \mathbb{R}).
Passo 1
O enunciado pede para negar a afirmação
Aqui o conteúdo é lógica de predicados: vamos usar as regras de negação para quantificador universal e para implicação.
Passo 2
Negamos primeiro o quantificador universal. A regra é
Aplicando a
, obtemos
Passo 3
Agora negamos a implicação. A regra é
Aqui
e
. Logo