Este documento apresenta conceitos básicos sobre lógica, incluindo:
1) Definição de proposições e sua representação simbólica;
2) Apresentação dos principais conectivos lógicos e suas tabelas-verdade;
3) Explicação sobre validade de argumentos e construção de tabelas-verdade.