Supondo os seguintes símbolos:
-
"x ama y "
-
“João”,
“Cátia”
-
"
é vistoso",
"
é um homem",
"
é uma mulher",
é bonita"
Dê versões para o português para as fórmulas apresentadas abaixo:
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
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.