Anmelden (DTAQ) DWDS     dlexDB     CLARIN-D

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

Bild:
<< vorherige Seite
nächste Seite >>
folgt ferner nach (3x)': a a · 1;
womit der Satz kraft (1) bewiesen
ist.		a + 0 a. Dazu ist nach 6+): a a + 0,
somit nach Def. (1) der Satz er-
wiesen.
Beweis von 22x). Nach (2x) ist:
0 a · 0; nach 6x) aber auch a · 0 0,
also nach (1) der Satz erwiesen.		Beweis von 22+). Nach (2+) ist,
gleichwie jedes Gebiet, so auch das
a + 1 1. Dazu nach 6+) 1 a + 1,
somit besteht die Gleichheit.

Für den Gebietekalkul ist die Gültigkeit der Sätze im Hinblick
auf die Bedeutung von Produkt, Summe, 0 und 1 auch unmittelbar
evident:

Was ein Gebiet der Mannigfaltig-
keit mit der ganzen Mannigfaltig-
keit gemein hat, ist ebendieses Ge-
biet selbst.		Dasjenige, wozu ein Gebiet von
weiter nichts ergänzt wird, ist dies
Gebiet selber.
Was ein Gebiet mit nichts gemein
hat, ist nichts.		Dasjenige, wozu ein Gebiet der
Mannigfaltigkeit durch die ganze
Mannigfaltigkeit ergänzt wird, ist
offenbar ebendiese.

Anmerkung 1 zu den Theoremen 21) und 22).

Nach 21+) kann man jeden Ausdruck darstellen als eine Summe,
deren eines Glied er selber, und dessen anderes Glied 0 ist. Auch
einen Ausdruck, der gar nicht in Form einer Summe erscheint, ein
beliebiges Symbol, kann man hienach jederzeit als eine Summe gelten
lassen, dafür ausgeben, als eine solche behandeln, ansehen, betrachten.
Insofern man aber den Summand 0 nicht ausdrücklich zu schreiben
pflegt, nennt man in solchem Falle den Ausdruck, das Symbol, auch
schlechtweg eine eingliedrige Summe, ein "Monom". Dies gewährt den
erheblichen Vorteil, dass man nun Regeln, die sich auf die Verknüpfung
von Summen ebenso beziehen, wie auf diejenige von andern Symbolen
(die keine Summen sind) einheitlich zusammenzufassen, für beide Fälle
auf einmal darzustellen vermag, worauf wir gelegentlich bereits hin-
wiesen.

Nach 21x) kann man ebenso jedes Symbol als ein Produkt hin-
stellen, dessen andrer Faktor 1 wäre, und da man letztern nicht zu
schreiben pflegt, dasselbe als ein einfaktoriges Produkt bezeichnen.

Zusatz zu ebendiesen Theoremen 21, 22).

Kommen in einem Ausdruck die Symbole 0 und 1 irgendwieoft
als multiplikative oder additive Operationsglieder vor, verknüpft mit
irgendwelchen andern durch Buchstaben dargestellten Gebiets- oder
Klassensymbolen, so wird allemal eine Vereinfachung des Ausdruckes

folgt ferner nach (3×)': a ⋹ a · 1;
womit der Satz kraft (1) bewiesen
ist.		a + 0 ⋹ a. Dazu ist nach 6+): a ⋹ a + 0,
somit nach Def. (1) der Satz er-
wiesen.
Beweis von 22×). Nach (2×) ist:
0 ⋹ a · 0; nach 6×) aber auch a · 0 ⋹ 0,
also nach (1) der Satz erwiesen.		Beweis von 22+). Nach (2+) ist,
gleichwie jedes Gebiet, so auch das
a + 1 ⋹ 1. Dazu nach 6+) 1 ⋹ a + 1,
somit besteht die Gleichheit.

Für den Gebietekalkul ist die Gültigkeit der Sätze im Hinblick
auf die Bedeutung von Produkt, Summe, 0 und 1 auch unmittelbar
evident:

Was ein Gebiet der Mannigfaltig-
keit mit der ganzen Mannigfaltig-
keit gemein hat, ist ebendieses Ge-
biet selbst.		Dasjenige, wozu ein Gebiet von
weiter nichts ergänzt wird, ist dies
Gebiet selber.
Was ein Gebiet mit nichts gemein
hat, ist nichts.		Dasjenige, wozu ein Gebiet der
Mannigfaltigkeit durch die ganze
Mannigfaltigkeit ergänzt wird, ist
offenbar ebendiese.

Anmerkung 1 zu den Theoremen 21) und 22).

