Estudio de los métodos y principios del razonamiento correcto. El estudio de la lógica se concentra en saber si el proceso por medio del cual se deriva una conclusión a partir de un conjunto de supuestos iniciales (premisas) es correcto. No se ocupa de examinar o determinar la verdad de las premisas. Dadas premisas verdaderas, la conclusión debe ser verdadera si el procedimiento para derivar la conclusión es correcto. He aquí un ejemplo: Premisa: Un diccionario es un título de referencia.
Premisa: el Diccionario Visual de Matemáticas (Math Dictionary) es un diccionario.
Conclusión: De ahí que, el Diccionario Visual de Matemáticas (Math Dictionary) es un título de referencia.
He aquí otro ejemplo:
Premisa: Todos los títulos de referencia son diccionarios de inglés.
Premisa: el Diccionario Visual de Matemáticas (Math Dictionary) es un título de referencia.
Conclusión: Entonces, el Diccionario Visual de Matemáticas (Math Dictionary) es un diccionario de inglés.
Como se muestra, la conclusión puede no ser correcta si al menos una de las premisas (la primera, o la segunda en este caso) es incorrecta.