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

§ 16. Inverse Parallelreihenprobleme.

(a ; 0')_i i = a_i i0'_i i + a_i j0'_j i = a_i j	(a ɟ 1')_i i = (a_i i + 1'_i i)(a_i j + 1'_j i) = a_i j,
(a ; 0')_i j = a_i i0'_i j + a_i j0'_j j = a_i i	(a ɟ 1')_i j = (a_i i + 1'_i j)(a_i j + 1'_j j) = a_i i.

Auch konnten diese Schemata schon zur Verifikation der vorher-
gehenden Ergebnisse verwendet werden.

Ist nun a_{i i} = 1, somit a_{i j} = 0, so folgt:
(a ; 0')_{i i} = 0 = (a ɟ 1')_{i i}, (a ; 0')_{i j} = 1 = (a ɟ 1')_{i j}.
Ist dagegen a_{i i} = 0, somit a_{i j} = 1, so folgt:
(a ; 0')_{i i} = 1 = (a ɟ 1')_{i i}, (a ; 0')_{i j} = 0 = (a ɟ 1')_{i j}.
Das heisst: in beiden Fällen verkehrt sich die Zeile α von a bei den rela-
tiven Knüpfungen mit den relativen Moduln in ᾱ; und es gilt in unserm
Denkbereiche 1 $\frac{2}{2}$:
a ; 0' = a ɟ 1' = 1ᾱ0.

Die erstere Gleichung hat begreiflich eine gewaltige Reduktion aller
Formeln zur Folge.

Wieder aber muss, weil überhaupt nur zwei Zeilen vorhanden sind,
von den drei Zeilenkategorieen mindestens eine unvertreten sein in jedem
Relative a. Oder man hat die drei Fälle:
a = 1α-, a = 1 - 0, a = -α0,
deren mittlerer nur 4, deren beide äusseren blos 8 Zeilenflexionen zulassen.

§ 16. Die inversen Zeilen- oder Kolonnenprobleme.

Die im vorigen Paragraph gelösten mögen füglich „direkte“ Parallel-
reihenprobleme genannt werden. Sie liefen auf zweierlei hinaus: Ein-
mal, jedes einer „Parallelreihengruppe“ von a angehörige Relativ,
mittelst der fünfziffrig schematischen Ausrechnung desselben, nach seiner
Entstehung aus a auf die konziseste und durchsichtigste Weise be-
schreiben zu lernen — wenn wir zur „Zeilen-(resp. Kolonnen-)gruppe“
von a alle diejenigen Relative zählen, welche aus a abgeleitet sind
lediglich mittelst der drei identischen Spezies in Verbindung mit solchen
relativen Modulknüpfungen, die eingangs des § 15 als blosse „Zeilen-
(resp. Kolonnen-)operationen“ charakterisirt wurden. Sodann auch um-
gekehrt: jedes in schematisch fünfziffriger Darstellung gegebne Relativ
vermittelst der ersten sechs Spezies unsrer Theorie (wobei von den
relativen nur solche der vorhin charakterisirten Art zu verwenden
sind) ausdrücken zu lernen durch a.

Diesen „direkten“ Parallelreihenproblemen stehen nun noch andre
gegenüber, die als die „inversen“ bezeichnet zu werden verdienen. Letz-
tere sind — der fünften Vorlesung gemäss — teils Auflösungs- teils
Eliminationsaufgaben.