1. Lógica simbólica y proposicional: . -la lógica simbólica es el estudio de la lógica mediante la matemática, es decir, que incorpora la exactitud y rigor matemáticos. -La lógica proposicional o lógica de orden cero es un sistema formal cuyos elementos más simples representan proposiciones, y cuyas constantes lógicas, llamadas conectivas lógicas, representan operaciones sobre proposiciones, capaces de formar otras proposiciones de mayor complejidad.
2. La lógica como cualquier ciencia y como la filosofía busca la verdad y es la que establece las reglas para hacer un razonamiento correcto.
3. La palabra lógica viene del griego λογική (logike) y λόγος (logos), significa: razón, tratado o ciencia.
4. La lógica proporciona una herramienta para saber si un planteamiento es correcto. Está relacionada con la racionalidad y la estructura de los conceptos, estudia el pensamiento en sí.