Buscar

No estudo do cálculo de predicados, aprendemos dois importantes quantificadores: o quantificador universal e o quantificador existencial. Além diss...

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