Um guia de estudo sobre lógica proposicional, teoria da quantificação e lógica silogística. Elementos básicos. Método da tabela-verdade e método da árvore-verdade. Dedução natural. Lógica de predicados. Notação de símbolos. Formas de proposições. Raciocínio silogístico. Entimema. Sorites.