Lógica
Históricamente, la lógica se ha estudiado principalmente en filosofía desde la antigüedad, en matemáticas desde mediados del siglo XIX y en informática desde mediados del siglo XX. Más recientemente, la lógica también se ha estudiado en lingüística y en ciencias cognitivas. En general, la lógica sigue siendo un área de estudio fuertemente interdisciplinaria.
Cálculo lógico
Actualmente la lógica llamada tradicional, silogística, se interpreta como lógica de clases.  a) Clase complementaria: clase complementaria de una clase A es la clase formada por todos los elementos que no pertenecen a esa clase A.