Utiliza el lenguaje algebraico para analizar y resolver los problemas de la lógica aristotélica. También llamada lógica de clases o álgebra de conjuntos.
Ver también:
Lógica de clases
Ver también:
Lógica aristotélica