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çõesBaseado 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.
Crie uma conta e ajude outras pessoas compartilhando seu conhecimento!
Para escrever sua resposta aqui, entre ou crie uma conta
Compartilhar