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

Passo 1

O enunciado pede para traduzir uma fórmula do cálculo de predicados ao português, usando as definições dos símbolos e constantes dadas.

Passo 2

O predicado V(j) significa que o indivíduo representado por j, ou seja, João, é vistoso. Então traduzimos V(j) como “João é vistoso”.

Passo 3

O predicado A(c,j) significa que o indivíduo representado por c, ou seja, Cátia, ama o indivíduo representado por j, ou seja, João. Logo traduzimos A(c,j) como “Cátia ama João”.

Passo 4

Como a fórmula é uma conjunção, temos que combinar as duas partes com ‘e’. Assim, a tradução completa fica.

Resposta

João é vistoso e Cátia ama João

Exercícios relacionados