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

§ 25. Anwendungsbeispiele und Aufgaben.

20) Am Do., Fr. und Sa. dürfen niemals dreie (oder mehr) daheim bleiben.

30) Am Di., Mi. und Sa. müssen, wenn b und c beisammen sind,
auch a, b, e und f beisammen bleiben.

40) Am Mo. und Sa. darf b nicht ausgehen, wofern nicht d zuhause
bleibt oder c, e und f zuhause bleiben.

b und f beschliessen zuerst, was sie thun wollen, und c trifft seine
Entscheidung vor a, d oder e.

Zu ermitteln ist erstens, wann c ausgehen muss, zweitens, wann es
daheim bleiben muss, mithin drittens auch, wann es verfahren kann
nach seinem Gefallen.

Auflösung. Man lasse a auch bedeuten die Klasse der Fälle
oder Zeiten, in welchen das Kind a ausgeht, sonach a1 die Klasse der
Fälle oder Zeiten, in welchen das Kind a daheim verweilt und so
weiter. Ebenso lasse man Mo. bedeuten die Klasse der Fälle, in wel-
chen "es Montag ist", d. h. die Klasse der auf einen Montag fallenden
Zeiten, u. s. w.

Alsdann fordern die beiden ersten Vorschriften, dass sei:

10) (Mo + Di) (a b c d + a b c e + a b c f + a b d e + a b d f + a b e f + a c d e +
+ a c d f + a c e f + a d e f + b c d e + b c d f + b c e f + b d e f + c d e f) = 0,

20) (Do + Fr + Sa) (a1 b1 c1 + a1 b1 d1 + a1 b1 e1 + a1 b1 f1 + a1 c1 d1 + a1 c1 e1 +
+ a1 c1 f1 + a1 d1 e1 + a1 d1 f1 + a1 e1 f1 + b1 c1 d1 + b1 c1 e1 + b1 c1 f1 + b1 d1 e1 +
+ b1 d1 f1 + b1 e1 f1 + c1 d1 e1 + c1 d1 f1 + c1 e1 f1 + d1 e1 f1) = 0.

In der That soll die Klasse der Fälle, wo es Mo. (oder Di.) ist und
zugleich die Kinder a, b, c, d zusammen ausgehn, eine leere sein, was durch
(Mo + Di) · a b c d = 0 auszudrücken; etc.; ebenso soll die Klasse der Zeiten
eine leere sein, wo es Do. (oder Fr. oder Sa.) ist und die Kinder a, b, c
zusammen daheim bleiben, was durch (Do + Fr + Sa) a1 b1 c1 = 0 sich aus-
drücken wird, etc. Dass an den betreffenden Tagen nicht mehr als viere
ausgehen, bezüglich nicht mehr als dreie daheim bleiben sollen, braucht
nicht besonders formulirt zu werden, indem die aus dieser Formulirung zu
unserm Ansatz hinzutretenden Terme ohnehin von den bereits angesetzten
absorbirt werden müssten, wie a b c d e von a b c d, wie a1 b1 c1 d1 von a1 b1 c1, etc.

Ferner ist zu bemerken, dass im Sinne der Aufgabenstellerin die
Sämtlichen Kinder etwa in einer und derselben Pension untergebracht zu
denken sind, sodass diejenigen, die daheim bleiben, dann auch "beisammen"
bleiben, und diejenigen, welche ausgehen, dies ebenfalls "zusammen" thun.

Die dritte Prämisse schliesst für gewisse Tage die Fälle aus, in
welchen b und c beide aus oder beide daheim sind, falls nicht (oder
"ausgenommen", wenn) zugleich a, b, e und f beisammen bleiben. D. h.
sie fordert:
(Di + Mi + Sa) (b c + b1 c1) (a b e f + a1 b1 e1 f1)1 = 0.
Die Negation im letzten Faktor kann nach meinem Th. 46) als die-

§ 25. Anwendungsbeispiele und Aufgaben.

20) Am Do., Fr. und Sa. dürfen niemals dreie (oder mehr) daheim bleiben.

30) Am Di., Mi. und Sa. müssen, wenn b und c beisammen sind,
auch a, b, e und f beisammen bleiben.

