Questão-05. Traduza cada fórmula do Cálculo de Predicados para a linguagem usual, usando o dicionário:
Gx: x é um gato / Cx: x é um cão / Rx: x tem rabo / Mxy: x morde y / Lxy: x gosta de y
(exists x)(exists y)(Cx wed>= Gy wed>= Lxy)

Passo 1

O enunciado fornece a fórmula
(exists x)(exists y)(Cx wed>= Gy wed>= Lxy)
no Cálculo de Predicados e pede para traduzi-la para a linguagem usual. O dicionário é:
Gxcolon x é um gato,
Cxcolon x é um cão,
Lxycolon x gosta de y.

Passo 2

O quantificador exists x significa “existe pelo menos um elemento x” e exists y significa “existe pelo menos um elemento y”. A conjunção Cxwed>= Gywed>= Lxy afirma que
x é um cão,
y é um gato,
x gosta de y.
Portanto, a tradução natural é:

Resposta

Existe pelo menos um cão que gosta de um gato.

Exercícios relacionados