Reescreva cada uma das sentenças abaixo de modo que o símbolo de negação apareça somente dentro de predicado, ou seja, de modo que nenhuma negação esteja à frente de um quantificador ou de uma proposição envolvendo operadores lógicos.
UNIVERSIDADE FEDERAL DE MATO GROSSO DO SUL FACULDADE DE COMPUTAÇÃO
Passo 1
Primeiro, vamos entender o que a questão está pedindo. Temos a sentença lógica
e precisamos reescrevê-la de forma que a negação (
) fique apenas na frente do predicado
. Isso envolve trabalhar com os quantificadores e as leis de negação na lógica.
Passo 2
Vamos começar aplicando a negação à sentença inteira. A sentença original é
.
Sabemos que:
Aplicando isso à nossa sentença:
Passo 3
Agora, vamos lidar com a negação do quantificador existencial
. Sabemos que:
Aplicando isso à sentença que temos:
Resposta
A sentença reescrita com a negação apenas no predicado é: