Sumários
T21_16
15 Abril 2019, 10:00 • Mário Jorge Edmundo
Consequência lógica, compacidade e consequência lógica, completude e consequência lógica, argumentos válidos e consequência lógica, demonstrações e sistemas formais de demonstração, correção e completude de sistemas formais de demonstração. Um sistema formal de demonstração (dedução natural), as regras de inferência.
T21_15
12 Abril 2019, 10:30 • Mário Jorge Edmundo
Modelo-completude, eliminação de quantificadores e modelo-completude, teste de Robinson; Exemplos: conjuntos infinitos; conjuntos ordenados, densos e sem extremidades (método para frente e para trás de Cantor); grupos abelianos divisíveis e livres de torsão; espaços vectoriais; grupos abelianos ordenados divisíveis; corpos algébricamente fechados; corpos reais fechados.
T21_14
8 Abril 2019, 10:00 • Mário Jorge Edmundo
Modelos, teorema da compacidade, método do diagram completo, Lowenheim-Skolem para cima; exemplos: aritmética não standard, análise não standard; equivalência elementar, completude, teste de Vaught para completude.