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

Einundzwanzigste Vorlesung.

diesen auf Grund der Formeln § 32, ζ) und η). Analog könnte man
dann auch noch die Formeln der zweiten Zeile von § 40, β) für den
Aussagenkalkul um-schreiben. —

Die bemerkenswertesten (bis jetzt bemerkten) Formeln gemischter
Natur will ich zunächst im Überblick hinsetzen. Sie sind, auf zwei
allgemeine Aussagen a, b bezüglich, diese:

γ_×)	a ⊆ (b ⊆ a)	γ_+)	a_1 ⊆ (a ⊆ b)
δ_×)	a ⊆ {(a ⊆ b) ⊆ b}	δ_+)	b_1 ⊆ {(a ⊆ b) ⊆ a_1}
ε_×)	(a ⊆ b) a ⊆ b	ε_+)	(a ⊆ b) b_1 ⊆ a_1
ζ_×)	{(a ⊆ b) ⊆ a} = a	ζ_+)	{(a ⊆ b) ⊆ b_1} = b_1

η_×)

(a ⊆ b) + b = (a ⊆ b) = (a ⊆ b) + a_1

(η_+

und auf drei allgemeine Aussagen a, b, c bezüglich:
ϑ_×) {a ⊆ (b ⊆ c)} = (a b ⊆ c) = {b ⊆ (a ⊆ c)} |
| ϑ₊) {a₁ ⊆ (c ⊆ b)} = (c ⊆ a + b) = {b₁ ⊆ (c ⊆ a)}
— mit raummangelshalber gebrochenem Mittelstriche; es soll dabei
die Chiffrirung Bezug haben auf denjenigen Satz, welcher sich durch
Vergleichung des mittleren Terms mit einem der beiden äussersten
ergibt, wogegen die Gleichsetzung der beiden extremen Terme citirt
werden mag als:

ϑ_×0) {a ⊆ (b ⊆ c)} = {b ⊆ (a ⊆ c)} |

ϑ_+0) {a_1 ⊆ (c ⊆ b)} = {b_1 ⊆ (c ⊆ a)}.

Ähnlich wie bei ϑ) sollen die Chiffren gedeutet werden bei den
Formeln:
ι_×) {a₁ + (b ⊆ c)} = (a b ⊆ c) = {b₁ + (a ⊆ c)} |
| ι₊) {a + (c ⊆ b)} = (c ⊆ a + b) = {b + (c ⊆ a)}
welche sich als eine blosse Umschreibung der Formeln ϑ) nach § 32,
λ) erweisen; desgleichen bei den Formeln:
ϰ_×) {(c ⊆ a) ⊆ b} ⊆ (a ⊆ b) ⊆ {c ⊆ (a ⊆ b)} (γ_× |
| ϰ₊) {(b ⊆ c) ⊆ a₁} ⊆ (a ⊆ b) ⊆ {c₁ ⊆ (a ⊆ b)} (γ_×
— aus denen nebenher ersichtlich ist, dass a fortiori:
λ_×) {(a ⊆ b) ⊆ c} ⊆ {a ⊆ (b ⊆ c)} somit ⊆ (a b ⊆ c). |
| λ₊) {(b ⊆ c) ⊆ a₁} ⊆ {c₁ ⊆ (a ⊆ b)} somit ⊆ (a ⊆ b + c).

Die wichtigsten von diesen Sätzen dürften die ε) und ϑ) sein.

Viele von diesen Sätzen finden sich in ⁵ und ⁸ zerstreut bei Peirce,