AULA 23

10 Maio 2017, 11:30 • Fernando Ferreira

[Aula dada pela Doutora Ezgi Su.]

Um sistema dedutivo formal para a lógica de primeira-ordem. Teorema da correção. Teorema da dedução. O teorema de Lindenbaum.