Anmelden (DTAQ) DWDS     dlexDB     CLARIN-D

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

Bild:
<< vorherige Seite
§ 14. Beispiele zum Auflösungsprobleme.

Die Lösungen für diese zwölf Aufgaben sind in folgender Zusammen-
stellung angegeben:
10)

(0 j x j 0 = 1) = (x = 1)(1 ; x ; 1 = 0) = (x = 0)
11)
[Tabelle]
12)
[Tabelle]
13)
[Tabelle]
.

Hievon ist 10) bereits mit 5) des § 10 gegeben, und 12) fällt mit
der Lösung 1) unsrer obigen Aufgabe 1 zusammen.

Die Lösungen 11) werden systematisch von uns erst abgeleitet in § 16
unter 14) als "Aufg. 9" und 21) als "Aufg. 17", und sind hier vorgreifend
angeführt; doch bietet ihre schon hier unschwer zu bewältigende Verifikation
vermittelst beider Proben eine gute Übung für Anfänger.

Diese Lösungen 11) sind wesentlich verschieden von den "rigorosen"
Lösungen derselben Aufgaben, wie sie sich im Hinblick auf die partikulare
Lösung x = 1 resp. 0 nach den Schemata 16) und 17) des § 12 mit Leichtig-
tigkeit ergeben, und sie sind weit befriedigender als diese letztern. Für
das Problem rechts oben in 11) würde man z. B. als die rigorose Lösung
x = u(0 j un ; 1) -- anstatt un ; 1 · u -- erhalten. Etc.

Dagegen gewinnt man die Lösungen 13) am bequemsten aufgrund der
ersichtlichen Partikularlösung oder speziellen Wurzel x = 0 resp. 1 gerade
als die rigorose Lösung der betreffenden Aufgabe -- nach soeben genannten
Schemata. Man scheint sich hier wohl oder übel mit der rigorosen Lösung
zufrieden geben zu müssen.

Während 11) uns in den Stand setzt, das allgemeinste Relativ
anzugeben, welches lauter besetzte Zeile(n) (d. i. keine Leerzeile) resp.
keine Vollzeile hat, vermögen wir nach 13) auch das allgemeinste Re-
lativ anzugeben, welches unbesetzte (oder Leer-)Zeile(n) hat, resp. welches
Vollzeile(n) besitzt -- und ähnlich für Kolonnen.

Jenes erste erhalten wir aus u, indem wir die etwaigen Leerzeilen
des u, in Vollzeilen verwandelt, ihm zufügen. Um dagegen dieses (dritt-
genannte) Relativ aus einem u von lauter besetzten Zeilen zu erhalten,
müsste man deren irgendwelche abwerfen, und da kein Grund erfindlich ist,
der allgemein den Ausschlag dafür geben könnte, welche Zeilen in dieser
Hinsicht vor den andern zu bevorzugen wären, so verlangt es die Formel
alsdann gleichmässig für alle Zeilen und verweist so auf die völlig be-

§ 14. Beispiele zum Auflösungsprobleme.

Die Lösungen für diese zwölf Aufgaben sind in folgender Zusammen-
stellung angegeben:
10)

(0 ɟ x ɟ 0 = 1) = (x = 1)(1 ; x ; 1 = 0) = (x = 0)
11)
[Tabelle]
12)
[Tabelle]
13)
[Tabelle]
.

Hievon ist 10) bereits mit 5) des § 10 gegeben, und 12) fällt mit
der Lösung 1) unsrer obigen Aufgabe 1 zusammen.

Die Lösungen 11) werden systematisch von uns erst abgeleitet in § 16
unter 14) als „Aufg. 9“ und 21) als „Aufg. 17“, und sind hier vorgreifend
angeführt; doch bietet ihre schon hier unschwer zu bewältigende Verifikation
vermittelst beider Proben eine gute Übung für Anfänger.

Diese Lösungen 11) sind wesentlich verschieden von den „rigorosen“
Lösungen derselben Aufgaben, wie sie sich im Hinblick auf die partikulare
Lösung x = 1 resp. 0 nach den Schemata 16) und 17) des § 12 mit Leichtig-
tigkeit ergeben, und sie sind weit befriedigender als diese letztern. Für
das Problem rechts oben in 11) würde man z. B. als die rigorose Lösung
x = u(0 ɟ ; 1) — anstatt ; 1 · u — erhalten. Etc.

