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.