Junktor: Unterschied zwischen den Versionen
aus GlossarWiki, der Glossar-Datenbank der Fachhochschule Augsburg
Kowa (Diskussion | Beiträge) |
Kowa (Diskussion | Beiträge) Keine Bearbeitungszusammenfassung |
||
| Zeile 6: | Zeile 6: | ||
|conformance = 5 | |conformance = 5 | ||
}} | }} | ||
=Definition ([[Wolfgang Kowarschick|Kowarschick]])= | ==Definition ([[Wolfgang Kowarschick|Kowarschick]])== | ||
Unter einem [[Junktor]] ([[Aussageverknüpfung]], [[Aussagefunktor]]) versteht man einen [[Funktor]] mit dessen Hilfe | Unter einem [[Junktor]] ([[Aussageverknüpfung]], [[Aussagefunktor]]) versteht man einen [[Funktor]] mit dessen Hilfe | ||
[[endlich]] viele [[Aussage]]n zu einer neuen Aussage verknüpft werden. | [[endlich]] viele [[Aussage]]n zu einer neuen Aussage verknüpft werden. | ||
| Zeile 12: | Zeile 12: | ||
Ein Junktor heißt $n$-stellig, wenn er genau $n$ Aussagen zu einer neuen Aussage verknüpft. | Ein Junktor heißt $n$-stellig, wenn er genau $n$ Aussagen zu einer neuen Aussage verknüpft. | ||
=Definition (Brockhaus)<ref>{{Quelle|Brockhaus-Enzyklopädie (1990): Band 11 (IT-KIP)}}</ref>= | ==Definition (Brockhaus)<ref>{{Quelle|Brockhaus-Enzyklopädie (1990): Band 11 (IT-KIP)}}</ref>== | ||
''Logik:'' eine log. Partikel, mit deren Hilfe [[endlich]] viele [[Aussage]]n zu einer neuen Aussage verknüpft werden. Beispiele sind die | ''Logik:'' eine log. Partikel, mit deren Hilfe [[endlich]] viele [[Aussage]]n zu einer neuen Aussage verknüpft werden. Beispiele sind die | ||
[[Abjunktion]], die [[Adjunktion]], die [[Bijunktion]], die [[Konjunktion]], die [[Subbjunktion]] und die [[Negation]]. | [[Abjunktion]], die [[Adjunktion]], die [[Bijunktion]], die [[Konjunktion]], die [[Subbjunktion]] und die [[Negation]]. | ||
Alle zweistelligen J. lassen sich auf den [[Sheffer-Strich]] zurückführen. | Alle zweistelligen J. lassen sich auf den [[Sheffer-Strich]] zurückführen. | ||
=Definition (Bronstein, Semendjajew)<ref>{{Quelle|Bronstein, I. N.; Semendjajew, K.A. (1979): Taschenbuch der Mathematik}}, Seite 588</ref>= | ==Definition (Bronstein, Semendjajew)<ref>{{Quelle|Bronstein, I. N.; Semendjajew, K.A. (1979): Taschenbuch der Mathematik}}, Seite 588</ref>== | ||
Sind $A_1$, $A_2$ [[Aussage]]n, so lassen sich durch sprachliche Verbindungen daraus neue '''Aussagen''' gewinnen: | Sind $A_1$, $A_2$ [[Aussage]]n, so lassen sich durch sprachliche Verbindungen daraus neue '''Aussagen''' gewinnen: | ||
| Zeile 22: | Zeile 22: | ||
deren Wahrheitswert nur von den Wahrheitswerten der in ihnen vorkommenden Teilaussagen abhängt (''Externsionalitätsprünzip der Aussagenlogik''). | deren Wahrheitswert nur von den Wahrheitswerten der in ihnen vorkommenden Teilaussagen abhängt (''Externsionalitätsprünzip der Aussagenlogik''). | ||
=Anmerkungen= | ==Anmerkungen== | ||
Albert Menne nennt [[Funktor]]en, „Aussagen umformen oder verbinden zu einer neuen Aussage“ '''Aussagefunktoren'''.<ref>{{Quelle|Menne (1973)}}, S. 33</ref> Er unterscheidet zwischnen '''monadischen''' (einstelligen), '''dyadischen''' (zweistelligen) und '''triadischen''' (dreistelligen) Aussagefunktoren. Er weißt daraufhin, dass dyadische Aussagefunktoren von [[Paul Lorenzen]] '''Junktoren''' genannt werden.<ref>{{Quelle|Menne (1973)}}, S. 35</ref><ref>{{Quelle|Lorenzen (1958)}}</ref> | Albert Menne nennt [[Funktor]]en, „Aussagen umformen oder verbinden zu einer neuen Aussage“ '''Aussagefunktoren'''.<ref>{{Quelle|Menne (1973)}}, S. 33</ref> Er unterscheidet zwischnen '''monadischen''' (einstelligen), '''dyadischen''' (zweistelligen) und '''triadischen''' (dreistelligen) Aussagefunktoren. Er weißt daraufhin, dass dyadische Aussagefunktoren von [[Paul Lorenzen]] '''Junktoren''' genannt werden.<ref>{{Quelle|Menne (1973)}}, S. 35</ref><ref>{{Quelle|Lorenzen (1958)}}</ref> | ||
=Nullstellige Junktoren= | ==Nullstellige Junktoren== | ||
{| class="wikitable" | {| class="wikitable" | ||
| Zeile 37: | Zeile 37: | ||
|} | |} | ||
=Einstellige Junktoren= | ==Einstellige Junktoren== | ||
=Zweistellige Junktoren= | ==Zweistellige Junktoren== | ||
{| class="wikitable" | {| class="wikitable" | ||
|- | |- | ||
| Zeile 100: | Zeile 100: | ||
|} | |} | ||
=Quellen= | ==Quellen== | ||
<references /> | <references /> | ||
[[Kategorie:Logik]] | [[Kategorie:Logik]] | ||
Version vom 22. Juli 2014, 06:43 Uhr
Dieser Artikel erfüllt die GlossarWiki-Qualitätsanforderungen nur teilweise:
| Korrektheit: 5 (vollständig überprüft) |
Umfang: 3 (einige wichtige Fakten fehlen) |
Quellenangaben: 3 (wichtige Quellen vorhanden) |
Quellenarten: 5 (ausgezeichnet) |
Konformität: 5 (ausgezeichnet) |
Definition (Kowarschick)
Unter einem Junktor (Aussageverknüpfung, Aussagefunktor) versteht man einen Funktor mit dessen Hilfe endlich viele Aussagen zu einer neuen Aussage verknüpft werden.
Ein Junktor heißt $n$-stellig, wenn er genau $n$ Aussagen zu einer neuen Aussage verknüpft.
Definition (Brockhaus)[1]
Logik: eine log. Partikel, mit deren Hilfe endlich viele Aussagen zu einer neuen Aussage verknüpft werden. Beispiele sind die Abjunktion, die Adjunktion, die Bijunktion, die Konjunktion, die Subbjunktion und die Negation. Alle zweistelligen J. lassen sich auf den Sheffer-Strich zurückführen.
Definition (Bronstein, Semendjajew)[2]
Sind $A_1$, $A_2$ Aussagen, so lassen sich durch sprachliche Verbindungen daraus neue Aussagen gewinnen: „nicht $A_1$“, „$A_1$ und $A_2$“, „$A_1$ oder $A_2$“, „wenn $A_1$, so $A_2$“, „$A_1$ genau dann, wenn $A_2$“, deren Wahrheitswert nur von den Wahrheitswerten der in ihnen vorkommenden Teilaussagen abhängt (Externsionalitätsprünzip der Aussagenlogik).
Anmerkungen
Albert Menne nennt Funktoren, „Aussagen umformen oder verbinden zu einer neuen Aussage“ Aussagefunktoren.[3] Er unterscheidet zwischnen monadischen (einstelligen), dyadischen (zweistelligen) und triadischen (dreistelligen) Aussagefunktoren. Er weißt daraufhin, dass dyadische Aussagefunktoren von Paul Lorenzen Junktoren genannt werden.[4][5]
Nullstellige Junktoren
| Namen | Symbol | Wahrheitswerte |
|---|---|---|
| Verum | $ \top $ | W |
| Falsum | $ \bot $ | F |
Einstellige Junktoren
Zweistellige Junktoren
| Namen | Symbole | Wahrheitswerte | |||||||||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
|
|
|
| ||||||||||||||||||
| Konjunktion | $ a \wedge b $ | W | F | F | F | ||||||||||||||||
| Disjunktion, Adjunktion | $ a \vee b $ | W | W | W | F | ||||||||||||||||
| Subjunktion, Implikation | $ a \rightarrow b $ | W | F | W | W | ||||||||||||||||
| Konversion | $ a \leftarrow b $ | W | W | F | W | ||||||||||||||||
| Bijunktion | $ a \leftrightarrow b $ | W | F | F | W | ||||||||||||||||
| Sheffer-Strich, NAND | $ a \mid b $, $ a \barwedge b $ | F | W | W | W | ||||||||||||||||
| Peirce-Funktion, NOR | $ a \overline\vee b $ | F | F | F | W | ||||||||||||||||
| Kontravalenz, XOR | $ a \not\leftrightarrow b $, $ a \,\dot\vee\, b $ | F | W | W | F | ||||||||||||||||
| Postsektion, Nur a | $ a \not\rightarrow b $ | F | W | F | F | ||||||||||||||||
| Präsektion, Nur b | $ a \not\leftarrow b $ | F | F | W | F | ||||||||||||||||
Quellen
- ↑ Brockhaus (1990, IT-KIP): Brockhaus-Enzyklopädie: Band 11, IT-KIP; Auflage: 19; Verlag: F.A. Brockhaus GmbH; Adresse: Mannheim; ISBN: 3-7653-1111-1; 1990; Quellengüte: 5 (Buch)
- ↑ Bronstein, Semendjajew (1979): I. N. Bronstein und K. A. Semendjajew; Taschenbuch der Mathematik; Hrsg.: G. Grosche und V. Ziegler; Auflage: 19; Verlag: BSB B. G. Teubner Verlagsgesellschaft und Nauka-Verlag; Adresse: Leipzig, Moskau; ISBN: 3871444928; 1979; Quellengüte: 5 (Buch), Seite 588
- ↑ Menne (1973): Albert Menne; Einführung in die Logik; Reihe: Uni-Taschenbücher; Nummer: 34; Auflage: 2; Verlag: Francke Verlag; Adresse: München; ISBN: 3-7720-0005-3; 1973; Quellengüte: 5 (Buch), S. 33
- ↑ Menne (1973): Albert Menne; Einführung in die Logik; Reihe: Uni-Taschenbücher; Nummer: 34; Auflage: 2; Verlag: Francke Verlag; Adresse: München; ISBN: 3-7720-0005-3; 1973; Quellengüte: 5 (Buch), S. 35
- ↑ Lorenzen (1958): Paul Lorenzen; Formale Logik; Verlag: Walter de Gruyter GmbH; Adresse: Berlin; 1958; Quellengüte: 5 (Buch)
