Sumários
Aula 3
21 Setembro 2026, 08:00 • Luís Carvalho
Correção do TPC.
Leis de Morgan e a prova por dupla inclusão.
Indução Matemática, princípios e alguns exemplos.
Introdução ao Axioma do Supremo.
Aula 2
18 Setembro 2026, 08:00 • Luís Carvalho
Raiz de 2 não é um número racional. Implicação, equivalência, negação, recíproco, qunatificadores. Alguns exemplos. Demonstração por absurdo. Exercício.