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 a fórmula de lógica de predicados para o português, usando os símbolos dados.
Passo 2
O quantificador
significa “existe pelo menos um indivíduo x tal que…”.
Passo 3
Em seguida, interpretamos cada predicado:
= “x é um homem”,
= “x é vistoso”, e
= “x ama Cátia” (pois
representa Cátia).
Passo 4
Como a conjunção
exige que todas as três condições valham simultaneamente, montamos a frase dizendo que existe um homem que é vistoso e que ama Cátia.
Resposta
Existe um homem vistoso que ama Cátia.