§ 15. Etwas weniger einfach ist folgende Schlussweise Ersetzung von - Schlussweisc - durch - Schlussweise - [Fehlertyp: orth | Rev.: thiel]#. Aus den beiden Sätzen
Formel f102610 in Original-Notation
und
Formel f102611 in Original-Notation
können wir auf den Satz inline-Formel i_p1015t-0013 in Original-Notation schliessen. inline-Formel i_p1015t-0023 in Original-Notation ist nämlich nur dann das Falsche, wenn Θ das Wahre und Γ nicht das Wahre ist. Wenn aber Θ das Wahre ist, so muss auch Δ das Wahre sein, weil sonst inline-Formel i_p1015t-0050 in Original-Notation das Falsche wäre. Wenn aber Δ das Wahre ist und Γ nicht das Wahre
Seite 27
wäre, so wäre inline-Formel i_p1015t-0070 in Original-Notation das Falsche. Der Fall, wo inline-Formel i_p1015t-0079 in Original-Notation das Falsche wäre, findet also nicht statt und es ist inline-Formel i_p1015t-0088 in Original-Notation das Wahre.Diesen Schluss schreibe ich entweder so:
Formel f102701 in Original-Notation
(δ)::
Formel f102702 in Original-Notation
oder so:
Formel f102703 in Original-Notation
(α):
Formel f102704 in Original-Notation
Wenn wir statt des Satzes (α) den in § 14 mit dem Abzeichen ‚γ‘ versehenen als Praemisse haben, so müssen wir eigentlich wie dort erst eine Umwandlung vor dem Schlusse vornehmen. Aber wir machen dies der Kürze halber wie oben im Kopfe und schreiben
Formel f102705 in Original-Notation
(δ)::
Formel f102706 in Original-Notation
oder
Formel f102707 in Original-Notation
(γ):
Formel f102708 in Original-Notation
Es ist inline-Formel i_p1015t-0119 in Original-Notation das Falsche, wenn inline-Formel i_p1015t-0130 in Original-Notation das Wahre und inline-Formel i_p1015t-0135 in Original-Notation nicht das Wahre ist; d. h. wenn —Γ das Falsche und Δ das Wahre ist. In allen andern Fällen ist inline-Formel i_p1015t-0149 in Original-Notation das Wahre. Dasselbe gilt aber auch von inline-Formel i_p1015t-0160 in Original-Notation, sodass die Functionen inline-Formel i_p1015t-0169 in Original-Notation und inline-Formel i_p1015t-0180 in Original-Notation immer für dieselben Argumente denselben Werth haben. Ebenso haben die Functionen inline-Formel i_p1015t-0190 in Original-Notation und inline-Formel i_p1015t-0200 in Original-Notation für dieselben Argumente immer denselben Werth. Man führt diesen auf den vorigen Fall zurück, indem man für ‚ζ‘ inline-Formel i_p1015t-0213 in Original-Notation setzt und unmittelbar auf einander folgende Verneinungstriche aufhebt. Auch die Functionen inline-Formel i_p1015t-0218 in Original-Notation und inline-Formel i_p1015t-0228 in Original-Notation haben für dieselben Argumente immer denselben Werth. Wir können also von dem Satze inline-Formel i_p1015t-0238 in Original-Notation zu dem Satze inline-Formel i_p1015t-0248 in Original-Notation übergehen und umgekehrt von diesem zu jenem. Wir schreiben diese Uebergänge so:
Formel f102709 in Original-Notation
Formel f102710 in Original-Notation
und
Formel f102711 in Original-Notation
Formel f102712 in Original-Notation
Ebenso auch:
Formel f102713 in Original-Notation
Formel f102714 in Original-Notation
und
Formel f102715 in Original-Notation
Formel f102716 in Original-Notation
Fälle, die auf den ersten zurückführbar sind durch Aufhebung von Verneinungstrichen. Wir können dies in eine Regel so fassen:
  1. Man darf ein Unterglied mit dem Obergliede vertauschen, wenn man gleichzeitig die Wahrheitswerthe beider umkehrt.
