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 >>
Achte Vorlesung.

Mit 1 äquivalent ist aber jede "analytische" Proposition, jede Formel,
wie z. B. die x x. Als Auflösung der letztern nach der Unbekannten x
würde also ebenfalls der Ausdruck [Formel 1] hinzustellen sein, wofür wir
aber -- im Hinblick auf 1) -- den kürzeren Namen 1 selbst künftighin
beibehalten wollen.

Ebenso ist mit 0 äquivalent jede absurde oder unauflösbare Pro-
position, wie z. B. die xn = x. Bei der Zusammenstellung der Auflösungs-
ergebnisse oder allgemeinen Wurzeln möge das Aussagensymbol 0 selbst
auf das Nichtvorhandensein, die Unmöglichkeit einer Wurzel hinweisen.

Wir studiren also nur mehr Propositionen, in welchen der Name x
der Unbekannten mindestens einmal vorkommt, und wenden uns zuerst
zur einfachsten Klasse, nämlich zu den
Auflösungsproblemen mit zwei Symbolen.

Das eine dieser Symbole ist die Unbekannte x, somit sind zwei
Abteilungen zu unterscheiden, je nachdem das andre Symbol ein Para-
meter a, oder aber ebenfalls die Unbekannte x oder eine von deren
Verwandten ist.

Mit 2), 3) chiffrirt stellen wir hiernächst die Probleme der erstern,
und mit 4) .. 7) chiffrirt die der letztern Abteilung samt den zugehörigen
Lösungen übersichtlichst und vollständig zusammen.

Zufolge Zusammenfallens, logischer Äquivalenz, von einzelnen auf den
ersten Blick oder formell verschiedenen von diesen Auflösungsproblemen
lassen sich deren nur 12 + 7 = 19 zählen.

2)

[Tabelle]
,
3) [Formel 2]
4) [Formel 3]
5) [Formel 4] ,

Achte Vorlesung.

Mit 1 äquivalent ist aber jede „analytische“ Proposition, jede Formel,
wie z. B. die x ⋹ x. Als Auflösung der letztern nach der Unbekannten x
würde also ebenfalls der Ausdruck [Formel 1] hinzustellen sein, wofür wir
aber — im Hinblick auf 1) — den kürzeren Namen 1 selbst künftighin
beibehalten wollen.

Ebenso ist mit 0 äquivalent jede absurde oder unauflösbare Pro-
position, wie z. B. die x̄ = x. Bei der Zusammenstellung der Auflösungs-
ergebnisse oder allgemeinen Wurzeln möge das Aussagensymbol 0 selbst
auf das Nichtvorhandensein, die Unmöglichkeit einer Wurzel hinweisen.

Wir studiren also nur mehr Propositionen, in welchen der Name x
der Unbekannten mindestens einmal vorkommt, und wenden uns zuerst
zur einfachsten Klasse, nämlich zu den
Auflösungsproblemen mit zwei Symbolen.

Das eine dieser Symbole ist die Unbekannte x, somit sind zwei
Abteilungen zu unterscheiden, je nachdem das andre Symbol ein Para-
meter a, oder aber ebenfalls die Unbekannte x oder eine von deren
Verwandten ist.

Mit 2), 3) chiffrirt stellen wir hiernächst die Probleme der erstern,
und mit 4) ‥ 7) chiffrirt die der letztern Abteilung samt den zugehörigen
Lösungen übersichtlichst und vollständig zusammen.

Zufolge Zusammenfallens, logischer Äquivalenz, von einzelnen auf den
ersten Blick oder formell verschiedenen von diesen Auflösungsproblemen
lassen sich deren nur 12 + 7 = 19 zählen.

2)

[Tabelle]
,
3) [Formel 2]
4) [Formel 3]
5) [Formel 4] ,

<TEI>
  <text>
    <body>
      <div n="1">
        <div n="2">
          <pb facs="#f0310" n="296"/>
          <fw place="top" type="header">Achte Vorlesung.</fw><lb/>
          <p>Mit 1 äquivalent ist aber jede &#x201E;analytische&#x201C; Proposition, jede <hi rendition="#i">Formel</hi>,<lb/>
wie z. B. die <hi rendition="#i">x</hi> &#x22F9; <hi rendition="#i">x</hi>. Als Auflösung der letztern nach der Unbekannten <hi rendition="#i">x</hi><lb/>
würde also ebenfalls der Ausdruck <formula/> hinzustellen sein, wofür wir<lb/>
aber &#x2014; im Hinblick auf 1) &#x2014; den kürzeren Namen 1 selbst künftighin<lb/>
beibehalten wollen.</p><lb/>
          <p>Ebenso ist mit 0 äquivalent jede absurde oder unauflösbare Pro-<lb/>
