1) O documento apresenta os conceitos básicos de lógica, incluindo proposições, valores lógicos, e conectivos lógicos.
2) Os principais conectivos lógicos discutidos são "e" (conjunção), onde uma proposição composta é verdadeira se todas as partes forem verdadeiras, e "ou" (disjunção), onde uma proposição composta é falsa apenas se ambas as partes forem falsas.
3) Tabelas-verdade são introduzidas para mostrar os valores lógicos de proposições