1 Lógica de 1ª Ordem. 2 Sintaxe Def. 1 Um alfabeto de 1ª ordem, , é a união dos conjuntos: = P símbolos predicativos F símbolos funcionais C.