40) Am Mo. und Sa. darf b nicht ausgehen, wofern nicht d zuhause
bleibt oder c, e und f zuhause bleiben.

b und f beschliessen zuerst, was sie thun wollen, und c trifft seine
Entscheidung vor a, d oder e.

Zu ermitteln ist erstens, wann c ausgehen muss, zweitens, wann es
daheim bleiben muss, mithin drittens auch, wann es verfahren kann
nach seinem Gefallen.

Auflösung. Man lasse a auch bedeuten die Klasse der Fälle
oder Zeiten, in welchen das Kind a ausgeht, sonach a1 die Klasse der
Fälle oder Zeiten, in welchen das Kind a daheim verweilt und so
weiter. Ebenso lasse man Mo. bedeuten die Klasse der Fälle, in wel-
chen „es Montag ist“, d. h. die Klasse der auf einen Montag fallenden
Zeiten, u. s. w.

Alsdann fordern die beiden ersten Vorschriften, dass sei:

10) (Mo + Di) (a b c d + a b c e + a b c f + a b d e + a b d f + a b e f + a c d e +
+ a c d f + a c e f + a d e f + b c d e + b c d f + b c e f + b d e f + c d e f) = 0,

Ferner ist zu bemerken, dass im Sinne der Aufgabenstellerin die
Sämtlichen Kinder etwa in einer und derselben Pension untergebracht zu
denken sind, sodass diejenigen, die daheim bleiben, dann auch „beisammen“
bleiben, und diejenigen, welche ausgehen, dies ebenfalls „zusammen“ thun.

Die dritte Prämisse schliesst für gewisse Tage die Fälle aus, in
welchen b und c beide aus oder beide daheim sind, falls nicht (oder
„ausgenommen“, wenn) zugleich a, b, e und f beisammen bleiben. D. h.
sie fordert:
(Di + Mi + Sa) (b c + b1 c1) (a b e f + a1 b1 e1 f1)1 = 0.
Die Negation im letzten Faktor kann nach meinem Th. 46) als die-

<TEI>
  <text>
    <body>
      <div n="1">
        <div n="2">
          <pb facs="#f0569" n="549"/>
          <fw place="top" type="header">§ 25. Anwendungsbeispiele und Aufgaben.</fw><lb/>
          <list>
            <item>2<hi rendition="#sup">0</hi>) Am Do., Fr. und Sa. dürfen niemals dreie (oder mehr) daheim bleiben.</item><lb/>
            <item>3<hi rendition="#sup">0</hi>) Am Di., Mi. und Sa. müssen, wenn <hi rendition="#i">b</hi> und <hi rendition="#i">c</hi> beisammen sind,<lb/>
auch <hi rendition="#i">a</hi>, <hi rendition="#i">b</hi>, <hi rendition="#i">e</hi> und <hi rendition="#i">f</hi> beisammen bleiben.</item><lb/>
            <item>4<hi rendition="#sup">0</hi>) Am Mo. und Sa. darf <hi rendition="#i">b</hi> nicht ausgehen, wofern nicht <hi rendition="#i">d</hi> zuhause<lb/>
bleibt oder <hi rendition="#i">c</hi>, <hi rendition="#i">e</hi> und <hi rendition="#i">f</hi> zuhause bleiben.</item>
          </list><lb/>
          <p><hi rendition="#i">b</hi> und <hi rendition="#i">f</hi> beschliessen zuerst, was sie thun wollen, und <hi rendition="#i">c</hi> trifft seine<lb/>
Entscheidung vor <hi rendition="#i">a</hi>, <hi rendition="#i">d</hi> oder <hi rendition="#i">e</hi>.</p><lb/>
          <p>Zu ermitteln ist <hi rendition="#i">erstens</hi>, wann <hi rendition="#i">c</hi> ausgehen muss, <hi rendition="#i">zweitens</hi>, wann es<lb/>
daheim bleiben muss, mithin drittens auch, wann es verfahren kann<lb/>
nach seinem Gefallen.</p><lb/>
          <p><hi rendition="#g">Auflösung</hi>. Man lasse <hi rendition="#i">a</hi> auch bedeuten die Klasse der Fälle<lb/>
