Bonjour à tous,
est ce que vous pouvez m'aider à démonter que cet anneau (F/~,<=/=>,/\,A,T) est un anneau de boole,
avec
*) F/~ est l'ensemble des formules prépositionnelles munies de la relation d'équivalence ~
*) <=/=> qui est (non(<=>)) et /\ sont les lois de composition interne relatives à l'ensemble F/~
*) A : Antilogie, est l'élèment neutre de <=/=>
*) T : Tautologie, esl l'élèment neutre de /\