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