oder Zeiten, in welchen das Kind <hi rendition="#i">a ausgeht</hi>, sonach <hi rendition="#i">a</hi><hi rendition="#sub">1</hi> die Klasse der<lb/>
Fälle oder Zeiten, in welchen das Kind <hi rendition="#i">a daheim verweilt</hi> und so<lb/>
weiter. Ebenso lasse man Mo. bedeuten die Klasse der Fälle, in wel-<lb/>
chen &#x201E;es Montag ist&#x201C;, d. h. die Klasse der auf einen Montag fallenden<lb/>
Zeiten, u. s. w.</p><lb/>
          <p>Alsdann fordern die beiden ersten Vorschriften, dass sei:</p><lb/>
          <list>
            <item>1<hi rendition="#sup">0</hi>) (Mo + Di) (<hi rendition="#i">a b c d</hi> + <hi rendition="#i">a b c e</hi> + <hi rendition="#i">a b c f</hi> + <hi rendition="#i">a b d e</hi> + <hi rendition="#i">a b d f</hi> + <hi rendition="#i">a b e f</hi> + <hi rendition="#i">a c d e</hi> +<lb/>
+ <hi rendition="#i">a c d f</hi> + <hi rendition="#i">a c e f</hi> + <hi rendition="#i">a d e f</hi> + <hi rendition="#i">b c d e</hi> + <hi rendition="#i">b c d f</hi> + <hi rendition="#i">b c e f</hi> + <hi rendition="#i">b d e f</hi> + <hi rendition="#i">c d e f</hi>) = 0,</item><lb/>
            <item>2<hi rendition="#sup">0</hi>) (Do + Fr + Sa) (<hi rendition="#i">a</hi><hi rendition="#sub">1</hi> <hi rendition="#i">b</hi><hi rendition="#sub">1</hi> <hi rendition="#i">c</hi><hi rendition="#sub">1</hi> + <hi rendition="#i">a</hi><hi rendition="#sub">1</hi> <hi rendition="#i">b</hi><hi rendition="#sub">1</hi> <hi rendition="#i">d</hi><hi rendition="#sub">1</hi> + <hi rendition="#i">a</hi><hi rendition="#sub">1</hi> <hi rendition="#i">b</hi><hi rendition="#sub">1</hi> <hi rendition="#i">e</hi><hi rendition="#sub">1</hi> + <hi rendition="#i">a</hi><hi rendition="#sub">1</hi> <hi rendition="#i">b</hi><hi rendition="#sub">1</hi> <hi rendition="#i">f</hi><hi rendition="#sub">1</hi> + <hi rendition="#i">a</hi><hi rendition="#sub">1</hi> <hi rendition="#i">c</hi><hi rendition="#sub">1</hi> <hi rendition="#i">d</hi><hi rendition="#sub">1</hi> + <hi rendition="#i">a</hi><hi rendition="#sub">1</hi> <hi rendition="#i">c</hi><hi rendition="#sub">1</hi> <hi rendition="#i">e</hi><hi rendition="#sub">1</hi> +<lb/>
+ <hi rendition="#i">a</hi><hi rendition="#sub">1</hi> <hi rendition="#i">c</hi><hi rendition="#sub">1</hi> <hi rendition="#i">f</hi><hi rendition="#sub">1</hi> + <hi rendition="#i">a</hi><hi rendition="#sub">1</hi> <hi rendition="#i">d</hi><hi rendition="#sub">1</hi> <hi rendition="#i">e</hi><hi rendition="#sub">1</hi> + <hi rendition="#i">a</hi><hi rendition="#sub">1</hi> <hi rendition="#i">d</hi><hi rendition="#sub">1</hi> <hi rendition="#i">f</hi><hi rendition="#sub">1</hi> + <hi rendition="#i">a</hi><hi rendition="#sub">1</hi> <hi rendition="#i">e</hi><hi rendition="#sub">1</hi> <hi rendition="#i">f</hi><hi rendition="#sub">1</hi> + <hi rendition="#i">b</hi><hi rendition="#sub">1</hi> <hi rendition="#i">c</hi><hi rendition="#sub">1</hi> <hi rendition="#i">d</hi><hi rendition="#sub">1</hi> + <hi rendition="#i">b</hi><hi rendition="#sub">1</hi> <hi rendition="#i">c</hi><hi rendition="#sub">1</hi> <hi rendition="#i">e</hi><hi rendition="#sub">1</hi> + <hi rendition="#i">b</hi><hi rendition="#sub">1</hi> <hi rendition="#i">c</hi><hi rendition="#sub">1</hi> <hi rendition="#i">f</hi><hi rendition="#sub">1</hi> + <hi rendition="#i">b</hi><hi rendition="#sub">1</hi> <hi rendition="#i">d</hi><hi rendition="#sub">1</hi> <hi rendition="#i">e</hi><hi rendition="#sub">1</hi> +<lb/>
+ <hi rendition="#i">b</hi><hi rendition="#sub">1</hi> <hi rendition="#i">d</hi><hi rendition="#sub">1</hi> <hi rendition="#i">f</hi><hi rendition="#sub">1</hi> + <hi rendition="#i">b</hi><hi rendition="#sub">1</hi> <hi rendition="#i">e</hi><hi rendition="#sub">1</hi> <hi rendition="#i">f</hi><hi rendition="#sub">1</hi> + <hi rendition="#i">c</hi><hi rendition="#sub">1</hi> <hi rendition="#i">d</hi><hi rendition="#sub">1</hi> <hi rendition="#i">e</hi><hi rendition="#sub">1</hi> + <hi rendition="#i">c</hi><hi rendition="#sub">1</hi> <hi rendition="#i">d</hi><hi rendition="#sub">1</hi> <hi rendition="#i">f</hi><hi rendition="#sub">1</hi> + <hi rendition="#i">c</hi><hi rendition="#sub">1</hi> <hi rendition="#i">e</hi><hi rendition="#sub">1</hi> <hi rendition="#i">f</hi><hi rendition="#sub">1</hi> + <hi rendition="#i">d</hi><hi rendition="#sub">1</hi> <hi rendition="#i">e</hi><hi rendition="#sub">1</hi> <hi rendition="#i">f</hi><hi rendition="#sub">1</hi>) = 0.</item>
          </list><lb/>
          <p>In der That soll die Klasse der Fälle, wo es Mo. (oder Di.) ist und<lb/>
