Sumários
AULA 9
6 Outubro 2020, 11:00 • Fernando Ferreira
Continuação da aula anterior. A aritmética de Peano. A noção de consequência lógica (do ponto de vista semântico). A noção de verdade lógica (do ponto de vista semântico). Algumas verdades lógicas notáveis.
AULA 8
2 Outubro 2020, 15:00 • Fernando Ferreira
A noção de interpretação. A definição de verdade de Tarski.
AULA 7
1 Outubro 2020, 11:00 • Fernando Ferreira
Resolução de exercícios e esclarecimento de dúvidas.
AULA 6
29 Setembro 2020, 11:00 • Fernando Ferreira
Demonstração do teorema da completude do cálculo proposicional. A linguagem do cálculo de predicados. O exemplo da linguagem da aritmética.
AULA 5
25 Setembro 2020, 15:00 • Fernando Ferreira
Teorema da correção do cálculo proposicional. Teorema da dedução do cálculo proposicional. Preparação para a demonstração do teorema da completude do cálculo proposicional.