Introdução à Lógica matemática através de proposições, conectivos lógicos e tabelas-verdade. Estudo das equivalências, implicações lógicas e de algumas falácias. Uso das regras de inferência e de tabelas-verdade para validação de argumentos. Estudo dos quantificadores. Resolução de questões da lógica matemática de concursos e processos seletivos.
