Les relations d'égalité résultant de l'addition et de la soustraction logiques constituent-elles un groupe? (Q2601629)

Sei \(A\), \(B\), \(C\), \(\ldots\), \(A'\), \(B'\), \(C'\), \(\ldots\) ein System von Klassen, für welches gilt: \(A + A' = B\), \(B + B' = C\), usw. Der Bereich \(\mathfrak{M}\) werde gebildet aus den wahren Aussagen über die \(A\), \(\ldots\) \(A'\), \(\ldots\), z. B. ``\(A + A' = B\)'', ``\(A + C - B'= B\)'', ``\(A - A = 0\)'', Es werden jedoch hierbei gewisse Aussagen, wie ``\(A - A = 0\)'' und ``\(B- B = 0\)'' identifiziert. Erklärt man nun eine geeignete Komposition für die Elemente von \(\mathfrak{M}\) (z. B. gilt: ``\(A + A'=B\)'' komponiert mit ``\(B + B'=C\)'' ergibt ``\(A + B + A' + B'=B + C\)''), so bildet \(\mathfrak{M}\) bezüglich dieser Komposition eine Gruppe.