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

§ 45. Besonderheiten des Aussagenkalkuls.

Zu α_×)	a, b, c	Zu α_+)	a, b, c
	_×0 0 0_*		_×0 0 0_*
	_×0 0 i_*		0 0 i
	0 i 0_*		_×0 i 0_*
	_×i 0 0_*		_×i 0 0_*
	_×0 i i_*		0 i i_*
	i 0 i_*		i 0 i_*
	i i 0		_×i i 0_*
	_×i i i_*		_×i i i_*

Von diesen erfüllen die rechts mit Stern ausgezeichneten die Annahme:

a b ⊆ c

c ⊆ a + b

sintemal 0 ⊆ 0, 0 ⊆ i und i ⊆ i, dagegen nicht i ⊆ 0 ist. Für die
links mit Kreuz bezeichneten gilt sogar:

(a ⊆ c) (b ⊆ c),	(c ⊆ a) (c ⊆ b),
für die erste links unbezeichnete gilt nur a ⊆ c, für die zweite nur b ⊆ c.	für die letzte links unbezeichnete gilt nur c ⊆ a, für die vorletzte nur c ⊆ b.

Die Kontrole stimmt also, indem die 7 Fälle, wo mindestens eine von
diesen letztern Aussagen mithin die rechte Seite des Theorems zutrifft,
zusammenfallen mit den 7 rechts besternten Fällen in welchen auch die
andre Seite des Theorems zutraf.

Der siebente Fall links und der zweite rechts ist der einzige, wo die
eine (und dann ebenso auch die andre) Seite dieser Aussagenäquivalenz
nicht zutrifft, etwas Falsches besagt. In jenen 7 Fällen lief unser Theo-
rem auf die Identität i = i, in diesem einen Falle auf 0 = 0 hinaus,
d. h. es bewahrheitete sich durchaus.

Dehnt man die Sätze α) auch auf beliebig viele Operationsglieder
(Terme) aus und verwendet dann zu ihrer abgekürzten Darstellung
Produkt- und Summenzeichen, so entstehen bei der Annahme

c = 0

c = i

mit Rücksicht auf Th. 5̄) die beiden ersten von den folgenden vier
Sätzen:

*β_×) (Π a = 0) = Σ (a = 0)	*β_+) (Σ a = i) = Σ (a = i)
(Π a ≠ 0) = Π (a ≠ 0)	(Σ a ≠ i) = Π (a ≠ i)

aus welchen die darunter gesetzten durch beiderseitiges Negiren, Kontra-
position, gemäss Th. 3̅2̅) und 3̅6̅) hervorgehn.

Dieselben bilden das Gegenstück zur ersten Zeile der Theoreme
§ 40, β), erweisen sich indessen als blosse Umschreibungen von eben-