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

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:
(exists x)(M(x) wed>= B(x) wed>= (forall y)(A(x, y) (V(y) wed>= H(y))))
Onde
A(x,y): “x ama y”
M(x): “x é uma mulher”
B(x): “x é bonita”
V(y): “y é vistoso”
H(y): “y é um homem”

Passo 2

O quantificador existencial (exists x) diz “existe algum x tal que…”, e o conjuncional M(x) wed>= B(x) significa “x é uma mulher e x é bonita”.

Passo 3

O quantificador universal (forall y) junto com a implicação A(x,y) (V(y) wed>= H(y)) 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.

Exercícios relacionados