O documento apresenta notas de aula sobre lógica. Nele, são definidas proposições e como elas podem ser combinadas usando conectivos lógicos como negação, conjunção, disjunção, condicional e bicondicional. Também é apresentada a tabela verdade como meio de determinar o valor de verdade de proposições compostas.