lucas-gabriel-henriques-sabala documents

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
Documents 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