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)(R x wed>= M x x C x

Passo 1

O enunciado pede para traduzir a fórmula
(forall x)(R x wed>= M x x C x)
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

Passo 2

Interpretamos cada parte da fórmula:
forall x indica “para todo x”.
R x wed>= M x x é a conjunção de “x tem rabo” e “x morde x” (isto é, “x morde a si mesmo”).
– O símbolo traduz-se por “se … então …”, ligando esse antecedente a C x, que significa “x é um cão”.

Passo 3

Juntando tudo numa frase em português: “Todo x, se x tem rabo e x morde a si mesmo, então x é um cão.”

Resposta

Todo indivíduo que tem rabo e morde a si mesmo é um cão.

Exercícios relacionados