Algèbre de Boole

1. Dans une phrase, l'enchaînement des propositions se fait de manière logique. Chacune de ces propositions grammaticales exprime un fait, qui peut être vrai ou faux, et la phrase entière est formée par l'énoncé successif des diverses propositions, reliées entre elles par des conjonctions simples. Le but initial de l'algèbre de Boole était de donner à cette logique des propositions une forme algébrique permettant ainsi de décider si l'ensemble de la phrase est vrai ou faux, si ses diverses parties sont compatibles ou non, en utilisant des symboles algébriques qui évitent tout raisonnement particulier.