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

Dritte Vorlesung.
-- unter Berufung auf (11) vorwärts, (15) links, g) des § 3, (11) rück-
wärts und (15) rechts, resp. auf (13) vorwärts, (15) links, (13) rück-
wärts und (15) links -- den Beweis zu 19) und 20) des § 6 (links vom
Mittelstriche).

Beweis zu 21). Nach (14), 1) des § 7, z) des § 3, 1) des § 7,
d) des § 3, (15) und (14) ist:
[Formel 1] .

Beweis zu 29) erste Formel:
[Formel 2] ,
nach (12), (15), l) des § 3, 1) des § 7, (12) und (15).

Beweis zu 30) erste Formel:
[Formel 3] nach (12), (15), n) des § 3, o) des § 3, (12) und (15).

Diese Beispiele von Beweisführung werden ohne Zweifel mehr als
ausreichend sein.


Dritte Vorlesung.
— unter Berufung auf (11) vorwärts, (15) links, γ) des § 3, (11) rück-
wärts und (15) rechts, resp. auf (13) vorwärts, (15) links, (13) rück-
wärts und (15) links — den Beweis zu 19) und 20) des § 6 (links vom
Mittelstriche).

Beweis zu 21). Nach (14), 1) des § 7, ζ) des § 3, 1) des § 7,
δ) des § 3, (15) und (14) ist:
[Formel 1] .

Beweis zu 29) erste Formel:
[Formel 2] ,
nach (12), (15), λ) des § 3, 1) des § 7, (12) und (15).

Beweis zu 30) erste Formel:
[Formel 3] nach (12), (15), ν) des § 3, ο) des § 3, (12) und (15).

Diese Beispiele von Beweisführung werden ohne Zweifel mehr als
ausreichend sein.


<TEI>
  <text>
    <body>
      <div n="1">
        <div n="2">
          <p><pb facs="#f0130" n="116"/><fw place="top" type="header">Dritte Vorlesung.</fw><lb/>
&#x2014; unter Berufung auf (11) vorwärts, (15) links, <hi rendition="#i">&#x03B3;</hi>) des § 3, (11) rück-<lb/>
wärts und (15) rechts, resp. auf (13) vorwärts, (15) links, (13) rück-<lb/>
wärts und (15) links &#x2014; den Beweis zu 19) und 20) des § 6 (links vom<lb/>
Mittelstriche).</p><lb/>
          <p>Beweis zu 21). Nach (14), 1) des § 7, <hi rendition="#i">&#x03B6;</hi>) des § 3, 1) des § 7,<lb/><hi rendition="#i">&#x03B4;</hi>) des § 3, (15) und (14) ist:<lb/><hi rendition="#et"><formula/>.</hi></p><lb/>
          <p>Beweis zu 29) erste Formel:<lb/><hi rendition="#et"><formula/>,</hi><lb/>
nach (12), (15), <hi rendition="#i">&#x03BB;</hi>) des § 3, 1) des § 7, (12) und (15).</p><lb/>
          <p>Beweis zu 30) erste Formel:<lb/><hi rendition="#et"><formula/></hi> nach (12), (15), <hi rendition="#i">&#x03BD;</hi>) des § 3, <hi rendition="#i">&#x03BF;</hi>) des § 3, (12) und (15).</p><lb/>
          <p>Diese Beispiele von Beweisführung werden ohne Zweifel mehr als<lb/>
ausreichend sein.</p>
        </div>
      </div><lb/>
      <milestone rendition="#hr" unit="section"/>
    </body>
  </text>
</TEI>
[116/0130] Dritte Vorlesung. — unter Berufung auf (11) vorwärts, (15) links, γ) des § 3, (11) rück- wärts und (15) rechts, resp. auf (13) vorwärts, (15) links, (13) rück- wärts und (15) links — den Beweis zu 19) und 20) des § 6 (links vom Mittelstriche). Beweis zu 21). Nach (14), 1) des § 7, ζ) des § 3, 1) des § 7, δ) des § 3, (15) und (14) ist: [FORMEL]. Beweis zu 29) erste Formel: [FORMEL], nach (12), (15), λ) des § 3, 1) des § 7, (12) und (15). Beweis zu 30) erste Formel: [FORMEL] nach (12), (15), ν) des § 3, ο) des § 3, (12) und (15). Diese Beispiele von Beweisführung werden ohne Zweifel mehr als ausreichend sein.

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