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.