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

semana passada

Respostas

User badge image

Ed Verified user icon

semana passada

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