Traduza as sentenças para lógica de predicados (a resposta deve conter um glossário de predicados, funções e constantes utilizados):
Toda pedra preciosa é cara.
Toda pedra preciosa é cara.
Passo 1
O enunciado pede para traduzir a frase “Toda pedra preciosa é cara” para a lógica de predicados, construindo uma fórmula com quantificadores e definindo os símbolos usados (predicados, funções e constantes).
Passo 2
Escolhemos o domínio de discurso como sendo “todos os objetos”. Precisamos apenas de predicados para indicar “ser pedra preciosa” e “ser cara”. Não há necessidade de funções nem de constantes.
Passo 3
A frase “para todo objeto, se ele é uma pedra preciosa então ele é caro” se traduz por um quantificador universal seguido de uma implicação:
Resposta
Glossário
Predicados : “
é uma pedra preciosa”
: “
é caro”
Predicados
Funções
nenhuma
nenhuma
Constantes
nenhuma
nenhuma