Lógicas dos Predicados
Igualdade ou Identidade
- É um símbolo que se adiciona ao Çálculo de Predicados com o propósito de expressar o fato de dois termos se referirem ao mesmo objeto, ou seja, “é idêntico a” ou “é a mesma coisa que”.
Exemplos:
- O Pai de João é Henrique.
Pai_de(João)= Henrique
Pai de João e Henrique se referem ao mesmo objeto.
- O Pai de João é também Avô de Pedro.
Pai_de(João) = Avô_de(Pedro)