Schröder, Ernst: Vorlesungen über die Algebra der Logik. Bd. 2, Abt. 1. Leipzig, 1891.

Sechzehnte Vorlesung.

(a ⊆ b) ⊆ {(x ⊆ a) ⊆ (x ⊆ b)},
so ist nach Th. 2̅0̅_×), oder (A ⊆ B) = (A B = A), auch:
(a ⊆ b) {(x ⊆ a) ⊆ (x ⊆ b)} = (a ⊆ b),
sodass also unser Major als Faktor beim ersten Term sich unterdrücken
lässt, und nur noch beim zweiten angemerkt werden muss, wobei man
ihn auch verwenden mag in einer der beiden nach λ) und Th. 3̅3̅₊)
Zusatz ihm äquivalenten Formen:
(x ⊆ b) + (x ⊆ a) oder (x ⊆ b) + (x ⊆ b) + (x ⊆ a).
Mithin gibt die Gleichung:
{(x ⊆ a) ⊆ (x ⊆ b)} = (a ⊆ b) + (a ⊆ b) {(x ⊆ b) + (x ⊆ b) (x ⊆ a)}
die Lösung unsrer Aufgabe an.

Und ebenso haben wir mit der weiteren Geltung:
{(x ⊆ c) ⊆ (x ⊆ a) (x ⊆ b)} = (c ⊆ a b) + (c ⊆ a b) {(x ⊆ a b) + (x ⊆ c)}.

Der letzte Term — nicht aber der: (x = 0) — ist behufs Er-
zielung dieser weiteren Geltung dem ersten Terme noch hinzuzufügen
gewesen. Indessen könnte man freilich denselben durch Unterdrückung
des Faktors (c ⊆ a b) noch weiter vereinfachen (und sogar auch den
ersten Term fortlassen).

Die Betrachtung dürfte lehrreich gewesen sein um den Gegensatz
zwischen engerer und weiterer Geltung deutlichst hervortreten zu lassen.

Die im Obigen behufs Verifikation einer jeden Subsumtion unsres
Aussagenkalkuls angeregte und auszuführen gewesene Probe, dass:
Minor + Gewicht = Major
sein muss (während Minor mal Gewicht verschwindet), lief hinaus auf den
rechnerischen Gültigkeitsnachweis von Formeln des Klassenkalkuls, die zu
den Übungsaufgaben des § 18 (Bd. 1, S. 384 sqq.) noch manche Beisteuer
liefern.

---