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

Passo 1

O enunciado pede para traduzir a fórmula de lógica de predicados para o português, usando os símbolos dados.

Passo 2

O quantificador exists x significa “existe pelo menos um indivíduo x tal que…”.

Passo 3

Em seguida, interpretamos cada predicado: H(x) = “x é um homem”, V(x) = “x é vistoso”, e A(x,c) = “x ama Cátia” (pois c representa Cátia).

Passo 4

Como a conjunção H(x) wed>= V(x) wed>= A(x,c) exige que todas as três condições valham simultaneamente, montamos a frase dizendo que existe um homem que é vistoso e que ama Cátia.

Resposta

Existe um homem vistoso que ama Cátia.

Exercícios relacionados