La lógica estudia la forma del razonamiento y determina si un argumento es válido. Se aplica en filosofía, matemáticas, computación, física y en la vida cotidiana para resolver problemas de manera ordenada. La lógica matemática trata métodos de razonamiento y proporciona reglas para determinar la validez de un argumento. Se usa en ciencias de la computación y en la vida diaria.