(Sem t\355tulo1)

e usaremos letras minúsculas ou palavras da língua portuguesa inicializadas com letras minúsculas para representar símbolos de função e de variáveis. Como foi mencionado anteriomente, os símbolos de predicados pretendem representar relações entre objetos de um mesmo universo de discurso. ................
................