Nach 21+) kann man jeden Ausdruck darstellen als eine Summe,
deren eines Glied er selber, und dessen anderes Glied 0 ist. Auch
einen Ausdruck, der gar nicht in Form einer Summe erscheint, ein
beliebiges Symbol, kann man hienach jederzeit als eine Summe gelten
lassen, dafür ausgeben, als eine solche behandeln, ansehen, betrachten.
Insofern man aber den Summand 0 nicht ausdrücklich zu schreiben
pflegt, nennt man in solchem Falle den Ausdruck, das Symbol, auch
schlechtweg eine eingliedrige Summe, ein „Monom“. Dies gewährt den
erheblichen Vorteil, dass man nun Regeln, die sich auf die Verknüpfung
von Summen ebenso beziehen, wie auf diejenige von andern Symbolen
(die keine Summen sind) einheitlich zusammenzufassen, für beide Fälle
auf einmal darzustellen vermag, worauf wir gelegentlich bereits hin-
wiesen.

Nach 21×) kann man ebenso jedes Symbol als ein Produkt hin-
stellen, dessen andrer Faktor 1 wäre, und da man letztern nicht zu
schreiben pflegt, dasselbe als ein einfaktoriges Produkt bezeichnen.

Zusatz zu ebendiesen Theoremen 21, 22).

Kommen in einem Ausdruck die Symbole 0 und 1 irgendwieoft
als multiplikative oder additive Operationsglieder vor, verknüpft mit
irgendwelchen andern durch Buchstaben dargestellten Gebiets- oder
Klassensymbolen, so wird allemal eine Vereinfachung des Ausdruckes

<TEI>
  <text>
    <body>
      <div n="1">
        <table>
          <pb facs="#f0292" n="272"/>
          <fw place="top" type="header">Fünfte Vorlesung.</fw><lb/>
          <row>
            <cell>folgt ferner nach (3<hi rendition="#sub">×</hi>)': <hi rendition="#i">a</hi> &#x22F9; <hi rendition="#i">a</hi> · 1;<lb/>
womit der Satz kraft (1) bewiesen<lb/>
ist.</cell>
            <cell><hi rendition="#i">a</hi> + 0 &#x22F9; <hi rendition="#i">a</hi>. Dazu ist nach 6<hi rendition="#sub">+</hi>): <hi rendition="#i">a</hi> &#x22F9; <hi rendition="#i">a</hi> + 0,<lb/>
somit nach Def. (1) der Satz er-<lb/>
wiesen.</cell>
          </row><lb/>
          <row>
            <cell><hi rendition="#g">Beweis</hi> von 22<hi rendition="#sub">×</hi>). Nach (2<hi rendition="#sub">×</hi>) ist:<lb/>
0 &#x22F9; <hi rendition="#i">a</hi> · 0; nach 6<hi rendition="#sub">×</hi>) aber auch <hi rendition="#i">a</hi> · 0 &#x22F9; 0,<lb/>
also nach (1) der Satz erwiesen.</cell>
            <cell><hi rendition="#g">Beweis</hi> von 22<hi rendition="#sub">+</hi>). Nach (2<hi rendition="#sub">+</hi>) ist,<lb/>
gleichwie jedes Gebiet, so auch das<lb/><hi rendition="#i">a</hi> + 1 &#x22F9; 1. Dazu nach 6<hi rendition="#sub">+</hi>) 1 &#x22F9; <hi rendition="#i">a</hi> + 1,<lb/>
somit besteht die Gleichheit.</cell>
          </row><lb/>
        </table>
        <p>Für den Gebietekalkul ist die Gültigkeit der Sätze im Hinblick<lb/>
auf die Bedeutung von Produkt, Summe, 0 und 1 auch unmittelbar<lb/>
evident:<lb/><table><row><cell>Was ein Gebiet der Mannigfaltig-<lb/>
keit mit der ganzen Mannigfaltig-<lb/>
keit gemein hat, ist ebendieses Ge-<lb/>
biet selbst.</cell><cell>Dasjenige, wozu ein Gebiet von<lb/>
weiter nichts ergänzt wird, ist dies<lb/>
Gebiet selber.</cell></row><lb/><row><cell>Was ein Gebiet mit nichts gemein<lb/>
hat, ist nichts.</cell><cell>Dasjenige, wozu ein Gebiet der<lb/>
Mannigfaltigkeit durch die ganze<lb/>
Mannigfaltigkeit ergänzt wird, ist<lb/>
offenbar ebendiese.</cell></row><lb/></table></p>
        <p><hi rendition="#g">Anmerkung</hi> 1 zu den Theoremen 21) und 22).</p><lb/>
        <p>Nach 21<hi rendition="#sub">+</hi>) kann man jeden Ausdruck darstellen als eine Summe,<lb/>
deren eines Glied er selber, und dessen anderes Glied 0 ist. Auch<lb/>
einen Ausdruck, der gar nicht in Form einer Summe erscheint, ein<lb/>
beliebiges Symbol, kann man hienach jederzeit als eine <hi rendition="#g">Summe</hi> gelten<lb/>
lassen, dafür ausgeben, als eine solche behandeln, ansehen, betrachten.<lb/>
Insofern man aber den Summand 0 nicht ausdrücklich zu schreiben<lb/>
pflegt, nennt man in solchem Falle den Ausdruck, das Symbol, auch<lb/>
schlechtweg eine <hi rendition="#i">eingliedrige Summe,</hi> ein &#x201E;<hi rendition="#i">Monom</hi>&#x201C;. Dies gewährt den<lb/>
erheblichen Vorteil, dass man nun Regeln, die sich auf die Verknüpfung<lb/>
von Summen ebenso beziehen, wie auf diejenige von andern Symbolen<lb/>
(die keine Summen sind) einheitlich zusammenzufassen, für beide Fälle<lb/>
auf einmal darzustellen vermag, worauf wir gelegentlich bereits hin-<lb/>
wiesen.</p><lb/>
        <p>Nach 21<hi rendition="#sub">×</hi>) kann man ebenso jedes <hi rendition="#g">Symbol</hi> als ein Produkt hin-<lb/>
