metalogica

Es un lenguaje que hablamos para hablar otro lenguaje, en este caso del cálculo.
a.Sintaxis lógica: nos dice cuáles son las reglas que hay que seguir para la combinación de los signos tengan sentido.b.Semántica lógica: nos dice qué es lo que significan los signos del cálculo lógico.c.Pragmática lógica: relación entre los signos y aquel que lo usa.
Hay ciertas expresiones que quedan por fuera del campo de la lógica. Ej. Ay!, Bah!, Oh!.Las exclamaciones, las preguntas y las expresiones sin sentido.