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 >>

§ 22. Erste Sektion der Subsumtionsprobleme dritter Hauptabteilung.
37) [Formel 1] ,
wo von dem dreitermigen (trinomischen) Ausdruck für x auch der
erste oder letzte Term unterdrückbar.

Dreie von den Moduln: 0, 1 und 1' sind Wurzeln des ersten Problemes.

Diesem wollen wir nun ohne viel Umstände auch die übrigen Ge-
spanne mit ihren Lösungen anreihen.

Zweites Gespann (der Modul 1 blos genügt linkerhand):
38) [Formel 2] ,
wo von den 3 letzten Termen des viertermigen x irgend zweie, des-
gleichen einer, unterdrückbar.

Drittes Gespann (0, 1 und 1' genügen links):
39) [Formel 3]
und von den drei Termen des dreitermigen f(u) der erste oder dritte
unterdrückbar.

Viertes Gespann (Modul 1 genügt linkerhand):
40)

[Tabelle]
.


§ 22. Erste Sektion der Subsumtionsprobleme dritter Hauptabteilung.
37) [Formel 1] ,
wo von dem dreitermigen (trinomischen) Ausdruck für x auch der
erste oder letzte Term unterdrückbar.

Dreie von den Moduln: 0, 1 und 1' sind Wurzeln des ersten Problemes.

Diesem wollen wir nun ohne viel Umstände auch die übrigen Ge-
spanne mit ihren Lösungen anreihen.

Zweites Gespann (der Modul 1 blos genügt linkerhand):
38) [Formel 2] ,
wo von den 3 letzten Termen des viertermigen x irgend zweie, des-
gleichen einer, unterdrückbar.

Drittes Gespann (0, 1 und 1' genügen links):
39) [Formel 3]
und von den drei Termen des dreitermigen f(u) der erste oder dritte
unterdrückbar.

Viertes Gespann (Modul 1 genügt linkerhand):
40)

[Tabelle]
.


<TEI>
  <text>
    <body>
      <div n="1">
        <div n="2">
          <p><pb facs="#f0355" n="341"/><fw place="top" type="header">§ 22. Erste Sektion der Subsumtionsprobleme dritter Hauptabteilung.</fw><lb/>
37) <formula/>,<lb/>
wo von dem dreitermigen (trinomischen) Ausdruck für <hi rendition="#i">x</hi> auch der<lb/>
erste oder letzte Term unterdrückbar.</p><lb/>
          <p>Dreie von den Moduln: 0, 1 und 1' sind Wurzeln des ersten Problemes.</p><lb/>
          <p>Diesem wollen wir nun ohne viel Umstände auch die übrigen Ge-<lb/>
spanne mit ihren Lösungen anreihen.</p><lb/>
          <p>Zweites Gespann (der Modul 1 blos genügt linkerhand):<lb/>
38) <formula/>,<lb/>
wo von den 3 letzten Termen des viertermigen <hi rendition="#i">x</hi> irgend zweie, des-<lb/>
gleichen einer, unterdrückbar.</p><lb/>
          <p>Drittes Gespann (0, 1 und 1' genügen links):<lb/>
39) <formula/><lb/>
und von den drei Termen des dreitermigen <hi rendition="#i">f</hi>(<hi rendition="#i">u</hi>) der erste oder dritte<lb/>
unterdrückbar.</p><lb/>
          <p>Viertes Gespann (Modul 1 genügt linkerhand):<lb/>
40) <table><row><cell/></row></table>.</p><lb/>
        </div>
      </div>
    </body>
  </text>
</TEI>
[341/0355] § 22. Erste Sektion der Subsumtionsprobleme dritter Hauptabteilung. 37) [FORMEL], wo von dem dreitermigen (trinomischen) Ausdruck für x auch der erste oder letzte Term unterdrückbar. Dreie von den Moduln: 0, 1 und 1' sind Wurzeln des ersten Problemes. Diesem wollen wir nun ohne viel Umstände auch die übrigen Ge- spanne mit ihren Lösungen anreihen. Zweites Gespann (der Modul 1 blos genügt linkerhand): 38) [FORMEL], wo von den 3 letzten Termen des viertermigen x irgend zweie, des- gleichen einer, unterdrückbar. Drittes Gespann (0, 1 und 1' genügen links): 39) [FORMEL] und von den drei Termen des dreitermigen f(u) der erste oder dritte unterdrückbar. Viertes Gespann (Modul 1 genügt linkerhand): 40) .

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_logik03_1895
URL zu dieser Seite: https://www.deutschestextarchiv.de/schroeder_logik03_1895/355
Zitationshilfe: Schröder, Ernst: Vorlesungen über die Algebra der Logik. Bd. 3, Abt. 1. Leipzig, 1895, S. 341. In: Deutsches Textarchiv <https://www.deutschestextarchiv.de/schroeder_logik03_1895/355>, abgerufen am 14.05.2024.