Wir nennen diesen Uebergang Wendung. Es können aber auch mehre
Seite 28
Unterglieder vorhanden sein. So haben wir den Uebergang
Formel f102801 in Original-Notation
Formel f102802 in Original-Notation
Indem wir von der Vertauschbarkeit der Unterglieder stillschweigend Gebrauch machen, können wir aber auch schreiben:
Formel f102803 in Original-Notation
Formel f102804 in Original-Notation
Durch zweimalige Wendung gelingt es, alle Unterglieder in eins zusammenzufassen, wie folgt:
Formel f102805 in Original-Notation
Formel f102806 in Original-Notation
Formel f102807 in Original-Notation
. 
Wir fassen nämlich bei der zweiten Wendung
Formel f102808 in Original-Notation
als Oberglied und inline-Formel i_p1015t-0293 in Original-Notation als Unterglied auf. Nennen wir zur Abkürzung den Wahrheitswerth
Formel f102809 in Original-Notation
‚Θ‘! Der vorletzte Satz geht dann über in inline-Formel i_p1015t-0303 in Original-Notation, woraus folgt inline-Formel i_p1015t-0314 in Original-Notation. Setzen wir dann für ‚Θ‘ den ausführlichen Ausdruck wieder ein, so erhalten wir den Schlusssatz. Wie aus dem § 12 zu ersehen ist, haben wir in
Formel f102810 in Original-Notation
den Wahrheitswerth davon, dass Δ das Wahre, Λ nicht das Wahre und Π das Wahre sei.Nehmen wir die Sätze
Formel f102811 in Original-Notation
und
Formel f102812 in Original-Notation
als gegeben an, so können wir so folgern: wir fassen zunächst die Unterglieder von (ε) zusammen:
Formel f102813 in Original-Notation
Formel f102814 in Original-Notation
Seite 29
Formel f102901 in Original-Notation 1
(γ):
Formel f102902 in Original-Notation
Formel f102903 in Original-Notation 2
Formel f102904 in Original-Notation
Dies können wir dadurch vereinfachen, dass wir ‚Δ‘ nur einmal schreiben:
Formel f102905 in Original-Notation ; 
denn
Formel f102906 in Original-Notation
ist immer derselbe Wahrheitswerth wie inline-Formel i_p1015t-0373 in Original-Notation.
  1. Ein zweimal auftretendes Unterglied braucht nur einmal geschrieben zu werden.
Wir nennen dies die Verschmelzung gleicher Unterglieder.Ich schreibe nun diesen Uebergang abgekürzt so:
Formel f102907 in Original-Notation
(γ):
Formel f102908 in Original-Notation
oder so:
Formel f102909 in Original-Notation
(ε)::
Formel f102910 in Original-Notation
und stelle für ihn folgende Regel auf:
  1. Wenn dieselbe Zeichenverbindung in einem Satze als Oberglied und in einem andern als Unterglied auftritt, so kann man auf einen Satz schliessen, in welchem das Oberglied des zweiten als Oberglied und alle Unterglieder beider ohne das genannte als Unterglieder erscheinen. Ersetzung von - erscheinen - durch - erscheinen. - [Fehlertyp: interp]# Doch brauchen Unterglieder, die in beiden vorkommen, nur einmal geschrieben zu werden.
In ähnlicher Weise wie in § 14 können wir hier zwei Schlüsse zusammenziehen. Es seien z. B. ausser (ε) die Sätze
Formel f102911 in Original-Notation
und
Formel f102912 in Original-Notation
und
Formel f102913 in Original-Notation
gegeben, so können wir schreiben
Seite 30
Formel f103001 in Original-Notation
(θ,ε)::
Formel f103002 in Original-Notation
und
Formel f103003 in Original-Notation
(θ,η)::
Formel f103004 in Original-Notation

1 Wir können jetzt wie im Anfange dieses Paragraphen schliessen, da dieser Satz dieselbe Form hat wie dort (δ).

2 Wir lösen jetzt das zusammengesetzte Unterglied wieder auf.