Seja f uma função de
em
. Escrever as negações das proposições seguintes:
Se
é elemento de
, então
.
Se
Passo 1
O enunciado dá uma função
e a proposição condicional
Aqui o conteúdo é lógica de proposições, em especial negar uma implicação.
Passo 2
Denotemos
A proposição original é
.
Passo 3
Sabemos que a negação de uma implicação
é
No nosso caso isso dá
isto é,
Resposta
A negação é: