CIN7141-01342C (20222) - Lógica Instrumental I

Introdução ao Raciocínio Lógico-Matemático. Teoria de Conjuntos. Lógica Proposicional. Cálculo de Predicados. Análise e Validação de Argumentos. Introdução ao Pensamento Dedutivo.