GlossarWiki:Objektsprache: Unterschied zwischen den Versionen
Kowa (Diskussion | Beiträge) Keine Bearbeitungszusammenfassung |
Kowa (Diskussion | Beiträge) Keine Bearbeitungszusammenfassung |
||
| Zeile 35: | Zeile 35: | ||
! Namen !! Symbol<br/>(Präfix)!! Symbol<br/>(Infix) !! colspan="4" style="border-left: 2px solid #000;" | Wahrheitswerte | ! Namen !! Symbol<br/>(Präfix)!! Symbol<br/>(Infix) !! colspan="4" style="border-left: 2px solid #000;" | Wahrheitswerte | ||
|- style="border-bottom: 2px solid #000;" | |- style="border-bottom: 2px solid #000;" | ||
| | |||
| | | | ||
| | | | ||
Version vom 2. August 2016, 08:53 Uhr
In diesem Wiki werden unterschiedliche formale mathematische Systeme beschrieben: Aussagenlogik, Prädikatenlogik, Klassenlogik, relationale Argebra etc. Nachfolgend werden die wichtigsten Symbole beschrieben, die in diesem Wiki zu Einsatz kommen.
Der zweiwertigen Logik liegen in diesem Wiki die beiden Wahrheitswerte T für TRUE/„wahr“ und F für FALSE/„falsch“ zugrunde.
Die Formeln der Objekt- un der Metaspache unterscheiden sich nicht. Falls es nötig sein sollte, zwischen
beiden Sprachen zu unterscheiden, werden Ausdrücke und Formeln in Anlenhnung an Gulbrecht et al. (1983)[1]
in Klammern $\ulcorner$ und $\urcorner$ gesetzt.
Junktoren
Es gibt zwei nullstellige (konstante), zwei einstellige und 10 zweistellige Junktoren:
| Namen | Symbol | Wahrheitswerte |
|---|---|---|
| Verum | $\top$ | T |
| Falsum | $\bot$ | F |
| Namen | Symbol | Wahrheitswerte | |
|---|---|---|---|
| $ a $ T |
$ a $ F | ||
| Identität | $ {\rm{id}}(a) $ | T | F |
| Negation | $ {\lnot}a $ | F | T |
| Namen | Symbol (Präfix) |
Symbol (Infix) |
Wahrheitswerte | |||||||||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
|
|
|
| |||||||||||||||||||
| Sheffer-Strich, NAND | $ \mid(a, b) $ | $ a \mid b $ | F | T | T | T | ||||||||||||||||
| Konjunktion, AND | $ \wedge(a, b) $ | $ a \wedge b $ | T | F | F | F | ||||||||||||||||
| Disjunktion, Adjunktion, OR | $ \vee(a, b) $ | $ a \vee b $ | T | W | W | F | ||||||||||||||||
| Peirce-Funktion, NOR | $ \overline\vee(a, b) $ | $ a \overline\vee b $ | F | F | F | T | ||||||||||||||||
| Subjunktion, Implikation | $ \rightarrow(a, b) $ | $ a \rightarrow b $ | T | F | T | T | ||||||||||||||||
| Postsektion, Nur a | $ \not\rightarrow(a, b) $ | $ a \not\rightarrow b $ | F | T | F | F | ||||||||||||||||
| Konversion | $ \leftarrow(a, b) $ | $ a \leftarrow b $ | T | T | F | T | ||||||||||||||||
| Präsektion, Nur b | $ \not\leftarrow(a, b) $ | $ a \not\leftarrow b $ | F | F | T | F | ||||||||||||||||
| Bijunktion | $ \leftrightarrow(a, b) $ | $ a \leftrightarrow b $ | T | F | F | T | ||||||||||||||||
| Kontravalenz, XOR | $ \not\leftrightarrow(a, b) $ | $ a \not\leftrightarrow b $ | F | T | T | F | ||||||||||||||||
Die zweistelligen Junktoren werden normalerweise in Infixnotation ($a \wedge b$) und nicht in Präfixnotation ($\wedge(a,b)$) geschrieben. Wenn dabei auf Klammern verzichtet wird, gilt die Rangfolge gemäß obiger Tabelle: $\wedge$ bindet enger als $\vee$ etc. Das heißt, $a \vee b \wedge c$ ist eine Abkürzung für $(a \vee (b \wedge c))$.
Die Präfixnotation kann für mehr als zwei Elemente verallgemeinert werden:
Analog gilt dies auch für alle anderen zweistelligen Junktoren.
Für die Konjunktion und die Disjunktion gibt es noch jeweils zwei weitere Abkürzungen:
| $\wedge() := \top$ | |
| $\wedge(a) := a$ | d.h. $a = \wedge(a) = \wedge(\wedge(), a)$, $\wedge(a, b) =\wedge(\wedge(\wedge(), a), b)$, $\wedge(a, b, c) = \wedge(\wedge( \wedge(\wedge(), a), b), c)$ etc. |
| $\vee() := \bot$ | |
| $\vee(a) := a$ | d.h. $a = \vee(a) = \vee(\vee(), a)$, $\vee(a, b) =\vee(\vee(\vee(), a), b)$, $\vee(a, b. c) =\vee(\vee(\vee(\vee(), a), b), c)$ etc. |
