1) O documento descreve os conceitos e procedimentos para construção de tabelas-verdade, incluindo operações lógicas como negação, conjunção, disjunção, condicional e bicondicional.
2) É apresentado como determinar o valor lógico de proposições compostas atribuindo valores às proposições simples em uma tabela.
3) Exemplos ilustram a construção de tabelas-verdade para proposições compostas com duas ou três proposições simples.