Forum de Mathématiques: Maths-Forum

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...