Álgebra de Boole

[Matemáticas] Parte de las matemáticas que estudia la lógica matemática desde un punto de vista algebraico, mediante la consideración del conjunto de fórmulas proposicionales como elementos un cierto tipo de estructuras algebraicas, las álgebras de Boole. A esta rama del álgebra también se le llama álgebra lógica. Este punto de vista lo planteó por primera vez el matemático británico George Boole en su obra An investigation into the Laws of Thought, on Which are founded the Mathematical Theories of Logic and Probabilities (´Investigación sobre las leyes del pensamiento, sobre las cuales están fundadas las teorías matemáticas de la lógica y la probabilidad´) publicada en 1854. En ella, Boole utilizaba por primera vez las ...