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 pede para traduzir a fórmula
para a linguagem usual, sabendo que:
: “
é um gato”
: “
tem rabo”
: “
gosta de
”
Passo 2
O trecho
significa “para todo
e para todo
” — isto é, estamos dizendo algo que vale independentemente da escolha de
e de
.
Passo 3
Dentro do quantificador temos uma conjunção de três partes:
traduz-se como “
é um gato”.
traduz-se como “
não tem rabo”.
traduz-se como “
não gosta de
”.
Passo 4
Juntando tudo numa única frase em português, respeitando a ordem dos conectivos e quantificadores, obtemos:
“Para todo
e para todo
,
é um gato,
não tem rabo e
não gosta de
.”
Resposta
Para todo
e para todo
,
é um gato,
não tem rabo e
não gosta de
.