Anmelden (DTAQ) DWDS     dlexDB     CLARIN-D

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

Bild:
<< vorherige Seite
nächste Seite >>
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 ; 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>
      <div n="1">
        <div n="2">
          <pb facs="#f0426" n="412"/>
          <fw place="top" type="header">Zehnte Vorlesung.</fw><lb/>
          <p>In Worten: <hi rendition="#i">Ein Einzeiler von einem Einzeiler ist immer der erste<lb/>
Einzeiler und ein Einkolonner von einem Einkolonner ist immer der letzte<lb/>
Einkolonner &#x2014; 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/><hi rendition="#c"><hi rendition="#i">i</hi> ; <hi rendition="#i">j</hi> = (<hi rendition="#i">i</hi> ; 1) ; <hi rendition="#i">j</hi> = <hi rendition="#i">i</hi> ; 1 ; <hi rendition="#i">j</hi> = <hi rendition="#i">i</hi> ; 1 · 1 ; <hi rendition="#i">j</hi> = <hi rendition="#i">i</hi> · 1 = <hi rendition="#i">i</hi></hi><lb/>
&#x2014; gemäss 2), und 5) des § 11. Ganz ebenso ist <hi rendition="#i">i</hi> ; <hi rendition="#i">j&#x0304;</hi> = <hi rendition="#i">i</hi>, <hi rendition="#i">i&#x0304;</hi> ; <hi rendition="#i">j&#x0304;</hi> = <hi rendition="#i">i&#x0304;</hi>, <hi rendition="#i">i&#x0304;</hi> ; <hi rendition="#i">j</hi> = <hi rendition="#i">i&#x0304;</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 <hi rendition="#i">das Ergebnis<lb/>
der relativen Knüpfung</hi> als <hi rendition="#i">einerlei</hi> heraus <hi rendition="#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><hi rendition="#g">Beweis</hi>. <hi rendition="#i">i</hi> ; <hi rendition="#i">j&#x0306;</hi> = <hi rendition="#i">i</hi> ; (1 ; <hi rendition="#i">j&#x0306;</hi>) = <hi rendition="#i">i</hi> ; 1 ; <hi rendition="#i">j&#x0306;</hi> = <hi rendition="#i">i</hi> ; 1 · 1 ; <hi rendition="#i">j&#x0306;</hi> = <hi rendition="#i">i</hi> · <hi rendition="#i">j&#x0306;</hi>, u. s. w.</p><lb/>
          <p><hi rendition="#i">Der Einzeiler von einem Einkolonner ist</hi> also <hi rendition="#i">der Schnitt beider</hi>,<lb/>
d. h. ist immer <hi rendition="#i">ein individuelles binäres Relativ</hi>, und zwar dasjenige,<lb/>
welches an der Schnittstelle der beiden Vollreihen in der Tafel 1<hi rendition="#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 <hi rendition="#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 <hi rendition="#i">braucht</hi> es nicht zu sein, weil das Konverse von <hi rendition="#i">i</hi> ; <hi rendition="#i">j&#x0306;</hi> wieder<lb/><hi rendition="#i">von derselben Form</hi>, nämlich <hi rendition="#i">j</hi> ; <hi rendition="#i">i&#x0306;</hi>, keineswegs jedoch <hi rendition="#i">i&#x0306;</hi> ; <hi rendition="#i">j</hi> noch auch <hi rendition="#i">j&#x0306;</hi> ; <hi rendition="#i">i</hi> sein<lb/>
wird &#x2014; gleichwie überhaupt bei <hi rendition="#i">a</hi> ; <hi rendition="#i">b&#x0306;</hi> (sowie bei <hi rendition="#i">a&#x0306;</hi> ; <hi rendition="#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 <hi rendition="#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.

Suche im Werk

Hilfe

Informationen zum Werk

Download dieses Werks

XML (TEI P5) · HTML · Text
TCF (text annotation layer)
XML (TEI P5 inkl. att.linguistic)

Metadaten zum Werk

TEI-Header · CMDI · Dublin Core

Ansichten dieser Seite

Voyant Tools ?

Language Resource Switchboard?

Feedback

Sie haben einen Fehler gefunden? Dann können Sie diesen über unsere Qualitätssicherungsplattform DTAQ melden.

Kommentar zur DTA-Ausgabe

Dieses Werk wurde gemäß den DTA-Transkriptionsrichtlinien im Double-Keying-Verfahren von Nicht-Muttersprachlern erfasst und in XML/TEI P5 nach DTA-Basisformat kodiert.




Ansicht auf Standard zurückstellen

URL zu diesem Werk: https://www.deutschestextarchiv.de/schroeder_logik03_1895
URL zu dieser Seite: https://www.deutschestextarchiv.de/schroeder_logik03_1895/426
Zitationshilfe: 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 23.11.2024.