Supondo os seguintes símbolos:
-
"x ama y "
-
“João”,
“Cátia”
-
"
é vistoso",
"
é um homem",
"
é uma mulher",
é bonita"
Dê versões para o português para as fórmulas apresentadas abaixo:
Passo 1
O enunciado pede para traduzir uma fórmula do cálculo de predicados ao português, usando as definições dos símbolos e constantes dadas.
Passo 2
O predicado
significa que o indivíduo representado por
, ou seja, João, é vistoso. Então traduzimos
como “João é vistoso”.
Passo 3
O predicado
significa que o indivíduo representado por
, ou seja, Cátia, ama o indivíduo representado por
, ou seja, João. Logo traduzimos
como “Cátia ama João”.
Passo 4
Como a fórmula é uma conjunção, temos que combinar as duas partes com ‘e’. Assim, a tradução completa fica.
Resposta
João é vistoso e Cátia ama João