GlossarWiki:Objektsprache: Unterschied zwischen den Versionen
aus GlossarWiki, der Glossar-Datenbank der Fachhochschule Augsburg
Kowa (Diskussion | Beiträge) |
Kowa (Diskussion | Beiträge) Keine Bearbeitungszusammenfassung |
||
| Zeile 4: | Zeile 4: | ||
==Nullstellige Junktoren== | ==Nullstellige Junktoren== | ||
Es gibt zwei nullstellige (konstante) [[Junktor]]en | Es gibt zwei nullstellige (konstante) [[Junktor]]en: | ||
{| class="wikitable" | {| class="wikitable" | ||
| Zeile 16: | Zeile 16: | ||
==Einstellige Junktoren== | ==Einstellige Junktoren== | ||
Es gibt zwei einstellige [[Junktor]]en | Es gibt zwei einstellige [[Junktor]]en: | ||
{| class="wikitable" style="float:left; margin-right:1em" | {| class="wikitable" style="float:left; margin-right:1em" | ||
| Zeile 34: | Zeile 34: | ||
==Zweistellige Junktoren== | ==Zweistellige Junktoren== | ||
Es gibt 10 zweistellige [[Junktor]]en | Es gibt 10 zweistellige [[Junktor]]en: | ||
{| class="wikitable" style="float:left; margin-right:1em" | {| class="wikitable" style="float:left; margin-right:1em" | ||
|- | |- | ||
Version vom 2. Februar 2016, 17:50 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.
Nullstellige Junktoren
Es gibt zwei nullstellige (konstante) Junktoren:
| Namen | Symbol | Wahrheitswerte |
|---|---|---|
| Verum | $\top$ | T (True) |
| Falsum | $\bot$ | F (False) |
Einstellige Junktoren
Es gibt zwei einstellige Junktoren:
| Namen | Symbol | Wahrheitswerte | |
|---|---|---|---|
| $ a $ T |
$ a $ F | ||
| Identität | $ {\rm{id}}(a) $ | T | F |
| Negation | $ {\lnot}a $ | F | T |
Zweistellige Junktoren
Es gibt 10 zweistellige Junktoren:
| Namen | Symbole | Wahrheitswerte | |||||||||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
|
|
|
| ||||||||||||||||||
| Konjunktion | $ a \wedge b $ | T | F | F | F | ||||||||||||||||
| Disjunktion, Adjunktion | $ a \vee b $ | T | W | W | F | ||||||||||||||||
| Subjunktion, Implikation | $ a \rightarrow b $ | T | F | T | T | ||||||||||||||||
| Konversion | $ a \leftarrow b $ | T | T | F | T | ||||||||||||||||
| Bijunktion | $ a \leftrightarrow b $ | T | F | F | T | ||||||||||||||||
| Sheffer-Strich, NAND | $ a \mid b $ | F | T | T | T | ||||||||||||||||
| Peirce-Funktion, NOR | $ a \overline\vee b $ | F | F | F | T | ||||||||||||||||
| Kontravalenz, XOR | $ a \not\leftrightarrow b $ | F | T | T | F | ||||||||||||||||
| Postsektion, Nur a | $ a \not\rightarrow b $ | F | T | F | F | ||||||||||||||||
| Präsektion, Nur b | $ a \not\leftarrow b $ | F | F | T | F | ||||||||||||||||
Die zweistelligen Operationen werden normalerweise in Infixnotationen ($a \wedge b$) und nicht in Präfixnotation ($\wedge(a,b)$) geschrieben.
