Les relations d'égalité résultant de l'addition et de la soustraction logiques constituent-elles un groupe?
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.
This page was built for publication: Les relations d'égalité résultant de l'addition et de la soustraction logiques constituent-elles un groupe?
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2601629)