Dagegen gewinnt man die Lösungen 13) am bequemsten aufgrund der
ersichtlichen Partikularlösung oder speziellen Wurzel x = 0 resp. 1 gerade
als die rigorose Lösung der betreffenden Aufgabe — nach soeben genannten
Schemata. Man scheint sich hier wohl oder übel mit der rigorosen Lösung
zufrieden geben zu müssen.

Während 11) uns in den Stand setzt, das allgemeinste Relativ
anzugeben, welches lauter besetzte Zeile(n) (d. i. keine Leerzeile) resp.
keine Vollzeile hat, vermögen wir nach 13) auch das allgemeinste Re-
lativ anzugeben, welches unbesetzte (oder Leer-)Zeile(n) hat, resp. welches
Vollzeile(n) besitzt — und ähnlich für Kolonnen.

Jenes erste erhalten wir aus u, indem wir die etwaigen Leerzeilen
des u, in Vollzeilen verwandelt, ihm zufügen. Um dagegen dieses (dritt-
genannte) Relativ aus einem u von lauter besetzten Zeilen zu erhalten,
müsste man deren irgendwelche abwerfen, und da kein Grund erfindlich ist,
der allgemein den Ausschlag dafür geben könnte, welche Zeilen in dieser
Hinsicht vor den andern zu bevorzugen wären, so verlangt es die Formel
alsdann gleichmässig für alle Zeilen und verweist so auf die völlig be-

<TEI>
  <text>
    <body>
      <div n="1">
        <div n="2">
          <pb facs="#f0211" n="197"/>
          <fw place="top" type="header">§ 14. Beispiele zum Auflösungsprobleme.</fw><lb/>
          <p>Die Lösungen für diese zwölf Aufgaben sind in folgender Zusammen-<lb/>
stellung angegeben:<lb/>
10) <table><lb/><row><cell>(0 &#x025F; <hi rendition="#i">x</hi> &#x025F; 0 = 1) = (<hi rendition="#i">x</hi> = 1)</cell><cell>(1 ; <hi rendition="#i">x</hi> ; 1 = 0) = (<hi rendition="#i">x</hi> = 0)</cell></row><lb/></table> 11) <table><row><cell/></row></table><lb/>
12) <table><row><cell/></row></table><lb/>
13) <table><row><cell/></row></table>.</p><lb/>
          <p>Hievon ist 10) bereits mit 5) des § 10 gegeben, und 12) fällt mit<lb/>
der Lösung 1) unsrer obigen Aufgabe 1 zusammen.</p><lb/>
          <p>Die Lösungen 11) werden systematisch von uns erst abgeleitet in § 16<lb/>
unter 14) als &#x201E;Aufg. 9&#x201C; und 21) als &#x201E;Aufg. 17&#x201C;, und sind hier <hi rendition="#i">vorgreifend</hi><lb/>
angeführt; doch bietet ihre schon hier unschwer zu bewältigende Verifikation<lb/>
vermittelst beider Proben eine gute Übung für Anfänger.</p><lb/>
          <p>Diese Lösungen 11) sind wesentlich verschieden von den &#x201E;rigorosen&#x201C;<lb/>
Lösungen derselben Aufgaben, wie sie sich im Hinblick auf die partikulare<lb/>
Lösung <hi rendition="#i">x</hi> = 1 resp. 0 nach den Schemata 16) und 17) des § 12 mit Leichtig-<lb/>
tigkeit ergeben, und sie sind weit befriedigender als diese letztern. Für<lb/>
das Problem rechts oben in 11) würde man z. B. als die rigorose Lösung<lb/><hi rendition="#i">x</hi> = <hi rendition="#i">u</hi>(0 &#x025F; <hi rendition="#i">u&#x0304;</hi> ; 1) &#x2014; anstatt <hi rendition="#i">u&#x0304;</hi> ; 1 · <hi rendition="#i">u</hi> &#x2014; erhalten. Etc.</p><lb/>
          <p>Dagegen gewinnt man die Lösungen 13) am bequemsten aufgrund der<lb/>
ersichtlichen Partikularlösung oder speziellen Wurzel <hi rendition="#i">x</hi> = 0 resp. 1 gerade<lb/>
als die rigorose Lösung der betreffenden Aufgabe &#x2014; nach soeben genannten<lb/>
Schemata. Man scheint sich hier wohl oder übel mit der rigorosen Lösung<lb/>
zufrieden geben zu müssen.</p><lb/>
          <p>Während 11) uns in den Stand setzt, das allgemeinste Relativ<lb/>
