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:
(forall x)(M(x) (forall y)(A(x, y) (H(y) wed>= V(y))))

Passo 1

O enunciado apresenta a fórmula (forall x)(M(x) (forall y)(A(x,y) (H(y) wed>= V(y)))). O objetivo é traduzir para o português usando os símbolos dados:
forall significa “para todo”;
significa “se … então”;
wed>= significa “e”;
M(x): “x é uma mulher”;
A(x,y): “x ama y”;
H(y): “y é um homem”;
V(y): “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.”

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.

Exercícios relacionados