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 para o português a fórmula de Lógica de Predicados
. O conteúdo aqui é interpretação de quantificadores e conectivos lógicos.
Passo 2
O símbolo
significa “existe” ou “há pelo menos um elemento
no domínio tal que …”. O escopo desse quantificador é a implicação
. A conjunção
é “
é mulher e
é bonita”, e a implicação diz que, caso isso ocorra, devemos ter
, ou seja, “João ama
”.
Passo 3
Montando uma tradução literal temos: “Existe alguém
tal que, se
for mulher e bonita, então João ama
”.
Podemos também dar uma versão mais natural, mantendo a lógica da implicação: “Há pelo menos uma pessoa que, sempre que for uma mulher bonita, é amada por João.”
Podemos também dar uma versão mais natural, mantendo a lógica da implicação: “Há pelo menos uma pessoa que, sempre que for uma mulher bonita, é amada por João.”
Resposta
Versão literal: “Existe alguém
tal que, se
for mulher e bonita, então João ama
.” Versão natural: “Há pelo menos uma pessoa que, sempre que for uma mulher bonita, é amada por João.”