1) O documento discute raciocínio lógico e apresenta os principais conectivos lógicos e suas regras.
2) Os conectivos lógicos (~,"e", "ou", "se...então", "se e somente se") são usados para comprovar a veracidade de proposições e combiná-las.
3) Exemplos ilustram como os conectivos funcionam e como determinar se proposições combinadas são verdadeiras ou falsas.