8. Lógica e demonstração matemática

Apresenta proposições, quantificadores, implicação, contraposição, contradição e indução. O estudante passa a ler e escrever justificativas matemáticas usadas nos teoremas do cálculo.