THEORIE des TREILLIS et Algébre de Boole vue sur la logique

Abstract

Dans ce travail, nous avons rassemblé certains résultats et notations essentielles de l'algèbre ordinal et des treillis, pour aboutir à la définition de treillis de Boole et par la suite aux anneaux de Boole et algèbre de Boole . L'ensemble des propositions logique à une structure de treillis de Boole donc anneau de Boole. Ce qui donnera la possibilité de vérifié d'une proposition logique par un simple calcul purement algébrique..\\ Le but de ce travail est de motiver à l’utilisation des résultats et des résultats et les techniques de la théorie des groupes et des anneaux pour éclairer certains problèmes de logique et la possibilité de donner quelques réponses.