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.

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:
\forall x \bigl(P(x)\to C(x)\bigr)

Resposta

\forall x \bigl(P(x)\to C(x)\bigr)
Glossário
Predicados P(x): “ x é uma pedra preciosa” C(x): “ x é caro”
Funções
nenhuma
Constantes
nenhuma

Exercícios relacionados