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
(forall x)(forall y)(Gx wed>= neg Rx wed>= neg Lxy)

Passo 1

O enunciado pede para traduzir a fórmula
(forall x)(forall y)l(Gx wed>= neg Rx wed>= neg Lxyr)
para a linguagem usual, sabendo que:
bul<=t Gx: “ x é um gato”
bul<=t Rx: “ x tem rabo”
bul<=t Lxy: “ x gosta de y

Passo 2

O trecho forall x,forall y significa “para todo x e para todo y” — isto é, estamos dizendo algo que vale independentemente da escolha de x e de y.

Passo 3

Dentro do quantificador temos uma conjunção de três partes:
bul<=t Gx traduz-se como “ x é um gato”.
bul<=t neg Rx traduz-se como “ x não tem rabo”.
bul<=t neg Lxy traduz-se como “ x não gosta de y”.

Passo 4

Juntando tudo numa única frase em português, respeitando a ordem dos conectivos e quantificadores, obtemos:
“Para todo x e para todo y, x é um gato, x não tem rabo e x não gosta de y.”

Resposta

Para todo x e para todo y, x é um gato, x não tem rabo e x não gosta de y.

Exercícios relacionados