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 nos dá os predicados e constantes abaixo e pede para traduzir a fórmula para o português. Temos:
Temos a fórmula a traduzir:
Temos a fórmula a traduzir:
Onde
• : “x ama y”
• : “x é uma mulher”
• : “x é bonita”
• : “y é vistoso”
• : “y é um homem”
•
•
•
•
•
Passo 2
O quantificador existencial
diz “existe algum x tal que…”, e o conjuncional
significa “x é uma mulher e x é bonita”.
Passo 3
O quantificador universal
junto com a implicação
significa “para todo y, se x ama y então y é vistoso e y é homem”, ou seja, “x ama apenas homens vistosos”.
Passo 4
Juntando tudo em uma frase natural:
Resposta
Existe uma mulher bonita que ama apenas homens vistosos.