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, 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 2
Interpretamos cada parte da fórmula:
– indica “para todo 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
, que significa “x é um cão”.
–
–
– O símbolo
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.