1) O documento apresenta os conceitos básicos de lógica, incluindo proposições, valores lógicos, conectivos lógicos e tabelas-verdade.
2) As proposições podem ser simples ou compostas. As proposições compostas usam conectivos lógicos como "e", "ou" e "ou...ou" para unir proposições.
3) As tabelas-verdade mostram como o valor lógico de uma proposição composta depende dos valores das proposições componentes e do conectivo usado