Sumários
Aula #16
18 maio 2022, 12:30 • Carlos Caleiro
Teorias de primeira ordem com igualdade, existência de modelos normais. Exercícios.
Aula #15
12 maio 2022, 17:00 • Carlos Caleiro
Exercícios sobre existência e cardinalidade de modelos, compacidade.
Aula #14
11 maio 2022, 12:30 • Carlos Caleiro
Construção de Henkin (continuação), lema de Lindenbaum revisitado, modelo de Henkin, lema fundamental. Completude do cálculo de Hilbert para a lógica clássica de primeira ordem.
Aula #13
20 abril 2022, 12:30 • Carlos Caleiro
Construção de Henkin, extensão de conjuntos coerentes com testemunhas constantes para fórmulas existenciais. Realização do segundo MAP.
Aula #12
18 abril 2022, 17:00 • Carlos Caleiro
Exercícios. Conjuntos coerentes maximais e exaustivos para fórmulas fechadas. Adição de constantes, preservação de coerência. Enumeração da linguagem de primeira ordem.