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
Beleza, vamos começar entendendo o que a questão está pedindo. A gente tem uma expressão lógica com negações e quantificadores, e a missão é reescrever essa expressão de modo que todas as negações fiquem dentro dos predicados. Ou seja, nada de negação na frente dos quantificadores ou de operadores lógicos. Para isso, vamos precisar usar as leis de De Morgan e as regras de negação dos quantificadores da lógica. Vamos lá!
Passo 2
Primeiro, vamos dar uma olhada na expressão original:
Aqui, temos uma negação que abrange toda a expressão dentro dos parênteses, que por sua vez tem um “e” lógico (
) conectando dois quantificadores: um existencial (
) e um universal (
).
Passo 3
Vamos aplicar a negação na expressão dentro dos parênteses. Para isso, usamos a Lei de De Morgan, que nos diz que:
Então, aplicando isso na nossa expressão:
Passo 4
Agora, vamos focar em cada negação separadamente. Primeiro, a negação de um quantificador existencial:
Aqui, usamos a regra que a negação de “existe” é “para todo”. E a dupla negação
simplifica para
.
Passo 5
Simplificando a primeira parte:
Passo 6
Agora, vamos tratar a segunda negação:
Aqui, usamos a regra que a negação de “para todo” é “existe”.
Passo 7
Substituindo as duas partes na nossa expressão original:
Resposta
A expressão reescrita com as negações somente dentro dos predicados fica:
Exercícios relacionados
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
Determine o valor lógico de cada uma das expressões quantificadas abaixo, assumindo que o domínio consiste de todos os números inteiros.
Reescreva cada uma das sentenças abaixo usando funções proposicionais
, quantificadores e conectivos lógicos.
Há um estudante em sua universidade que fala russo, mas não sabe ;
Há um estudante em sua universidade que fala russo, mas não sabe