AT14 Completude
8 abril 2019, 14:30 • Maria Cristina De Sales Viana Serôdio Sernadas
Conclusão da demonstração do Lema Fundamental da Completude. Reduto de estrutura de interpretação a uma assinatura.
Demonstração por contrarecíproco da completude do cálculo de Hilbert. Completude fraca. Toda a fórmula tautológica é
teorema.
Os alunos têm teste de EO às 18h30