Supondo os seguintes símbolos:
  • A(x, y)= "x ama y "
  • j= “João”, c= “Cátia”
  • V(x)= " x é vistoso", H(x)= " x é um homem", M(x)= " x é uma mulher", B(x)=" x é bonita"
Dê versões para o português para as fórmulas apresentadas abaixo:
(exists x)(M(x) wed>= B(x) A(j, x))

Passo 1

O enunciado pede para traduzir para o português a fórmula de Lógica de Predicados (exists x)(M(x) wed>= B(x) A(j,x)). O conteúdo aqui é interpretação de quantificadores e conectivos lógicos.

Passo 2

O símbolo exists x significa “existe” ou “há pelo menos um elemento x no domínio tal que …”. O escopo desse quantificador é a implicação M(x) wed>= B(x) A(j,x). A conjunção M(x) wed>= B(x) é “ x é mulher e x é bonita”, e a implicação diz que, caso isso ocorra, devemos ter A(j,x), ou seja, “João ama x”.

Passo 3

Montando uma tradução literal temos: “Existe alguém x tal que, se x for mulher e bonita, então João ama x”.
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 x tal que, se x for mulher e bonita, então João ama x.” Versão natural: “Há pelo menos uma pessoa que, sempre que for uma mulher bonita, é amada por João.”

Exercícios relacionados