Buscar

ME AJUDE

No estudo do cálculo de predicados, aprendemos dois importantes quantificadores: o quantificador universal e o quantificador existencial. Além disso, vimos como trabalhar com estes quantificadores e como representar uma equivalência. Este princípio é fundamentado nas equivalências estudadas dos quantificadores e nas equivalências do cálculo proposicional. Fique atento, pois, quando aplicadas as regras de equivalência nos quantificadores, deve-se realizar a negação da sentença.Assim, escreva para cada item duas representações simbólicas: uma utilizando o quantificador de existência, e outra com o quantificador universal:

a) Existem políticos que não são corruptos (utilize "P" para político e "C" para corrupto).

b) Nenhum cachorro é preguiçoso (utilize "C" para cachorro e "P" para preguiçoso).

💡 1 Resposta

User badge image

Ed Verified user icon

a) Existem políticos que não são corruptos: - Utilizando o quantificador de existência: ∃x(Px ∧ ¬Cx) - Utilizando o quantificador universal: ¬∀x(Px → Cx) b) Nenhum cachorro é preguiçoso: - Utilizando o quantificador de existência: ¬∃x(Cx ∧ Px) - Utilizando o quantificador universal: ∀x(Cx → ¬Px)
0
Dislike0

Faça como milhares de estudantes: teste grátis o Passei Direto

Esse e outros conteúdos desbloqueados

16 milhões de materiais de várias disciplinas

Impressão de materiais

Agora você pode testar o

Passei Direto grátis

Você também pode ser Premium ajudando estudantes

✏️ Responder

SetasNegritoItálicoSublinhadoTachadoCitaçãoCódigoLista numeradaLista com marcadoresSubscritoSobrescritoDiminuir recuoAumentar recuoCor da fonteCor de fundoAlinhamentoLimparInserir linkImagemFórmula

Para escrever sua resposta aqui, entre ou crie uma conta

User badge image

Outros materiais

Perguntas relacionadas

Question Icon

Ajuda em uma questão de lógica matemática.

Lógica Matemática e Computacional

ESTÁCIO

User badge image

Junior Revoltei

Question Icon

AJUDA EM LÓGICA MATEMÁTICA

Lógica Matemática e Computacional

UNIDAVI

User badge image

Estudante PD

Question Icon

COMO RESOLVER

Lógica Matemática e Computacional

User badge image

Douglas Lima