Escrever a negação das frases seguintes :
John está feliz se e somente se ele faz lógica.
John está feliz se e somente se ele faz lógica.
Passo 1
O enunciado pede para negar a frase “John está feliz se e somente se ele faz lógica”. O conteúdo é lógica proposicional, em particular a negação de uma bicondicional.
Passo 2
Definimos as proposições:
: “John está feliz”
: “John faz lógica”
A frase original é
A frase original é
Passo 3
A negação de uma bicondicional satisfaz
Passo 4
Traduzindo de volta para o português, obtemos:
“John está feliz e não faz lógica, ou John não está feliz e faz lógica.”
“John está feliz e não faz lógica, ou John não está feliz e faz lógica.”
Resposta
John está feliz e não faz lógica, ou John não está feliz e faz lógica.