anzugeben, welches <hi rendition="#i">lauter besetzte Zeile</hi>(<hi rendition="#i">n</hi>) (d. i. <hi rendition="#i">keine Leerzeile</hi>) resp.<lb/><hi rendition="#i">keine Vollzeile</hi> hat, vermögen wir nach 13) auch das allgemeinste Re-<lb/>
lativ anzugeben, welches <hi rendition="#i">unbesetzte</hi> (oder <hi rendition="#i">Leer</hi>-)<hi rendition="#i">Zeile</hi>(<hi rendition="#i">n</hi>) hat, resp. welches<lb/><hi rendition="#i">Vollzeile</hi>(<hi rendition="#i">n</hi>) besitzt &#x2014; und ähnlich für Kolonnen.</p><lb/>
          <p><hi rendition="#g">Jenes</hi> erste erhalten wir aus <hi rendition="#i">u</hi>, indem wir die etwaigen Leerzeilen<lb/>
des <hi rendition="#i">u</hi>, in Vollzeilen verwandelt, ihm zufügen. Um dagegen <hi rendition="#g">dieses</hi> (dritt-<lb/>
genannte) Relativ aus einem <hi rendition="#i">u</hi> von lauter besetzten Zeilen zu erhalten,<lb/>
müsste man deren irgendwelche abwerfen, und da kein Grund erfindlich ist,<lb/>
der allgemein den Ausschlag dafür geben könnte, <hi rendition="#g">welche</hi> Zeilen in dieser<lb/>
Hinsicht vor den andern zu bevorzugen wären, so verlangt es die Formel<lb/>
alsdann gleichmässig für <hi rendition="#g">alle</hi> Zeilen und verweist so auf die völlig be-<lb/></p>
        </div>
      </div>
    </body>
  </text>
</TEI>
[197/0211] § 14. Beispiele zum Auflösungsprobleme. Die Lösungen für diese zwölf Aufgaben sind in folgender Zusammen- stellung angegeben: 10) (0 ɟ x ɟ 0 = 1) = (x = 1) (1 ; x ; 1 = 0) = (x = 0) 11) 12) 13) . Hievon ist 10) bereits mit 5) des § 10 gegeben, und 12) fällt mit der Lösung 1) unsrer obigen Aufgabe 1 zusammen. Die Lösungen 11) werden systematisch von uns erst abgeleitet in § 16 unter 14) als „Aufg. 9“ und 21) als „Aufg. 17“, und sind hier vorgreifend angeführt; doch bietet ihre schon hier unschwer zu bewältigende Verifikation vermittelst beider Proben eine gute Übung für Anfänger. Diese Lösungen 11) sind wesentlich verschieden von den „rigorosen“ Lösungen derselben Aufgaben, wie sie sich im Hinblick auf die partikulare Lösung x = 1 resp. 0 nach den Schemata 16) und 17) des § 12 mit Leichtig- tigkeit ergeben, und sie sind weit befriedigender als diese letztern. Für das Problem rechts oben in 11) würde man z. B. als die rigorose Lösung x = u(0 ɟ ū ; 1) — anstatt ū ; 1 · u — erhalten. Etc. Dagegen gewinnt man die Lösungen 13) am bequemsten aufgrund der ersichtlichen Partikularlösung oder speziellen Wurzel x = 0 resp. 1 gerade als die rigorose Lösung der betreffenden Aufgabe — nach soeben genannten Schemata. Man scheint sich hier wohl oder übel mit der rigorosen Lösung zufrieden geben zu müssen. Während 11) uns in den Stand setzt, das allgemeinste Relativ anzugeben, welches lauter besetzte Zeile(n) (d. i. keine Leerzeile) resp. keine Vollzeile hat, vermögen wir nach 13) auch das allgemeinste Re- lativ anzugeben, welches unbesetzte (oder Leer-)Zeile(n) hat, resp. welches Vollzeile(n) besitzt — und ähnlich für Kolonnen. Jenes erste erhalten wir aus u, indem wir die etwaigen Leerzeilen des u, in Vollzeilen verwandelt, ihm zufügen. Um dagegen dieses (dritt- genannte) Relativ aus einem u von lauter besetzten Zeilen zu erhalten, müsste man deren irgendwelche abwerfen, und da kein Grund erfindlich ist, der allgemein den Ausschlag dafür geben könnte, welche Zeilen in dieser Hinsicht vor den andern zu bevorzugen wären, so verlangt es die Formel alsdann gleichmässig für alle Zeilen und verweist so auf die völlig be-

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