stellen, dessen andrer Faktor 1 wäre, und da man letztern nicht zu<lb/>
schreiben pflegt, dasselbe als ein <hi rendition="#i">einfaktoriges Produkt</hi> bezeichnen.</p><lb/>
        <p><hi rendition="#g">Zusatz</hi> zu ebendiesen Theoremen 21, 22).</p><lb/>
        <p>Kommen in einem Ausdruck die Symbole 0 und 1 irgendwieoft<lb/>
als multiplikative oder additive Operationsglieder vor, verknüpft mit<lb/>
irgendwelchen andern durch Buchstaben dargestellten Gebiets- oder<lb/>
Klassensymbolen, so wird allemal eine Vereinfachung des Ausdruckes<lb/></p>
      </div>
    </body>
  </text>
</TEI>
[272/0292] Fünfte Vorlesung. folgt ferner nach (3×)': a ⋹ a · 1; womit der Satz kraft (1) bewiesen ist. a + 0 ⋹ a. Dazu ist nach 6+): a ⋹ a + 0, somit nach Def. (1) der Satz er- wiesen. Beweis von 22×). Nach (2×) ist: 0 ⋹ a · 0; nach 6×) aber auch a · 0 ⋹ 0, also nach (1) der Satz erwiesen. Beweis von 22+). Nach (2+) ist, gleichwie jedes Gebiet, so auch das a + 1 ⋹ 1. Dazu nach 6+) 1 ⋹ a + 1, somit besteht die Gleichheit. Für den Gebietekalkul ist die Gültigkeit der Sätze im Hinblick auf die Bedeutung von Produkt, Summe, 0 und 1 auch unmittelbar evident: Was ein Gebiet der Mannigfaltig- keit mit der ganzen Mannigfaltig- keit gemein hat, ist ebendieses Ge- biet selbst. Dasjenige, wozu ein Gebiet von weiter nichts ergänzt wird, ist dies Gebiet selber. Was ein Gebiet mit nichts gemein hat, ist nichts. Dasjenige, wozu ein Gebiet der Mannigfaltigkeit durch die ganze Mannigfaltigkeit ergänzt wird, ist offenbar ebendiese. Anmerkung 1 zu den Theoremen 21) und 22). Nach 21+) kann man jeden Ausdruck darstellen als eine Summe, deren eines Glied er selber, und dessen anderes Glied 0 ist. Auch einen Ausdruck, der gar nicht in Form einer Summe erscheint, ein beliebiges Symbol, kann man hienach jederzeit als eine Summe gelten lassen, dafür ausgeben, als eine solche behandeln, ansehen, betrachten. Insofern man aber den Summand 0 nicht ausdrücklich zu schreiben pflegt, nennt man in solchem Falle den Ausdruck, das Symbol, auch schlechtweg eine eingliedrige Summe, ein „Monom“. Dies gewährt den erheblichen Vorteil, dass man nun Regeln, die sich auf die Verknüpfung von Summen ebenso beziehen, wie auf diejenige von andern Symbolen (die keine Summen sind) einheitlich zusammenzufassen, für beide Fälle auf einmal darzustellen vermag, worauf wir gelegentlich bereits hin- wiesen. Nach 21×) kann man ebenso jedes Symbol als ein Produkt hin- stellen, dessen andrer Faktor 1 wäre, und da man letztern nicht zu schreiben pflegt, dasselbe als ein einfaktoriges Produkt bezeichnen. Zusatz zu ebendiesen Theoremen 21, 22). Kommen in einem Ausdruck die Symbole 0 und 1 irgendwieoft als multiplikative oder additive Operationsglieder vor, verknüpft mit irgendwelchen andern durch Buchstaben dargestellten Gebiets- oder Klassensymbolen, so wird allemal eine Vereinfachung des Ausdruckes

Suche im Werk

Hilfe

Informationen zum Werk

Download dieses Werks

XML (TEI P5) · HTML · Text
TCF (text annotation layer)
TCF (tokenisiert, serialisiert, lemmatisiert, normalisiert)
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_logik01_1890
URL zu dieser Seite: https://www.deutschestextarchiv.de/schroeder_logik01_1890/292
Zitationshilfe: Schröder, Ernst: Vorlesungen über die Algebra der Logik. Bd. 1. Leipzig, 1890, S. 272. In: Deutsches Textarchiv <https://www.deutschestextarchiv.de/schroeder_logik01_1890/292>, abgerufen am 25.04.2024.