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 apresenta a fórmula
. O objetivo é traduzir para o português usando os símbolos dados:
significa “para todo”;
significa “se … então”;
significa “e”;
: “x é uma mulher”;
: “x ama y”;
: “y é um homem”;
: “y é vistoso”.
Passo 2
A estrutura da fórmula é: primeiro “para todo x, se x é mulher, então …” e em seguida “para todo y, se x ama y, então y é homem e y é vistoso”. Traduzindo de forma literal, frase por frase, obtemos:
“Para todo x, se x é uma mulher, então para todo y, se x ama y, então y é um homem e y é vistoso.”
Para dar uma versão mais natural em Português, podemos dizer:
“Toda mulher ama apenas homens vistosos.”
“Para todo x, se x é uma mulher, então para todo y, se x ama y, então y é um homem e y é vistoso.”
Para dar uma versão mais natural em Português, podemos dizer:
“Toda mulher ama apenas homens vistosos.”
Resposta
Versão literal: Para todo x, se x é uma mulher, então para todo y, se x ama y, então y é um homem e y é vistoso.
Versão natural: Toda mulher ama apenas homens vistosos.