La lógica es una disciplina que utiliza reglas y técnicas para determinar si un argumento es válido. Se aplica ampliamente en filosofía, matemáticas y computación, ayudando a determinar la validez de razonamientos filosóficos, demostrar teoremas matemáticos, y revisar programas de computadora. La lógica es importante porque permite resolver problemas utilizando solo la inteligencia y conocimientos acumulados.