Schröder, Ernst: Vorlesungen über die Algebra der Logik. Bd. 2, Abt. 1. Leipzig, 1891.§ 32. Vom Gewicht der Aussagen. weil es rechtwinklige Dreiecke gibt, die Aussage also in gewissen Fällen-- nämlich sooft man sie anwendet auf ein wirklich rechtwinkliges Drei- eck A B G -- wahr sein wird, und doch ist auch A i, weil es auch nicht-rechtwinklige Dreiecke gibt, die unter A B G verstanden werden können. Für dergleichen Aussagen kann dann also auch das Th. e) mit allen Ebenso gelten die Formeln z), e) selbstverständlich nicht, wenn A ein Man ersieht hieraus von neuem, dass während die Formeln des Gebiete- Da nun nach Th. 30+) zum Beispiel sein muss: In Verbindung mit a) zeigt d), nach Def. (6), dass die Aussagen Durch Hinzuziehung noch anderer Äquivalenzen kann man die Noch andre Zurückführungen der vier Ausdrücke th) oder i) auf ein- 5*
§ 32. Vom Gewicht der Aussagen. weil es rechtwinklige Dreiecke gibt, die Aussage also in gewissen Fällen— nämlich sooft man sie anwendet auf ein wirklich rechtwinkliges Drei- eck Α Β Γ — wahr sein wird, und doch ist auch A ≠ i, weil es auch nicht-rechtwinklige Dreiecke gibt, die unter Α Β Γ verstanden werden können. Für dergleichen Aussagen kann dann also auch das Th. ε) mit allen Ebenso gelten die Formeln ζ), η) selbstverständlich nicht, wenn A ein Man ersieht hieraus von neuem, dass während die Formeln des Gebiete- Da nun nach Th. 3̅0̅+) zum Beispiel sein muss: In Verbindung mit α) zeigt δ), nach Def. (6̅), dass die Aussagen Durch Hinzuziehung noch anderer Äquivalenzen kann man die Noch andre Zurückführungen der vier Ausdrücke ϑ) oder ι) auf ein- 5*
<TEI> <text> <body> <div n="1"> <div n="2"> <div n="3"> <p><pb facs="#f0091" n="67"/><fw place="top" type="header">§ 32. Vom Gewicht der Aussagen.</fw><lb/> weil es rechtwinklige Dreiecke gibt, die Aussage also in gewissen Fällen<lb/> — nämlich sooft man sie anwendet auf ein wirklich rechtwinkliges Drei-<lb/> eck Α Β Γ — wahr sein wird, und doch ist auch<lb/><hi rendition="#c"><hi rendition="#i">A</hi> ≠ i,</hi><lb/> weil es auch nicht-rechtwinklige Dreiecke gibt, die unter Α Β Γ verstanden<lb/> werden können.</p><lb/> <p>Für dergleichen Aussagen kann dann also auch das Th. <hi rendition="#i">ε</hi>) mit allen<lb/> denen, die dasselbe mit bedingen und wenigstens einem Teil von den<lb/> Sätzen, die es nach sich zieht, <hi rendition="#i">nicht</hi> zutreffen.</p><lb/> <p>Ebenso gelten die Formeln <hi rendition="#i">ζ</hi>), <hi rendition="#i">η</hi>) selbstverständlich <hi rendition="#i">nicht</hi>, wenn <hi rendition="#i">A</hi> ein<lb/><hi rendition="#i">beliebiges Gebiet</hi> vorstellen sollte.</p><lb/> <p>Man ersieht hieraus von neuem, dass während die Formeln des Gebiete-<lb/> kalkuls sich ohne weiteres in solche des Aussagenkalkuls umdeuten liessen,<lb/> das Umgekehrte nicht der Fall ist, dass es vielmehr Formeln des Aussagen-<lb/> kalkuls gibt, die im Gebietekalkul nicht allgemein zutreffen. <hi rendition="#i">Der Gebiete-<lb/> kalkul ist allgemeiner, umfassender als der Aussagenkalkul,</hi> schliesst letzteren<lb/> als einen wirklich nur <hi rendition="#i">besonderen</hi> (partikularen) Fall in sich.</p><lb/> <p>Da nun nach Th. 3̅0̅<hi rendition="#sub">+</hi>) zum Beispiel sein muss:<lb/><hi rendition="#c">(<hi rendition="#i">A</hi> = 0) + (<hi rendition="#i">A</hi> = 0)<hi rendition="#sub">1</hi> = i, oder also: (<hi rendition="#i">A</hi> = 0) + (<hi rendition="#i">A</hi> ≠ 0) = i,</hi><lb/> so ergibt sich hieraus durch Einsetzung der dem zweiten Term linker-<lb/> hand nach <hi rendition="#i">ζ</hi>) äquivalenten Aussage sogleich: (<hi rendition="#i">A</hi> = 0) + (<hi rendition="#i">A</hi> = i) = i,<lb/> d. h. <hi rendition="#i">es ist</hi> auch <hi rendition="#i">das Th. δ</hi>) <hi rendition="#i">aus ε</hi>) <hi rendition="#i">bewiesen</hi>.</p><lb/> <p>In Verbindung mit <hi rendition="#i">α</hi>) zeigt <hi rendition="#i">δ</hi>), nach Def. (6̅), <hi rendition="#i">dass die Aussagen<lb/> A</hi> = 0 und <hi rendition="#i">A</hi> = i <hi rendition="#i">die Negationen von einander sind</hi>.</p><lb/> <p>Durch Hinzuziehung noch anderer Äquivalenzen kann man die<lb/> Formeln <hi rendition="#i">ζ</hi>), <hi rendition="#i">η</hi>) noch erweitern zu dem Tableau:<lb/> *<hi rendition="#i">ϑ</hi>) <hi rendition="#et">(<hi rendition="#i">A</hi><hi rendition="#sub">1</hi> ≠ i) = (<hi rendition="#i">A</hi> ≠ 0) = (<hi rendition="#i">A</hi> = i) = (<hi rendition="#i">A</hi><hi rendition="#sub">1</hi> = 0)</hi><lb/> *<hi rendition="#i">ι</hi>) <hi rendition="#et">(<hi rendition="#i">A</hi><hi rendition="#sub">1</hi> ≠ 0) = (<hi rendition="#i">A</hi> ≠ i) = (<hi rendition="#i">A</hi> = 0) = (<hi rendition="#i">A</hi><hi rendition="#sub">1</hi> = i)</hi><lb/> wo die rechts hinzugekommenen Ausdrücke sich durch beiderseitiges<lb/> Negiren nach Th. 32) aus dem vorhergehenden Ausdruck ergeben,<lb/> welcher ja selbst hier eine Gleichung ist. Nachdem somit die Gleich-<lb/> heit der drei letzten Ausdrücke in <hi rendition="#i">ϑ</hi>), <hi rendition="#i">ι</hi>) bereits erkannt ist, bleibt<lb/> nur noch der Hinzutritt des ersten Ausdrucks linkerhand daselbst zu<lb/> rechtfertigen. Setzt man aber in der mittleren Gleichung von einer<lb/> dieser beiden Zeilen <hi rendition="#i">A</hi><hi rendition="#sub">1</hi> für <hi rendition="#i">A</hi>, so wird dadurch die Verbindung zwischen<lb/> dem ersten und letzten Ausdruck der andern von diesen beiden Zeilen<lb/> hergestellt.</p><lb/> <p>Noch andre Zurückführungen der vier Ausdrücke <hi rendition="#i">ϑ</hi>) oder <hi rendition="#i">ι</hi>) auf ein-<lb/> ander würden sich nach dem Schema ergeben:<lb/><hi rendition="#c">(<hi rendition="#i">A</hi> ≠ <hi rendition="#i">B</hi>) = (<hi rendition="#i">A</hi><hi rendition="#sub">1</hi> ≠ <hi rendition="#i">B</hi><hi rendition="#sub">1</hi>)</hi><lb/> <fw place="bottom" type="sig">5*</fw><lb/></p> </div> </div> </div> </body> </text> </TEI> [67/0091]
§ 32. Vom Gewicht der Aussagen.
weil es rechtwinklige Dreiecke gibt, die Aussage also in gewissen Fällen
— nämlich sooft man sie anwendet auf ein wirklich rechtwinkliges Drei-
eck Α Β Γ — wahr sein wird, und doch ist auch
A ≠ i,
weil es auch nicht-rechtwinklige Dreiecke gibt, die unter Α Β Γ verstanden
werden können.
Für dergleichen Aussagen kann dann also auch das Th. ε) mit allen
denen, die dasselbe mit bedingen und wenigstens einem Teil von den
Sätzen, die es nach sich zieht, nicht zutreffen.
Ebenso gelten die Formeln ζ), η) selbstverständlich nicht, wenn A ein
beliebiges Gebiet vorstellen sollte.
Man ersieht hieraus von neuem, dass während die Formeln des Gebiete-
kalkuls sich ohne weiteres in solche des Aussagenkalkuls umdeuten liessen,
das Umgekehrte nicht der Fall ist, dass es vielmehr Formeln des Aussagen-
kalkuls gibt, die im Gebietekalkul nicht allgemein zutreffen. Der Gebiete-
kalkul ist allgemeiner, umfassender als der Aussagenkalkul, schliesst letzteren
als einen wirklich nur besonderen (partikularen) Fall in sich.
Da nun nach Th. 3̅0̅+) zum Beispiel sein muss:
(A = 0) + (A = 0)1 = i, oder also: (A = 0) + (A ≠ 0) = i,
so ergibt sich hieraus durch Einsetzung der dem zweiten Term linker-
hand nach ζ) äquivalenten Aussage sogleich: (A = 0) + (A = i) = i,
d. h. es ist auch das Th. δ) aus ε) bewiesen.
In Verbindung mit α) zeigt δ), nach Def. (6̅), dass die Aussagen
A = 0 und A = i die Negationen von einander sind.
Durch Hinzuziehung noch anderer Äquivalenzen kann man die
Formeln ζ), η) noch erweitern zu dem Tableau:
*ϑ) (A1 ≠ i) = (A ≠ 0) = (A = i) = (A1 = 0)
*ι) (A1 ≠ 0) = (A ≠ i) = (A = 0) = (A1 = i)
wo die rechts hinzugekommenen Ausdrücke sich durch beiderseitiges
Negiren nach Th. 32) aus dem vorhergehenden Ausdruck ergeben,
welcher ja selbst hier eine Gleichung ist. Nachdem somit die Gleich-
heit der drei letzten Ausdrücke in ϑ), ι) bereits erkannt ist, bleibt
nur noch der Hinzutritt des ersten Ausdrucks linkerhand daselbst zu
rechtfertigen. Setzt man aber in der mittleren Gleichung von einer
dieser beiden Zeilen A1 für A, so wird dadurch die Verbindung zwischen
dem ersten und letzten Ausdruck der andern von diesen beiden Zeilen
hergestellt.
Noch andre Zurückführungen der vier Ausdrücke ϑ) oder ι) auf ein-
ander würden sich nach dem Schema ergeben:
(A ≠ B) = (A1 ≠ B1)
5*
Suche im WerkInformationen zum Werk
Download dieses Werks
XML (TEI P5) ·
HTML ·
Text Metadaten zum WerkTEI-Header · CMDI · Dublin Core Ansichten dieser Seite
Voyant Tools
|
URL zu diesem Werk: | https://www.deutschestextarchiv.de/schroeder_logik0201_1891 |
URL zu dieser Seite: | https://www.deutschestextarchiv.de/schroeder_logik0201_1891/91 |
Zitationshilfe: | Schröder, Ernst: Vorlesungen über die Algebra der Logik. Bd. 2, Abt. 1. Leipzig, 1891, S. 67. In: Deutsches Textarchiv <https://www.deutschestextarchiv.de/schroeder_logik0201_1891/91>, abgerufen am 15.08.2024. |