Logo Passei Direto
Buscar

Lógica

Uniasselvi

O Cálculo de Predicados é uma extensão da Lógica das Proposições em que se consideram variáveis e quantificadores sobre as variáveis. Suas aplicações na área de tecnologia e programação são fundamentais para a implementação de sistemas inteligentes e que conseguem gerar destinos corretos para informações

Baseado nisto, analise as sentenças lógicas e faça o que se pede.

"Todos os humanos são mortais. Sócrates é um humano. Logo, Sócrates é mortal".

a) Escreva a sentença em forma de símbolos lógicos.

b) Faça a prova lógica da sentença citada, utilizando o cálculo de predicados.


resolva

User badge image
Ar Mando Garcia

há 2 meses

Respostas

User badge image

Ed Verified user icon

há 2 meses

Você precisa criar uma nova pergunta.

Essa resposta te ajudou?

0
Dislike0

Ainda com dúvidas?

Envie uma pergunta e tenha sua dúvida de estudo respondida!

Mais conteúdos dessa disciplina