Ésta podría ser una edición anterior y no la más reciente o aprobada. Ir a la versión actual.
¿Qué es?
No se ha añadido ninguna twiki todavía.
Cálculo lógico, inventado por Georg Boole para la lógica de enunciados y la lógica de clases, que constituye el precedente y el fundamento de la lógica moderna o lógica matemática. Boole considera que los enunciados pueden expresarse como ecuaciones simples y los razonamientos como un sistema de ecuaciones. Los enunciados categóricos de tipo A, E, I y O se reescriben en esta álgebra como:
donde la expresión (1-y) es la clase complemento de y, o bien . Los enunciados universales se expresan como ecuaciones y los particulares como inecuaciones. Los elementos de esta álgebra son las clases, o los conceptos tomados extensionalmente.