Junktor: Unterschied zwischen den Versionen
Kowa (Diskussion | Beiträge) |
Kowa (Diskussion | Beiträge) |
||
| Zeile 44: | Zeile 44: | ||
! Namen !! Symbole !! colspan="2" | Wahrheitswerte | ! Namen !! Symbole !! colspan="2" | Wahrheitswerte | ||
|- | |- | ||
| | | || || style="text-align:center" | <math>a</math><br/>W || style="text-align:center" | <math>a</math><br/>F | ||
|- | |- | ||
| [[Identität]] || <math>\rm{id}(a)</math> || style="text-align:center" | W || style="text-align:center" | F | | '''[[Identität]]''' || <math>\rm{id}(a)</math> || style="text-align:center" | W || style="text-align:center" | F | ||
|- | |- | ||
| [[Negation]] || <math>\lnot a</math>, <math>{\sim}a</math>, <math>\overline a</math> || style="text-align:center" | F || style="text-align:center" | W | | '''[[Negation]]''' || <math>\lnot a</math>, <math>{\sim}a</math>, <math>\overline a</math> || style="text-align:center" | F || style="text-align:center" | W | ||
|- | |- | ||
|} | |} | ||
| Zeile 58: | Zeile 58: | ||
! Namen !! colspan="2" | Wahrheitswerte | ! Namen !! colspan="2" | Wahrheitswerte | ||
|- | |- | ||
| | | || style="text-align:center" | <math>a</math><br/>W || style="text-align:center" | <math>a</math><br/>F | ||
|- | |- | ||
| | | '''Verum''' || style="text-align:center" | W || style="text-align:center" | W | ||
|- | |- | ||
| | | '''Falsum''' || style="text-align:center" | F || style="text-align:center" | F | ||
|- | |- | ||
|} | |} | ||
Für diese Junktoren werden keine speziellen Symbole definiert. | Für diese Junktoren werden keine speziellen Symbole definiert. | ||
===Zweistellige Junktoren=== | ===Zweistellige Junktoren=== | ||
Version vom 22. Juli 2014, 09:12 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]
Junktoren
Nullstellige Junktoren
| Namen | Symbol | Wahrheitswerte |
|---|---|---|
| Verum | $ \top $ | W |
| Falsum | $ \bot $ | F |
Einstellige Junktoren
| Namen | Symbole | Wahrheitswerte | |
|---|---|---|---|
| $ a $ W |
$ a $ F | ||
| Identität | $ \rm{id}(a) $ | W | F |
| Negation | $ \lnot a $, $ {\sim}a $, $ \overline a $ | F | W |
Darüber hinaus gibt es zwei einstellige Junktoren, die die nullstelligen Junktoren nachbilden:
| Namen | Wahrheitswerte | |
|---|---|---|
| $ a $ W |
$ a $ F | |
| Verum | W | W |
| Falsum | F | F |
Für diese Junktoren werden keine speziellen Symbole definiert.
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 | ||||||||||||||||
Darüber hinaus gibt es sechs zweistellige Junktoren, die die nullstelligen und einstelligen Junktoren nachbilden:
| Namen | Wahrheitswerte | |||||||||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
|
|
|
| |||||||||||||||||
| Verum | W | W | W | W | ||||||||||||||||
| Falsum | F | F | F | F | ||||||||||||||||
| Identität von $ a $ | W | W | F | F | ||||||||||||||||
| Identität von $ b $ | W | F | W | F | ||||||||||||||||
| Negation von $ a $ | F | F | W | W | ||||||||||||||||
| Negation von $ b $ | F | W | F | W | ||||||||||||||||
Für diese Junktoren werden keine speziellen Symbole definiert.
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)
