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
Gx: x é um gato / Cx: x é um cão / Rx: x tem rabo / Mxy: x morde y / Lxy: x gosta de y
Passo 1
O enunciado fornece a fórmula
no Cálculo de Predicados e pede para traduzi-la para a linguagem usual. O dicionário é:
é um gato,
é um cão,
gosta de
.
Passo 2
O quantificador
significa “existe pelo menos um elemento
” e
significa “existe pelo menos um elemento
”. A conjunção
afirma que
– é um cão,
– é um gato,
– gosta de
.
Portanto, a tradução natural é:
–
–
–
Portanto, a tradução natural é:
Resposta
Existe pelo menos um cão que gosta de um gato.