Schröder, Ernst: Vorlesungen über die Algebra der Logik. Bd. 3, Abt. 1. Leipzig, 1895.§ 3. Die fundamentalen Festsetzungen über die 6 Spezies. binären Relativs, wie sie verbal unter (5) gegeben ist, von vornherein einerso weiten Auffassung begegnen, dass man sich bei (9) -- ähnlich wie auch schon bei (6) -- geneigt fühlen wird zu behaupten, diese Konventionen seien als ausdrückliche gar nicht mehr erforderlich, vielmehr als Selbst- verständlichkeiten bereits mit dem Übrigen gegeben. Ich will darüber mit niemand rechten. Der deutlichen und bequemen Bezugnahme halber em- pfiehlt es sich jedenfalls, beim Chiffriren der fundamentalen Konventionen liberal, freigebig zuwerke zu gehn und lieber eine zuviel als eine zuwenig aufzuführen. Auch von der Konvention (9) wird die Theorie imstande sein lange Eine dritte Gruppe von -- 6 -- fundamentalen Festsetzungen Dieselben lauten:
(12)
und sollen als allgemein, für jedes Suffix ij getroffene Vereinbarungen verstanden werden, was aussagenrechnerisch bei jeder von diesen Kon- ventionen -- ähnlich wie schon bei denen (6) .. (9) der vorigen Gruppe -- eigentlich auszudrücken wäre durch ein Zeichen Pi j, vorangeschrieben der alsdann in Klammern { } zu setzenden Aussage, durch welche vor- stehend die Konvention statuirt erscheint -- bei der letzten z. B. mittelst: Pi j{ai j = aj i}. Im Hinblick auf das unter (5) Gesagte definiren die drei ersten Weil nach bekannten Sätzen des Aussagenkalkuls -- vergleiche § 3. Die fundamentalen Festsetzungen über die 6 Spezies. binären Relativs, wie sie verbal unter (5) gegeben ist, von vornherein einerso weiten Auffassung begegnen, dass man sich bei (9) — ähnlich wie auch schon bei (6) — geneigt fühlen wird zu behaupten, diese Konventionen seien als ausdrückliche gar nicht mehr erforderlich, vielmehr als Selbst- verständlichkeiten bereits mit dem Übrigen gegeben. Ich will darüber mit niemand rechten. Der deutlichen und bequemen Bezugnahme halber em- pfiehlt es sich jedenfalls, beim Chiffriren der fundamentalen Konventionen liberal, freigebig zuwerke zu gehn und lieber eine zuviel als eine zuwenig aufzuführen. Auch von der Konvention (9) wird die Theorie imstande sein lange Eine dritte Gruppe von — 6 — fundamentalen Festsetzungen Dieselben lauten:
(12)
und sollen als allgemein, für jedes Suffix ij getroffene Vereinbarungen verstanden werden, was aussagenrechnerisch bei jeder von diesen Kon- ventionen — ähnlich wie schon bei denen (6) ‥ (9) der vorigen Gruppe — eigentlich auszudrücken wäre durch ein Zeichen Πi j, vorangeschrieben der alsdann in Klammern { } zu setzenden Aussage, durch welche vor- stehend die Konvention statuirt erscheint — bei der letzten z. B. mittelst: Πi j{ăi j = aj i}. Im Hinblick auf das unter (5) Gesagte definiren die drei ersten Weil nach bekannten Sätzen des Aussagenkalkuls — vergleiche <TEI> <text> <body> <div n="1"> <div n="2"> <p><pb facs="#f0043" n="29"/><fw place="top" type="header">§ 3. Die fundamentalen Festsetzungen über die 6 Spezies.</fw><lb/> binären Relativs, wie sie verbal unter (5) gegeben ist, von vornherein einer<lb/> so weiten Auffassung begegnen, dass man sich bei (9) — ähnlich wie auch<lb/> schon bei (6) — geneigt fühlen wird zu behaupten, diese Konventionen<lb/> seien als ausdrückliche gar nicht mehr erforderlich, vielmehr als Selbst-<lb/> verständlichkeiten bereits mit dem Übrigen gegeben. Ich will darüber mit<lb/> niemand rechten. Der deutlichen und bequemen Bezugnahme halber em-<lb/> pfiehlt es sich <hi rendition="#i">jedenfalls</hi>, beim Chiffriren der fundamentalen Konventionen<lb/><hi rendition="#i">liberal</hi>, freigebig zuwerke zu gehn und lieber eine zuviel als eine zuwenig<lb/> aufzuführen.</p><lb/> <p>Auch von der Konvention (9) wird die Theorie imstande sein lange<lb/> Zeit keinen wesentlichen Gebrauch zu machen.</p><lb/> <milestone rendition="#hr" unit="section"/> <p>Eine dritte Gruppe von — 6 — fundamentalen Festsetzungen<lb/><hi rendition="#g">definirt</hi> diejenigen binären Relative, welche aus gegebenen vermittelst<lb/> der in § 1 erwähnten sechs Spezies oder Grundrechnungsarten ableitbar<lb/> sind; sie erklärt die Resultate dieser 6 Operationen (<hi rendition="#i">an</hi> oder <hi rendition="#i">mit</hi> binären<lb/> Relativen) als wiederum binäre Relative.</p><lb/> <p>Dieselben lauten:<lb/> (10) <table><lb/><row><cell>(<hi rendition="#i">ab</hi>)<hi rendition="#i"><hi rendition="#sub">i j</hi></hi> = <hi rendition="#i">a<hi rendition="#sub">i j</hi>b<hi rendition="#sub">i j</hi></hi></cell><cell>(<hi rendition="#i">a</hi> + <hi rendition="#i">b</hi>)<hi rendition="#i"><hi rendition="#sub">i j</hi></hi> = <hi rendition="#i">a<hi rendition="#sub">i j</hi></hi> + <hi rendition="#i">b<hi rendition="#sub">i j</hi></hi></cell></row><lb/></table> (11) <formula/><lb/> (12) <table><lb/><row><cell>(<hi rendition="#i">a</hi> ; <hi rendition="#i">b</hi>)<hi rendition="#i"><hi rendition="#sub">i j</hi></hi> = <hi rendition="#i">Σ<hi rendition="#sub">h</hi>a<hi rendition="#sub">i h</hi>b<hi rendition="#sub">h j</hi></hi></cell><cell>(<hi rendition="#i">a</hi> ɟ <hi rendition="#i">b</hi>)<hi rendition="#i"><hi rendition="#sub">i j</hi></hi> = <hi rendition="#i">Π<hi rendition="#sub">h</hi></hi>(<hi rendition="#i">a<hi rendition="#sub">i h</hi></hi> + <hi rendition="#i">b<hi rendition="#sub">h j</hi></hi>)</cell></row><lb/></table> (13) <hi rendition="#et"><formula/>,</hi><lb/> und sollen als <hi rendition="#i">allgemein</hi>, <hi rendition="#i">für jedes</hi> Suffix <hi rendition="#i">ij</hi> getroffene Vereinbarungen<lb/> verstanden werden, was aussagenrechnerisch bei jeder von diesen Kon-<lb/> ventionen — ähnlich wie schon bei denen (6) ‥ (9) der vorigen Gruppe —<lb/> eigentlich auszudrücken wäre durch ein Zeichen <hi rendition="#i">Π<hi rendition="#sub">i j</hi></hi>, vorangeschrieben<lb/> der alsdann in Klammern { } zu setzenden Aussage, durch welche vor-<lb/> stehend die Konvention statuirt erscheint — bei der letzten z. B.<lb/> mittelst: <hi rendition="#i">Π<hi rendition="#sub">i j</hi></hi>{<hi rendition="#i">ă<hi rendition="#sub">i j</hi></hi> = <hi rendition="#i">a<hi rendition="#sub">j i</hi></hi>}.</p><lb/> <p>Im Hinblick auf das unter (5) Gesagte definiren die drei ersten<lb/> (10) und (11) von obigen Festsetzungen das <hi rendition="#i">identische Produkt a</hi> · <hi rendition="#i">b</hi><lb/> oder <hi rendition="#i">ab</hi>, ferner die <hi rendition="#i">identische Summe a</hi> + <hi rendition="#i">b</hi> zweier Relative <hi rendition="#i">a</hi> und <hi rendition="#i">b</hi>,<lb/> sowie endlich das <hi rendition="#i">Negat</hi> („die Negation“) <hi rendition="#i">ā</hi> (gelesen: <hi rendition="#i">a strich</hi>) eines<lb/> Relativs <hi rendition="#i">a</hi>.</p><lb/> <p>Weil nach bekannten Sätzen des Aussagenkalkuls — vergleiche<lb/> auch den Abacus (3) — obiges (<hi rendition="#i">ab</hi>)<hi rendition="#i"><hi rendition="#sub">i j</hi></hi> nur gleich 1 sein kann, wenn<lb/><hi rendition="#i">a<hi rendition="#sub">i j</hi> und b<hi rendition="#sub">i j</hi></hi> zugleich den Wert 1 haben, wogegen (<hi rendition="#i">a</hi> + <hi rendition="#i">b</hi>)<hi rendition="#i"><hi rendition="#sub">i j</hi></hi> allemal schon<lb/> gleich 1 sein wird, wenn <hi rendition="#i">a<hi rendition="#sub">i j</hi> oder b<hi rendition="#sub">i j</hi></hi> den Wert 1 besitzt, so sieht man,<lb/> dass das identische Produkt <hi rendition="#i">ab</hi> dasjenige Relativ sein wird, welches<lb/></p> </div> </div> </body> </text> </TEI> [29/0043]
§ 3. Die fundamentalen Festsetzungen über die 6 Spezies.
binären Relativs, wie sie verbal unter (5) gegeben ist, von vornherein einer
so weiten Auffassung begegnen, dass man sich bei (9) — ähnlich wie auch
schon bei (6) — geneigt fühlen wird zu behaupten, diese Konventionen
seien als ausdrückliche gar nicht mehr erforderlich, vielmehr als Selbst-
verständlichkeiten bereits mit dem Übrigen gegeben. Ich will darüber mit
niemand rechten. Der deutlichen und bequemen Bezugnahme halber em-
pfiehlt es sich jedenfalls, beim Chiffriren der fundamentalen Konventionen
liberal, freigebig zuwerke zu gehn und lieber eine zuviel als eine zuwenig
aufzuführen.
Auch von der Konvention (9) wird die Theorie imstande sein lange
Zeit keinen wesentlichen Gebrauch zu machen.
Eine dritte Gruppe von — 6 — fundamentalen Festsetzungen
definirt diejenigen binären Relative, welche aus gegebenen vermittelst
der in § 1 erwähnten sechs Spezies oder Grundrechnungsarten ableitbar
sind; sie erklärt die Resultate dieser 6 Operationen (an oder mit binären
Relativen) als wiederum binäre Relative.
Dieselben lauten:
(10) (ab)i j = ai jbi j (a + b)i j = ai j + bi j
(11) [FORMEL]
(12) (a ; b)i j = Σhai hbh j (a ɟ b)i j = Πh(ai h + bh j)
(13) [FORMEL],
und sollen als allgemein, für jedes Suffix ij getroffene Vereinbarungen
verstanden werden, was aussagenrechnerisch bei jeder von diesen Kon-
ventionen — ähnlich wie schon bei denen (6) ‥ (9) der vorigen Gruppe —
eigentlich auszudrücken wäre durch ein Zeichen Πi j, vorangeschrieben
der alsdann in Klammern { } zu setzenden Aussage, durch welche vor-
stehend die Konvention statuirt erscheint — bei der letzten z. B.
mittelst: Πi j{ăi j = aj i}.
Im Hinblick auf das unter (5) Gesagte definiren die drei ersten
(10) und (11) von obigen Festsetzungen das identische Produkt a · b
oder ab, ferner die identische Summe a + b zweier Relative a und b,
sowie endlich das Negat („die Negation“) ā (gelesen: a strich) eines
Relativs a.
Weil nach bekannten Sätzen des Aussagenkalkuls — vergleiche
auch den Abacus (3) — obiges (ab)i j nur gleich 1 sein kann, wenn
ai j und bi j zugleich den Wert 1 haben, wogegen (a + b)i j allemal schon
gleich 1 sein wird, wenn ai j oder bi j den Wert 1 besitzt, so sieht man,
dass das identische Produkt ab dasjenige Relativ sein wird, welches
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 ?Language Resource Switchboard?FeedbackSie haben einen Fehler gefunden? Dann können Sie diesen über unsere Qualitätssicherungsplattform DTAQ melden. Kommentar zur DTA-AusgabeDieses Werk wurde gemäß den DTA-Transkriptionsrichtlinien im Double-Keying-Verfahren von Nicht-Muttersprachlern erfasst und in XML/TEI P5 nach DTA-Basisformat kodiert.
|
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. |