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)(H(x) V(x))

Passo 1

O enunciado pede para traduzir para o português a fórmula de lógica de predicados com quantificador universal. O conteúdo é interpretação de quantificador e conectivo de implicação, usando os predicados H(x) “x é um homem” e V(x) “x é vistoso”.

Passo 2

Lemos a fórmula
(forall x)l(H(x)to V(x)r)
como “para todo x, se x satisfaz H então x satisfaz V”. Substituindo H(x) por “x é um homem” e V(x) por “x é vistoso”, obtemos a frase em português correspondente.

Resposta

Para todo x, se x é um homem, então x é vistoso.

Exercícios relacionados