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 é:

Exercícios relacionados

Quatro formandos da FANESE, André, Bernardo, Carlos e Daniel, se juntaram para organizar um churrasco. O número de convidados de Daniel é igual à soma do número de convidados de Bernardo e de Carlos. O número de convidados de Carlos é igual à soma do número de convidados de André e Bernardo. A soma do número de convidados de Bernardo, Carlos e Daniel é oito vezes o número de convidados de André. Sabendo que cada formando convidou pelo menos uma pessoa, e, no máximo, 15 pessoas, determine o número de convidados de cada formando.
Reescreva cada uma das expressões quantificadas abaixo em português, expressando um fato matemático. O domínio em cada caso são todos os números reais.
A Internet armazena uma quantidade enorme de informações. Ao fazer uma busca na rede, os sites são listados em ordem decrescente segundo o seu grau de importância. Considere que, para calcular o grau de importância, são analisados três fatores: a quantidade de pessoas que se inscrevem no site, a quantidade de atualizações do site e a quantidade de visualizações do site. Cada um desses fatores recebe uma pontuação determinada. - Para que o site obtenha 9000 pontos e seja considerado de grande importância, são necessárias 600 pessoas inscritas, 600 atualizações e 800 visualizações.
  • Para que o site obtenha 6300 pontos e seja considerado de média importância, são necessárias 300 pessoas inscritas, 600 atualizações e 300 visualizações.
  • Para que o site obtenha 2000 pontos e seja considerado de importância satisfatória, são necessárias 100 pessoas inscritas, 100 atualizações e 300 visualizações.
    A partir dessas informações, determine a pontuação obtida por um site que apresenta 900 pessoas inscritas, 450 atualizações e 700 visualizações.
    Justifique sua resposta apresentando os cálculos realizados na resolução desta questão.
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