A disciplina Introdução à Lógica apresenta os fundamentos do raciocínio lógico e da argumentação formal. São estudadas proposições, conectivos lógicos, tabelas-verdade, implicação, equivalência, métodos dedutivos e noções de cálculo proposicional e de predicados.
O objetivo é desenvolver a capacidade de analisar, formalizar e validar argumentos, fornecendo base conceitual para áreas como matemática, computação, inteligência artificial e engenharia de software.
- Professor: Administrador Usuário