1) O documento apresenta os principais conceitos da lógica matemática, incluindo noções de proposições, tabela verdade, operações lógicas e conectivos.
2) São definidos proposições simples e compostas, valores lógicos verdadeiro e falso, e apresentadas as regras para construção de tabelas verdade.
3) São explicados os principais conectivos lógicos - negação, conjunção, disjunção, condicional e bicondicional - e suas respectivas tabelas verdade.