1. La Lógica es parte de la filosofía que estudia las formas y principios generales que rigen el conocimiento y el pensamiento humano, considerado puramente en sí mismo, sin referencia a los objetos.
2. Inferencias: es una evaluación que realiza la mente entre proposiciones. En lógica formal, son expresiones bien formadas (EBF) de un lenguaje formal que, al ser relacionadas, permiten trazar una línea lógica de condición o implicación lógica entre las diferentes EBF.
3. Leyes: es una norma jurídica dictada por el legislador, es decir, un precepto establecido por la autoridad competente, en que se manda o prohíbe algo en consonancia con la justicia cuyo incumplimiento conlleva a una sanción.
4. Estructura: es la disposición y orden de las partes dentro de un todo. También puede entenderse como un sistema de conceptos coherentes enlazados, cuyo objetivo es precisar la esencia del objeto de estudio.
5. Premisas: es cada una de las proposiciones anteriores a la conclusión de un argumento. En un argumento válido, las premisas implican la conclusión, pero esto no es necesario para que una proposición sea una premisa: lo único relevante es su lugar en el argumento, no su rol.
6. Criterios de verdad: es aquella característica o procedimiento por el cual podemos distinguir la verdad de la falsedad y estar seguros del valor de un enunciado.
