La lógica es el estudio de los principios del razonamiento válido y la inferencia, como también de la consistencia, solidez y completitud.