zugleich die Kinder <hi rendition="#i">a</hi>, <hi rendition="#i">b</hi>, <hi rendition="#i">c</hi>, <hi rendition="#i">d</hi> zusammen ausgehn, eine leere sein, was durch<lb/>
(Mo + Di) · <hi rendition="#i">a b c d</hi> = 0 auszudrücken; etc.; ebenso soll die Klasse der Zeiten<lb/>
eine leere sein, wo es Do. (oder Fr. oder Sa.) ist und die Kinder <hi rendition="#i">a</hi>, <hi rendition="#i">b</hi>, <hi rendition="#i">c</hi><lb/>
zusammen daheim bleiben, was durch (Do + Fr + Sa) <hi rendition="#i">a</hi><hi rendition="#sub">1</hi> <hi rendition="#i">b</hi><hi rendition="#sub">1</hi> <hi rendition="#i">c</hi><hi rendition="#sub">1</hi> = 0 sich aus-<lb/>
drücken wird, etc. Dass an den betreffenden Tagen nicht mehr als viere<lb/>
ausgehen, bezüglich nicht mehr als dreie daheim bleiben sollen, braucht<lb/>
nicht besonders formulirt zu werden, indem die aus dieser Formulirung zu<lb/>
unserm Ansatz hinzutretenden Terme ohnehin von den bereits angesetzten<lb/>
absorbirt werden müssten, wie <hi rendition="#i">a b c d e</hi> von <hi rendition="#i">a b c d</hi>, wie <hi rendition="#i">a</hi><hi rendition="#sub">1</hi> <hi rendition="#i">b</hi><hi rendition="#sub">1</hi> <hi rendition="#i">c</hi><hi rendition="#sub">1</hi> <hi rendition="#i">d</hi><hi rendition="#sub">1</hi> von <hi rendition="#i">a</hi><hi rendition="#sub">1</hi> <hi rendition="#i">b</hi><hi rendition="#sub">1</hi> <hi rendition="#i">c</hi><hi rendition="#sub">1</hi>, etc.</p><lb/>
          <p>Ferner ist zu bemerken, dass im Sinne der Aufgabenstellerin die<lb/>
