daher von den Heiden b exakt auch nicht die Grönländer c subtrahirend ausnehmen kann, sondern nur die grönländischen Heiden b c. Es würde darnach der Ausdruck b -- c schon jeglichen Sinnes baar sein, und wäre es nur zulässig die Klasse b -- b c = b (1 -- c) = b c1 zu bilden.
Um uns auch über die sonstigen Gesetze der logischen Subtrak- tion möglichst rasch zu orientiren, will ich zunächst in übersichtlicher Formelzusammenstellung die fundamentalen Sätze der arithmetischen Subtraktion zur Vergleichung hersetzen.
Soweit dieselben auf nicht mehr als drei allgemeine Zahlen Bezug haben, können letztere -- vergl. meine Schriften 1 und 2 -- in folgende vier Gruppen gebracht werden:
v1) (a -- b) + b = (a + b) -- b = b -- (b -- a) = a,
v2)
(a + b) -- c = a + (b -- c) = a -- (c -- b) =
= (a -- c) + b = b -- (c -- a),
v3)
a -- (b + c) = (a -- b) -- c =
= (a -- c) -- b,
v4)
a -- b = (a + c) -- (b + c) = (a -- c) -- (b -- c) =
= (c -- b) -- (c -- a) = (a -- c) + (c -- b),
a + b = (a + c) + (b -- c) = (a + c) -- (c -- b) =
= (a -- c) + (b + c) = (b + c) -- (c -- a).
Nach dem Schema k) können wir nun für jeden der hier verglichenen Ausdrücke den Wert angeben, der demselben im identischen Kalkul beizu- legen ist. Desgleichen vermögen wir nach dem Schema d) auch seine Valenzbedingung anzusetzen, oder, wo mehrere Minuszeichen in dem Aus- druck vorkommen, seine sämtlichen Valenzbedingungen, welche wir dann zu einer einzigen Gleichung vereinigen mögen. Mit Rücksicht auf diese seine Valenzbedingung (schlechtweg) können wir endlich jeden Ausdruck nötigenfalls entwickeln nach den Symbolen, a, b, (c), aus welchen er auf- gebaut ist.
Sonach ist es dann weiter keine Kunst, zuzusehen, ob (und unter welchen Bedingungen) die in der Arithmetik gleichwertigen Ausdrücke auch im identischen Kalkul übereinstimmen und um welche Terme sie sich andernfalles unterscheiden.
Es stellt sich heraus, dass von den in der Arithmetik geltenden Gleichungen so ziemlich die Hälfte auch im identischen Kalkul Geltung besitzt unter der Voraussetzung, dass die Ausdrücke beiderseits gleichzeitig einen Sinn besitzen, d. h. unter den aus dem Anglick der beiden Seiten selbst ersichtlichen Valenzbedingungen.
Unter Zugrundelegung derselben Annahme (der "vereinigten" Valenz- bedingung der Gleichung) bedarf die andere Hälfte der Gleichungen, um im identischen Kalkul gültig zu werden der Hinzufügung eines Korrektions- gliedes auf der einen Seite derselben -- eines additiven oder subtraktiven Gliedes, welches eines allgemeinen Ausdrucks selber fähig ist.
Zwölfte Vorlesung.
daher von den Heiden b exakt auch nicht die Grönländer c subtrahirend ausnehmen kann, sondern nur die grönländischen Heiden b c. Es würde darnach der Ausdruck b — c schon jeglichen Sinnes baar sein, und wäre es nur zulässig die Klasse b — b c = b (1 — c) = b c1 zu bilden.
Um uns auch über die sonstigen Gesetze der logischen Subtrak- tion möglichst rasch zu orientiren, will ich zunächst in übersichtlicher Formelzusammenstellung die fundamentalen Sätze der arithmetischen Subtraktion zur Vergleichung hersetzen.
Soweit dieselben auf nicht mehr als drei allgemeine Zahlen Bezug haben, können letztere — vergl. meine Schriften 1 und 2 — in folgende vier Gruppen gebracht werden:
v1) (a — b) + b = (a + b) — b = b — (b — a) = a,
v2)
(a + b) — c = a + (b — c) = a — (c — b) =
= (a — c) + b = b — (c — a),
v3)
a — (b + c) = (a — b) — c =
= (a — c) — b,
v4)
a — b = (a + c) — (b + c) = (a — c) — (b — c) =
= (c — b) — (c — a) = (a — c) + (c — b),
a + b = (a + c) + (b — c) = (a + c) — (c — b) =
= (a — c) + (b + c) = (b + c) — (c — a).
Nach dem Schema ϰ) können wir nun für jeden der hier verglichenen Ausdrücke den Wert angeben, der demselben im identischen Kalkul beizu- legen ist. Desgleichen vermögen wir nach dem Schema δ) auch seine Valenzbedingung anzusetzen, oder, wo mehrere Minuszeichen in dem Aus- druck vorkommen, seine sämtlichen Valenzbedingungen, welche wir dann zu einer einzigen Gleichung vereinigen mögen. Mit Rücksicht auf diese seine Valenzbedingung (schlechtweg) können wir endlich jeden Ausdruck nötigenfalls entwickeln nach den Symbolen, a, b, (c), aus welchen er auf- gebaut ist.
Sonach ist es dann weiter keine Kunst, zuzusehen, ob (und unter welchen Bedingungen) die in der Arithmetik gleichwertigen Ausdrücke auch im identischen Kalkul übereinstimmen und um welche Terme sie sich andernfalles unterscheiden.
Es stellt sich heraus, dass von den in der Arithmetik geltenden Gleichungen so ziemlich die Hälfte auch im identischen Kalkul Geltung besitzt unter der Voraussetzung, dass die Ausdrücke beiderseits gleichzeitig einen Sinn besitzen, d. h. unter den aus dem Anglick der beiden Seiten selbst ersichtlichen Valenzbedingungen.
Unter Zugrundelegung derselben Annahme (der „vereinigten“ Valenz- bedingung der Gleichung) bedarf die andere Hälfte der Gleichungen, um im identischen Kalkul gültig zu werden der Hinzufügung eines Korrektions- gliedes auf der einen Seite derselben — eines additiven oder subtraktiven Gliedes, welches eines allgemeinen Ausdrucks selber fähig ist.
<TEI><text><body><divn="1"><divn="2"><p><pbfacs="#f0512"n="492"/><fwplace="top"type="header">Zwölfte Vorlesung.</fw><lb/>
daher von den Heiden <hirendition="#i">b</hi> exakt auch nicht die Grönländer <hirendition="#i">c</hi> subtrahirend<lb/>
ausnehmen kann, sondern nur die grönländischen Heiden <hirendition="#i">b c</hi>. Es würde<lb/>
darnach der Ausdruck <hirendition="#i">b</hi>—<hirendition="#i">c</hi> schon jeglichen Sinnes baar sein, und wäre<lb/>
es nur zulässig die Klasse <hirendition="#i">b</hi>—<hirendition="#i">b c</hi> = <hirendition="#i">b</hi> (1 —<hirendition="#i">c</hi>) = <hirendition="#i">b c</hi><hirendition="#sub">1</hi> zu bilden.</p><lb/><p>Um uns auch über die sonstigen Gesetze der logischen Subtrak-<lb/>
tion möglichst rasch zu orientiren, will ich zunächst in übersichtlicher<lb/>
Formelzusammenstellung die fundamentalen Sätze der arithmetischen<lb/>
Subtraktion zur Vergleichung hersetzen.</p><lb/><p>Soweit dieselben auf nicht mehr als drei allgemeine Zahlen Bezug<lb/>
haben, können letztere — vergl. meine Schriften <hirendition="#sup">1</hi> und <hirendition="#sup">2</hi>— in folgende<lb/>
vier Gruppen gebracht werden:</p><lb/><list><item><hirendition="#i">v</hi><hirendition="#sub">1</hi>) (<hirendition="#i">a</hi>—<hirendition="#i">b</hi>) + <hirendition="#i">b</hi> = (<hirendition="#i">a</hi> + <hirendition="#i">b</hi>) —<hirendition="#i">b</hi> = <hirendition="#i">b</hi>— (<hirendition="#i">b</hi>—<hirendition="#i">a</hi>) = <hirendition="#i">a</hi>,</item><lb/><item><hirendition="#i">v</hi><hirendition="#sub">2</hi>)<listrendition="#leftBraced"><item> (<hirendition="#i">a</hi> + <hirendition="#i">b</hi>) —<hirendition="#i">c</hi> = <hirendition="#i">a</hi> + (<hirendition="#i">b</hi>—<hirendition="#i">c</hi>) = <hirendition="#i">a</hi>— (<hirendition="#i">c</hi>—<hirendition="#i">b</hi>) =</item><lb/><item> = (<hirendition="#i">a</hi>—<hirendition="#i">c</hi>) + <hirendition="#i">b</hi> = <hirendition="#i">b</hi>— (<hirendition="#i">c</hi>—<hirendition="#i">a</hi>),</item></list></item><lb/><item><hirendition="#i">v</hi><hirendition="#sub">3</hi>)<listrendition="#leftBraced"><item><hirendition="#i">a</hi>— (<hirendition="#i">b</hi> + <hirendition="#i">c</hi>) = (<hirendition="#i">a</hi>—<hirendition="#i">b</hi>) —<hirendition="#i">c</hi> =</item><lb/><item> = (<hirendition="#i">a</hi>—<hirendition="#i">c</hi>) —<hirendition="#i">b</hi>,</item></list></item><lb/><item><hirendition="#i">v</hi><hirendition="#sub">4</hi>)<listrendition="#leftBraced"><item><hirendition="#i">a</hi>—<hirendition="#i">b</hi> = (<hirendition="#i">a</hi> + <hirendition="#i">c</hi>) — (<hirendition="#i">b</hi> + <hirendition="#i">c</hi>) = (<hirendition="#i">a</hi>—<hirendition="#i">c</hi>) — (<hirendition="#i">b</hi>—<hirendition="#i">c</hi>) =</item><lb/><item> = (<hirendition="#i">c</hi>—<hirendition="#i">b</hi>) — (<hirendition="#i">c</hi>—<hirendition="#i">a</hi>) = (<hirendition="#i">a</hi>—<hirendition="#i">c</hi>) + (<hirendition="#i">c</hi>—<hirendition="#i">b</hi>),</item><lb/><item><hirendition="#i">a</hi> + <hirendition="#i">b</hi> = (<hirendition="#i">a</hi> + <hirendition="#i">c</hi>) + (<hirendition="#i">b</hi>—<hirendition="#i">c</hi>) = (<hirendition="#i">a</hi> + <hirendition="#i">c</hi>) — (<hirendition="#i">c</hi>—<hirendition="#i">b</hi>) =</item><lb/><item> = (<hirendition="#i">a</hi>—<hirendition="#i">c</hi>) + (<hirendition="#i">b</hi> + <hirendition="#i">c</hi>) = (<hirendition="#i">b</hi> + <hirendition="#i">c</hi>) — (<hirendition="#i">c</hi>—<hirendition="#i">a</hi>).</item></list></item></list><lb/><p>Nach dem Schema <hirendition="#i">ϰ</hi>) können wir nun für jeden der hier verglichenen<lb/>
Ausdrücke den Wert angeben, der demselben im identischen Kalkul beizu-<lb/>
legen ist. Desgleichen vermögen wir nach dem Schema <hirendition="#i">δ</hi>) auch seine<lb/>
Valenzbedingung anzusetzen, oder, wo mehrere Minuszeichen in dem Aus-<lb/>
druck vorkommen, seine sämtlichen Valenzbedingungen, welche wir dann<lb/>
zu einer einzigen Gleichung vereinigen mögen. Mit Rücksicht auf diese<lb/>
seine Valenzbedingung (schlechtweg) können wir endlich jeden Ausdruck<lb/>
nötigenfalls entwickeln nach den Symbolen, <hirendition="#i">a</hi>, <hirendition="#i">b</hi>, (<hirendition="#i">c</hi>), aus welchen er auf-<lb/>
gebaut ist.</p><lb/><p>Sonach ist es dann weiter keine Kunst, zuzusehen, ob (und unter<lb/>
welchen Bedingungen) die in der Arithmetik gleichwertigen Ausdrücke<lb/>
auch im identischen Kalkul übereinstimmen und um welche Terme sie sich<lb/>
andernfalles unterscheiden.</p><lb/><p>Es stellt sich heraus, dass von den in der Arithmetik geltenden<lb/>
Gleichungen so ziemlich die <hirendition="#i">Hälfte</hi> auch im identischen Kalkul Geltung<lb/>
besitzt unter der Voraussetzung, dass die Ausdrücke beiderseits gleichzeitig<lb/>
einen Sinn besitzen, d. h. unter den aus dem Anglick der beiden Seiten<lb/>
selbst ersichtlichen Valenzbedingungen.</p><lb/><p>Unter Zugrundelegung derselben Annahme (der „vereinigten“ Valenz-<lb/>
bedingung der Gleichung) bedarf die andere Hälfte der Gleichungen, um<lb/>
im identischen Kalkul gültig zu werden der Hinzufügung eines <hirendition="#i">Korrektions-<lb/>
gliedes</hi> auf der einen Seite derselben — eines additiven oder subtraktiven<lb/>
Gliedes, welches eines allgemeinen Ausdrucks selber fähig ist.</p><lb/></div></div></body></text></TEI>
[492/0512]
Zwölfte Vorlesung.
daher von den Heiden b exakt auch nicht die Grönländer c subtrahirend
ausnehmen kann, sondern nur die grönländischen Heiden b c. Es würde
darnach der Ausdruck b — c schon jeglichen Sinnes baar sein, und wäre
es nur zulässig die Klasse b — b c = b (1 — c) = b c1 zu bilden.
Um uns auch über die sonstigen Gesetze der logischen Subtrak-
tion möglichst rasch zu orientiren, will ich zunächst in übersichtlicher
Formelzusammenstellung die fundamentalen Sätze der arithmetischen
Subtraktion zur Vergleichung hersetzen.
Soweit dieselben auf nicht mehr als drei allgemeine Zahlen Bezug
haben, können letztere — vergl. meine Schriften 1 und 2 — in folgende
vier Gruppen gebracht werden:
v1) (a — b) + b = (a + b) — b = b — (b — a) = a,
v2) (a + b) — c = a + (b — c) = a — (c — b) =
= (a — c) + b = b — (c — a),
v3)a — (b + c) = (a — b) — c =
= (a — c) — b,
v4)a — b = (a + c) — (b + c) = (a — c) — (b — c) =
= (c — b) — (c — a) = (a — c) + (c — b),
a + b = (a + c) + (b — c) = (a + c) — (c — b) =
= (a — c) + (b + c) = (b + c) — (c — a).
Nach dem Schema ϰ) können wir nun für jeden der hier verglichenen
Ausdrücke den Wert angeben, der demselben im identischen Kalkul beizu-
legen ist. Desgleichen vermögen wir nach dem Schema δ) auch seine
Valenzbedingung anzusetzen, oder, wo mehrere Minuszeichen in dem Aus-
druck vorkommen, seine sämtlichen Valenzbedingungen, welche wir dann
zu einer einzigen Gleichung vereinigen mögen. Mit Rücksicht auf diese
seine Valenzbedingung (schlechtweg) können wir endlich jeden Ausdruck
nötigenfalls entwickeln nach den Symbolen, a, b, (c), aus welchen er auf-
gebaut ist.
Sonach ist es dann weiter keine Kunst, zuzusehen, ob (und unter
welchen Bedingungen) die in der Arithmetik gleichwertigen Ausdrücke
auch im identischen Kalkul übereinstimmen und um welche Terme sie sich
andernfalles unterscheiden.
Es stellt sich heraus, dass von den in der Arithmetik geltenden
Gleichungen so ziemlich die Hälfte auch im identischen Kalkul Geltung
besitzt unter der Voraussetzung, dass die Ausdrücke beiderseits gleichzeitig
einen Sinn besitzen, d. h. unter den aus dem Anglick der beiden Seiten
selbst ersichtlichen Valenzbedingungen.
Unter Zugrundelegung derselben Annahme (der „vereinigten“ Valenz-
bedingung der Gleichung) bedarf die andere Hälfte der Gleichungen, um
im identischen Kalkul gültig zu werden der Hinzufügung eines Korrektions-
gliedes auf der einen Seite derselben — eines additiven oder subtraktiven
Gliedes, welches eines allgemeinen Ausdrucks selber fähig ist.
Informationen zur CAB-Ansicht
Diese Ansicht bietet Ihnen die Darstellung des Textes in normalisierter Orthographie.
Diese Textvariante wird vollautomatisch erstellt und kann aufgrund dessen auch Fehler enthalten.
Alle veränderten Wortformen sind grau hinterlegt. Als fremdsprachliches Material erkannte
Textteile sind ausgegraut dargestellt.
Schröder, Ernst: Vorlesungen über die Algebra der Logik. Bd. 1. Leipzig, 1890, S. 492. In: Deutsches Textarchiv <https://www.deutschestextarchiv.de/schroeder_logik01_1890/512>, abgerufen am 16.02.2025.
Alle Inhalte dieser Seite unterstehen, soweit nicht anders gekennzeichnet, einer
Creative-Commons-Lizenz.
Die Rechte an den angezeigten Bilddigitalisaten, soweit nicht anders gekennzeichnet, liegen bei den besitzenden Bibliotheken.
Weitere Informationen finden Sie in den DTA-Nutzungsbedingungen.
Insbesondere im Hinblick auf die §§ 86a StGB und 130 StGB wird festgestellt, dass die auf
diesen Seiten abgebildeten Inhalte weder in irgendeiner Form propagandistischen Zwecken
dienen, oder Werbung für verbotene Organisationen oder Vereinigungen darstellen, oder
nationalsozialistische Verbrechen leugnen oder verharmlosen, noch zum Zwecke der
Herabwürdigung der Menschenwürde gezeigt werden.
Die auf diesen Seiten abgebildeten Inhalte (in Wort und Bild) dienen im Sinne des
§ 86 StGB Abs. 3 ausschließlich historischen, sozial- oder kulturwissenschaftlichen
Forschungszwecken. Ihre Veröffentlichung erfolgt in der Absicht, Wissen zur Anregung
der intellektuellen Selbstständigkeit und Verantwortungsbereitschaft des Staatsbürgers zu
vermitteln und damit der Förderung seiner Mündigkeit zu dienen.
2007–2025 Deutsches Textarchiv, Berlin-Brandenburgische Akademie der Wissenschaften
(Kontakt).
Zitierempfehlung: Deutsches Textarchiv. Grundlage für ein Referenzkorpus der neuhochdeutschen Sprache. Herausgegeben von der Berlin-Brandenburgischen Akademie der Wissenschaften, Berlin 2025. URL: https://www.deutschestextarchiv.de/.