Noções de lógica matemática. Quantificadores e conectivos. Implicações, negações e equivalências. Tabelas - Verdade. Tipos de provas matemáticas. Prova direta, por indução, por contradição (reductio ad absurdum), por construção e por exaustão.