[1] O documento apresenta os conceitos básicos de lógica proposicional, incluindo definição de proposição, operadores lógicos e tabelas-verdade;
[2] São explicados os operadores lógicos de conjunção, disjunção, disjunção exclusiva, condicional e bicondicional através de exemplos;
[3] A negação de proposições simples também é abordada.