Lógica de clases

Es una interpretación de la lógica aristotélica en términos de clases (o conjuntos) y sus relaciones. También se puede decir que la lógica de clases es una lógica de predicados monádicos.