In Worten: Ein Einzeiler von einem Einzeiler ist immer der erste Einzeiler und ein Einkolonner von einem Einkolonner ist immer der letzte Einkolonner -- statt eines Terms aber kann hiebei auch auch dessen Negation durchweg eintreten.
Den Beweis durch Herbeiführung der Koeffizientenevidenz zu leisten ist leicht. Will man diese umgehen, so kann man auch schliessen: i ; j = (i ; 1) ; j = i ; 1 ; j = i ; 1 · 1 ; j = i · 1 = i -- gemäss 2), und 5) des § 11. Ganz ebenso ist i ; jn = i, in ; jn = in, in ; j = in zu beweisen, woraus dann die übrigen Formeln der ersten Zeile von 10) durch die Kontraposition folgen, und aus dieser die zweite Zeile durch Konvertiren hervorgeht.
Bei den 8 Knüpfungen der zweiten Gruppe stellt sich das Ergebnis der relativen Knüpfung als einerlei heraus mit dem der gleichnamigen identischen Knüpfung: 11)
[Tabelle]
12)
[Tabelle]
13)
[Tabelle]
Beweis. i ; j = i ; (1 ; j) = i ; 1 ; j = i ; 1 · 1 ; j = i · j, u. s. w.
Der Einzeiler von einem Einkolonner ist also der Schnitt beider, d. h. ist immer ein individuelles binäres Relativ, und zwar dasjenige, welches an der Schnittstelle der beiden Vollreihen in der Tafel 12 steht.
Hier sei auf eine Attrape aufmerksam gemacht. Angesichts des vor- stehenden Satzes wird der Anfänger auf die Frage, was nun der Ein- kolonner von einem Einzeiler sein werde? leichtlich hereinfallen, meinend, dass dies sich analog verhalten werde. Solches ist nun aber durchaus nicht der Fall und braucht es nicht zu sein, weil das Konverse von i ; j wieder von derselben Form, nämlich j ; i, keineswegs jedoch i ; j noch auch j ; i sein wird -- gleichwie überhaupt bei a ; b (sowie bei a ; b) die Konversion nie- mals aus dieser Form herausführen kann! Die Antwort auf die aufgeworfne Frage wird vielmehr ganz anders ausfallen und durch den ersten der folgenden Sätze selbständig gegeben.
Die Formeln rechts vom Mittelstriche in 11) bis 13) müssten als dual den linkseitigen entsprechende eigentlich in der umgekehrten Reihenfolge, von unten nach oben, hingesetzt sein; doch glaubten wir durch die gewählte Stellung die Übersicht und das Behalten der Sätze zu erleichtern.
Die 8 noch übrigen Knüpfungen bilden eigentlich zusammen eine dritte Hauptgruppe, die sich aber in zwei Untergruppen gliedert.
Zehnte Vorlesung.
In Worten: Ein Einzeiler von einem Einzeiler ist immer der erste Einzeiler und ein Einkolonner von einem Einkolonner ist immer der letzte Einkolonner — statt eines Terms aber kann hiebei auch auch dessen Negation durchweg eintreten.
Den Beweis durch Herbeiführung der Koeffizientenevidenz zu leisten ist leicht. Will man diese umgehen, so kann man auch schliessen: i ; j = (i ; 1) ; j = i ; 1 ; j = i ; 1 · 1 ; j = i · 1 = i — gemäss 2), und 5) des § 11. Ganz ebenso ist i ; j̄ = i, ī ; j̄ = ī, ī ; j = ī zu beweisen, woraus dann die übrigen Formeln der ersten Zeile von 10) durch die Kontraposition folgen, und aus dieser die zweite Zeile durch Konvertiren hervorgeht.
Bei den 8 Knüpfungen der zweiten Gruppe stellt sich das Ergebnis der relativen Knüpfung als einerlei heraus mit dem der gleichnamigen identischen Knüpfung: 11)
[Tabelle]
12)
[Tabelle]
13)
[Tabelle]
Beweis. i ; j̆ = i ; (1 ; j̆) = i ; 1 ; j̆ = i ; 1 · 1 ; j̆ = i · j̆, u. s. w.
Der Einzeiler von einem Einkolonner ist also der Schnitt beider, d. h. ist immer ein individuelles binäres Relativ, und zwar dasjenige, welches an der Schnittstelle der beiden Vollreihen in der Tafel 12 steht.
Hier sei auf eine Attrape aufmerksam gemacht. Angesichts des vor- stehenden Satzes wird der Anfänger auf die Frage, was nun der Ein- kolonner von einem Einzeiler sein werde? leichtlich hereinfallen, meinend, dass dies sich analog verhalten werde. Solches ist nun aber durchaus nicht der Fall und braucht es nicht zu sein, weil das Konverse von i ; j̆ wieder von derselben Form, nämlich j ; ĭ, keineswegs jedoch ĭ ; j noch auch j̆ ; i sein wird — gleichwie überhaupt bei a ; b̆ (sowie bei ă ; b) die Konversion nie- mals aus dieser Form herausführen kann! Die Antwort auf die aufgeworfne Frage wird vielmehr ganz anders ausfallen und durch den ersten der folgenden Sätze selbständig gegeben.
Die Formeln rechts vom Mittelstriche in 11) bis 13) müssten als dual den linkseitigen entsprechende eigentlich in der umgekehrten Reihenfolge, von unten nach oben, hingesetzt sein; doch glaubten wir durch die gewählte Stellung die Übersicht und das Behalten der Sätze zu erleichtern.
Die 8 noch übrigen Knüpfungen bilden eigentlich zusammen eine dritte Hauptgruppe, die sich aber in zwei Untergruppen gliedert.
<TEI><text><body><divn="1"><divn="2"><pbfacs="#f0426"n="412"/><fwplace="top"type="header">Zehnte Vorlesung.</fw><lb/><p>In Worten: <hirendition="#i">Ein Einzeiler von einem Einzeiler ist immer der erste<lb/>
Einzeiler und ein Einkolonner von einem Einkolonner ist immer der letzte<lb/>
Einkolonner — statt eines Terms aber kann hiebei auch auch dessen<lb/>
Negation durchweg eintreten.</hi></p><lb/><p>Den Beweis durch Herbeiführung der Koeffizientenevidenz zu leisten<lb/>
ist leicht. Will man diese umgehen, so kann man auch schliessen:<lb/><hirendition="#c"><hirendition="#i">i</hi> ; <hirendition="#i">j</hi> = (<hirendition="#i">i</hi> ; 1) ; <hirendition="#i">j</hi> = <hirendition="#i">i</hi> ; 1 ; <hirendition="#i">j</hi> = <hirendition="#i">i</hi> ; 1 · 1 ; <hirendition="#i">j</hi> = <hirendition="#i">i</hi> · 1 = <hirendition="#i">i</hi></hi><lb/>— gemäss 2), und 5) des § 11. Ganz ebenso ist <hirendition="#i">i</hi> ; <hirendition="#i">j̄</hi> = <hirendition="#i">i</hi>, <hirendition="#i">ī</hi> ; <hirendition="#i">j̄</hi> = <hirendition="#i">ī</hi>, <hirendition="#i">ī</hi> ; <hirendition="#i">j</hi> = <hirendition="#i">ī</hi><lb/>
zu beweisen, woraus dann die übrigen Formeln der ersten Zeile von 10)<lb/>
durch die Kontraposition folgen, und aus dieser die zweite Zeile durch<lb/>
Konvertiren hervorgeht.</p><lb/><p>Bei den 8 Knüpfungen der zweiten Gruppe stellt sich <hirendition="#i">das Ergebnis<lb/>
der relativen Knüpfung</hi> als <hirendition="#i">einerlei</hi> heraus <hirendition="#i">mit dem der gleichnamigen<lb/>
identischen Knüpfung:</hi><lb/>
11) <table><row><cell/></row></table><lb/>
12) <table><row><cell/></row></table><lb/>
13) <table><row><cell/></row></table></p><lb/><p><hirendition="#g">Beweis</hi>. <hirendition="#i">i</hi> ; <hirendition="#i">j̆</hi> = <hirendition="#i">i</hi> ; (1 ; <hirendition="#i">j̆</hi>) = <hirendition="#i">i</hi> ; 1 ; <hirendition="#i">j̆</hi> = <hirendition="#i">i</hi> ; 1 · 1 ; <hirendition="#i">j̆</hi> = <hirendition="#i">i</hi> · <hirendition="#i">j̆</hi>, u. s. w.</p><lb/><p><hirendition="#i">Der Einzeiler von einem Einkolonner ist</hi> also <hirendition="#i">der Schnitt beider</hi>,<lb/>
d. h. ist immer <hirendition="#i">ein individuelles binäres Relativ</hi>, und zwar dasjenige,<lb/>
welches an der Schnittstelle der beiden Vollreihen in der Tafel 1<hirendition="#sup">2</hi> steht.</p><lb/><p>Hier sei auf eine Attrape aufmerksam gemacht. Angesichts des vor-<lb/>
stehenden Satzes wird der Anfänger auf die Frage, was nun der <hirendition="#i">Ein-<lb/>
kolonner von einem Einzeiler</hi> sein werde? leichtlich hereinfallen, meinend,<lb/>
dass dies sich analog verhalten werde. Solches ist nun aber durchaus nicht<lb/>
der Fall und <hirendition="#i">braucht</hi> es nicht zu sein, weil das Konverse von <hirendition="#i">i</hi> ; <hirendition="#i">j̆</hi> wieder<lb/><hirendition="#i">von derselben Form</hi>, nämlich <hirendition="#i">j</hi> ; <hirendition="#i">ĭ</hi>, keineswegs jedoch <hirendition="#i">ĭ</hi> ; <hirendition="#i">j</hi> noch auch <hirendition="#i">j̆</hi> ; <hirendition="#i">i</hi> sein<lb/>
wird — gleichwie überhaupt bei <hirendition="#i">a</hi> ; <hirendition="#i">b̆</hi> (sowie bei <hirendition="#i">ă</hi> ; <hirendition="#i">b</hi>) die Konversion nie-<lb/>
mals aus dieser Form herausführen kann! Die Antwort auf die aufgeworfne<lb/>
Frage wird vielmehr ganz anders ausfallen und durch den ersten der<lb/>
folgenden Sätze selbständig gegeben.</p><lb/><p>Die Formeln rechts vom Mittelstriche in 11) bis 13) müssten als<lb/>
dual den linkseitigen entsprechende eigentlich in der umgekehrten<lb/>
Reihenfolge, von unten nach oben, hingesetzt sein; doch glaubten wir<lb/>
durch die gewählte Stellung die Übersicht und das Behalten der Sätze<lb/>
zu erleichtern.</p><lb/><p>Die 8 noch übrigen Knüpfungen bilden eigentlich zusammen <hirendition="#i">eine</hi><lb/>
dritte Hauptgruppe, die sich aber in zwei Untergruppen gliedert.</p><lb/></div></div></body></text></TEI>
[412/0426]
Zehnte Vorlesung.
In Worten: Ein Einzeiler von einem Einzeiler ist immer der erste
Einzeiler und ein Einkolonner von einem Einkolonner ist immer der letzte
Einkolonner — statt eines Terms aber kann hiebei auch auch dessen
Negation durchweg eintreten.
Den Beweis durch Herbeiführung der Koeffizientenevidenz zu leisten
ist leicht. Will man diese umgehen, so kann man auch schliessen:
i ; j = (i ; 1) ; j = i ; 1 ; j = i ; 1 · 1 ; j = i · 1 = i
— gemäss 2), und 5) des § 11. Ganz ebenso ist i ; j̄ = i, ī ; j̄ = ī, ī ; j = ī
zu beweisen, woraus dann die übrigen Formeln der ersten Zeile von 10)
durch die Kontraposition folgen, und aus dieser die zweite Zeile durch
Konvertiren hervorgeht.
Bei den 8 Knüpfungen der zweiten Gruppe stellt sich das Ergebnis
der relativen Knüpfung als einerlei heraus mit dem der gleichnamigen
identischen Knüpfung:
11)
12)
13)
Beweis. i ; j̆ = i ; (1 ; j̆) = i ; 1 ; j̆ = i ; 1 · 1 ; j̆ = i · j̆, u. s. w.
Der Einzeiler von einem Einkolonner ist also der Schnitt beider,
d. h. ist immer ein individuelles binäres Relativ, und zwar dasjenige,
welches an der Schnittstelle der beiden Vollreihen in der Tafel 12 steht.
Hier sei auf eine Attrape aufmerksam gemacht. Angesichts des vor-
stehenden Satzes wird der Anfänger auf die Frage, was nun der Ein-
kolonner von einem Einzeiler sein werde? leichtlich hereinfallen, meinend,
dass dies sich analog verhalten werde. Solches ist nun aber durchaus nicht
der Fall und braucht es nicht zu sein, weil das Konverse von i ; j̆ wieder
von derselben Form, nämlich j ; ĭ, keineswegs jedoch ĭ ; j noch auch j̆ ; i sein
wird — gleichwie überhaupt bei a ; b̆ (sowie bei ă ; b) die Konversion nie-
mals aus dieser Form herausführen kann! Die Antwort auf die aufgeworfne
Frage wird vielmehr ganz anders ausfallen und durch den ersten der
folgenden Sätze selbständig gegeben.
Die Formeln rechts vom Mittelstriche in 11) bis 13) müssten als
dual den linkseitigen entsprechende eigentlich in der umgekehrten
Reihenfolge, von unten nach oben, hingesetzt sein; doch glaubten wir
durch die gewählte Stellung die Übersicht und das Behalten der Sätze
zu erleichtern.
Die 8 noch übrigen Knüpfungen bilden eigentlich zusammen eine
dritte Hauptgruppe, die sich aber in zwei Untergruppen gliedert.
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. 3, Abt. 1. Leipzig, 1895, S. 412. In: Deutsches Textarchiv <https://www.deutschestextarchiv.de/schroeder_logik03_1895/426>, abgerufen am 25.08.2024.
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.
Zitierempfehlung: Deutsches Textarchiv. Grundlage für ein Referenzkorpus der neuhochdeutschen Sprache. Herausgegeben von der Berlin-Brandenburgischen Akademie der Wissenschaften, Berlin 2024. URL: https://www.deutschestextarchiv.de/.