Sämtlichen Kinder etwa in einer und derselben Pension untergebracht zu<lb/>
denken sind, sodass diejenigen, die daheim bleiben, dann auch &#x201E;beisammen&#x201C;<lb/>
bleiben, und diejenigen, welche ausgehen, dies ebenfalls &#x201E;zusammen&#x201C; thun.</p><lb/>
          <p>Die dritte Prämisse schliesst für gewisse Tage die Fälle aus, in<lb/>
welchen <hi rendition="#i">b</hi> und <hi rendition="#i">c</hi> beide aus oder beide daheim sind, falls nicht (oder<lb/>
&#x201E;ausgenommen&#x201C;, wenn) zugleich <hi rendition="#i">a</hi>, <hi rendition="#i">b</hi>, <hi rendition="#i">e</hi> und <hi rendition="#i">f</hi> beisammen bleiben. D. h.<lb/>
sie fordert:<lb/><hi rendition="#c">(Di + Mi + Sa) (<hi rendition="#i">b c</hi> + <hi rendition="#i">b</hi><hi rendition="#sub">1</hi> <hi rendition="#i">c</hi><hi rendition="#sub">1</hi>) (<hi rendition="#i">a b e f</hi> + <hi rendition="#i">a</hi><hi rendition="#sub">1</hi> <hi rendition="#i">b</hi><hi rendition="#sub">1</hi> <hi rendition="#i">e</hi><hi rendition="#sub">1</hi> <hi rendition="#i">f</hi><hi rendition="#sub">1</hi>)<hi rendition="#sub">1</hi> = 0.</hi><lb/>
Die Negation im letzten Faktor kann nach meinem Th. 46) als die-<lb/></p>
        </div>
      </div>
    </body>
  </text>
</TEI>

[549/0569] § 25. Anwendungsbeispiele und Aufgaben. 20) Am Do., Fr. und Sa. dürfen niemals dreie (oder mehr) daheim bleiben. 30) Am Di., Mi. und Sa. müssen, wenn b und c beisammen sind, auch a, b, e und f beisammen bleiben. 40) Am Mo. und Sa. darf b nicht ausgehen, wofern nicht d zuhause bleibt oder c, e und f zuhause bleiben. b und f beschliessen zuerst, was sie thun wollen, und c trifft seine Entscheidung vor a, d oder e. Zu ermitteln ist erstens, wann c ausgehen muss, zweitens, wann es daheim bleiben muss, mithin drittens auch, wann es verfahren kann nach seinem Gefallen. Auflösung. Man lasse a auch bedeuten die Klasse der Fälle oder Zeiten, in welchen das Kind a ausgeht, sonach a1 die Klasse der Fälle oder Zeiten, in welchen das Kind a daheim verweilt und so weiter. Ebenso lasse man Mo. bedeuten die Klasse der Fälle, in wel- chen „es Montag ist“, d. h. die Klasse der auf einen Montag fallenden Zeiten, u. s. w. Alsdann fordern die beiden ersten Vorschriften, dass sei: 10) (Mo + Di) (a b c d + a b c e + a b c f + a b d e + a b d f + a b e f + a c d e + + a c d f + a c e f + a d e f + b c d e + b c d f + b c e f + b d e f + c d e f) = 0, 20) (Do + Fr + Sa) (a1 b1 c1 + a1 b1 d1 + a1 b1 e1 + a1 b1 f1 + a1 c1 d1 + a1 c1 e1 + + a1 c1 f1 + a1 d1 e1 + a1 d1 f1 + a1 e1 f1 + b1 c1 d1 + b1 c1 e1 + b1 c1 f1 + b1 d1 e1 + + b1 d1 f1 + b1 e1 f1 + c1 d1 e1 + c1 d1 f1 + c1 e1 f1 + d1 e1 f1) = 0. In der That soll die Klasse der Fälle, wo es Mo. (oder Di.) ist und zugleich die Kinder a, b, c, d zusammen ausgehn, eine leere sein, was durch (Mo + Di) · a b c d = 0 auszudrücken; etc.; ebenso soll die Klasse der Zeiten eine leere sein, wo es Do. (oder Fr. oder Sa.) ist und die Kinder a, b, c zusammen daheim bleiben, was durch (Do + Fr + Sa) a1 b1 c1 = 0 sich aus- drücken wird, etc. Dass an den betreffenden Tagen nicht mehr als viere ausgehen, bezüglich nicht mehr als dreie daheim bleiben sollen, braucht nicht besonders formulirt zu werden, indem die aus dieser Formulirung zu unserm Ansatz hinzutretenden Terme ohnehin von den bereits angesetzten absorbirt werden müssten, wie a b c d e von a b c d, wie a1 b1 c1 d1 von a1 b1 c1, etc. Ferner ist zu bemerken, dass im Sinne der Aufgabenstellerin die Sämtlichen Kinder etwa in einer und derselben Pension untergebracht zu denken sind, sodass diejenigen, die daheim bleiben, dann auch „beisammen“ bleiben, und diejenigen, welche ausgehen, dies ebenfalls „zusammen“ thun. Die dritte Prämisse schliesst für gewisse Tage die Fälle aus, in welchen b und c beide aus oder beide daheim sind, falls nicht (oder „ausgenommen“, wenn) zugleich a, b, e und f beisammen bleiben. D. h. sie fordert: (Di + Mi + Sa) (b c + b1 c1) (a b e f + a1 b1 e1 f1)1 = 0. Die Negation im letzten Faktor kann nach meinem Th. 46) als die-

