La lógica se caracteriza por ser el estudio de los métodos y principios que se emplean para discernir el razonamiento válido del inválido. ... La lógica formal se caracteriza por la aplicación de la inferencia para la comprensión de ciertos enunciados.