position, wie z. B. die <hi rendition="#i">x&#x0304;</hi> = <hi rendition="#i">x</hi>. Bei der Zusammenstellung der Auflösungs-<lb/>
ergebnisse oder allgemeinen Wurzeln möge das Aussagensymbol 0 selbst<lb/>
auf das Nichtvorhandensein, die Unmöglichkeit einer Wurzel hinweisen.</p><lb/>
          <p>Wir studiren also nur mehr Propositionen, in welchen der Name <hi rendition="#i">x</hi><lb/>
der Unbekannten mindestens einmal vorkommt, und wenden uns zuerst<lb/>
zur einfachsten Klasse, nämlich zu den<lb/><hi rendition="#c"><hi rendition="#i">Auflösungsproblemen mit zwei Symbolen.</hi></hi></p><lb/>
          <p>Das eine dieser Symbole ist die Unbekannte <hi rendition="#i">x</hi>, somit sind zwei<lb/>
Abteilungen zu unterscheiden, je nachdem das andre Symbol ein Para-<lb/>
meter <hi rendition="#i">a</hi>, oder aber ebenfalls die Unbekannte <hi rendition="#i">x</hi> oder eine von deren<lb/>
Verwandten ist.</p><lb/>
          <p>Mit 2), 3) chiffrirt stellen wir hiernächst die Probleme der erstern,<lb/>
und mit 4) &#x2025; 7) chiffrirt die der letztern Abteilung samt den zugehörigen<lb/>
Lösungen übersichtlichst und vollständig zusammen.</p><lb/>
          <p>Zufolge Zusammenfallens, logischer Äquivalenz, von einzelnen auf den<lb/>
ersten Blick oder formell verschiedenen von diesen Auflösungsproblemen<lb/>
lassen sich deren nur 12 + 7 = 19 zählen.</p><lb/>
          <p>2) <table><row><cell/></row></table>,<lb/>
3) <formula/><lb/><lb/>
4) <formula/><lb/>
5) <hi rendition="#et"><formula/>,</hi><lb/></p>
        </div>
      </div>
    </body>
  </text>
</TEI>
[296/0310] Achte Vorlesung. Mit 1 äquivalent ist aber jede „analytische“ Proposition, jede Formel, wie z. B. die x ⋹ x. Als Auflösung der letztern nach der Unbekannten x würde also ebenfalls der Ausdruck [FORMEL] hinzustellen sein, wofür wir aber — im Hinblick auf 1) — den kürzeren Namen 1 selbst künftighin beibehalten wollen. Ebenso ist mit 0 äquivalent jede absurde oder unauflösbare Pro- position, wie z. B. die x̄ = x. Bei der Zusammenstellung der Auflösungs- ergebnisse oder allgemeinen Wurzeln möge das Aussagensymbol 0 selbst auf das Nichtvorhandensein, die Unmöglichkeit einer Wurzel hinweisen. Wir studiren also nur mehr Propositionen, in welchen der Name x der Unbekannten mindestens einmal vorkommt, und wenden uns zuerst zur einfachsten Klasse, nämlich zu den Auflösungsproblemen mit zwei Symbolen. Das eine dieser Symbole ist die Unbekannte x, somit sind zwei Abteilungen zu unterscheiden, je nachdem das andre Symbol ein Para- meter a, oder aber ebenfalls die Unbekannte x oder eine von deren Verwandten ist. Mit 2), 3) chiffrirt stellen wir hiernächst die Probleme der erstern, und mit 4) ‥ 7) chiffrirt die der letztern Abteilung samt den zugehörigen Lösungen übersichtlichst und vollständig zusammen. Zufolge Zusammenfallens, logischer Äquivalenz, von einzelnen auf den ersten Blick oder formell verschiedenen von diesen Auflösungsproblemen lassen sich deren nur 12 + 7 = 19 zählen. 2) , 3) [FORMEL] 4) [FORMEL] 5) [FORMEL],

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/310
Zitationshilfe: Schröder, Ernst: Vorlesungen über die Algebra der Logik. Bd. 3, Abt. 1. Leipzig, 1895, S. 296. In: Deutsches Textarchiv <https://www.deutschestextarchiv.de/schroeder_logik03_1895/310>, abgerufen am 23.11.2024.