La lógica es una ciencia formal que estudia las formas válidas de inferencia.^[1] Es el estudio de métodos y principios utilizados para distinguir el razonamiento correcto del incorrecto.