Suche im Werk

Informationen zum Werk

Titeldaten
Verfügbarkeit Text (TEI-XML-, HTML-, TCF-, E-Book-Fassung): CC BY-SA 4.0.
Nutzungsbedingungen

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

Resource/URL übermitteln

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/569
Zitationshilfe:	Schröder, Ernst: Vorlesungen über die Algebra der Logik. Bd. 1. Leipzig, 1890, S. 549. In: Deutsches Textarchiv <https://www.deutschestextarchiv.de/schroeder_logik01_1890/569>, abgerufen am 24.11.2024.

Alle Inhalte dieser Seite unterstehen, soweit nicht anders gekennzeichnet, einer Creative-Commons-Lizenz. Die Rechte an den angezeigten Bilddigitalisaten, soweit nicht anders gekennzeichnet, liegen bei den besitzenden Bibliotheken. Weitere Informationen finden Sie in den DTA-Nutzungsbedingungen.

Insbesondere im Hinblick auf die §§ 86a StGB und 130 StGB wird festgestellt, dass die auf diesen Seiten abgebildeten Inhalte weder in irgendeiner Form propagandistischen Zwecken dienen, oder Werbung für verbotene Organisationen oder Vereinigungen darstellen, oder nationalsozialistische Verbrechen leugnen oder verharmlosen, noch zum Zwecke der Herabwürdigung der Menschenwürde gezeigt werden. Die auf diesen Seiten abgebildeten Inhalte (in Wort und Bild) dienen im Sinne des § 86 StGB Abs. 3 ausschließlich historischen, sozial- oder kulturwissenschaftlichen Forschungszwecken. Ihre Veröffentlichung erfolgt in der Absicht, Wissen zur Anregung der intellektuellen Selbstständigkeit und Verantwortungsbereitschaft des Staatsbürgers zu vermitteln und damit der Förderung seiner Mündigkeit zu dienen.

2007–2024 Deutsches Textarchiv, Berlin-Brandenburgische Akademie der Wissenschaften. Kontakt: redaktion(at)deutschestextarchiv.de.

Zitierempfehlung: Deutsches Textarchiv. Grundlage für ein Referenzkorpus der neuhochdeutschen Sprache. Herausgegeben von der Berlin-Brandenburgischen Akademie der Wissenschaften, Berlin 2024. URL: https://www.deutschestextarchiv.de/.