Benutzer-Werkzeuge

Logische Symbole

Übersicht über die wichtigsten logischen Symbole mit Verweisen auf die dazu gehörigen Artikel.

Junktoren

Symbol Alternativen Kurzname Umschreibung Artikel
A B , , , , , if „Wenn A, dann B Konditional
A B , , , , ~, ≻≺ iff B genau dann, wenn A Bikonditional
A B &, , · and A und B Konjunktion
A B , + or A oder B [oder beides]“ Adjunktion
A B , , , , >< xor A oder B [aber nicht beides]“ Kontravalenz
¬ A !, ‾‾, not „nicht B Negation

Siehe auch: Junktor

Quantoren

Symbol Alternativen Umschreibung Artikel
A: B ͓∧ „Für alle A gilt, dass B Allsatz
A: B ͓∨ „Es existiert [mindestens] ein A, für welches B gilt“ Existenzsatz
A: B „Es existiert kein A, für welches B gilt“ Allsatz§Negativer Allsatz

Siehe auch: Quantor

Vergleiche

Symbol Alternativen Umschreibung Artikel
A B , , , A ist logisch äquivalent zu B Logische Äquivalenz
(siehe auch Bikonditional und Kontravalenz)
A B , A ist nicht logisch äquivalent zu B

Andere Symbole

Symbol Alternativen Umschreibung Artikel
A wahr, true, 1, A ist immer wahr“ Tautologie
A falsch, false, 0A ist immer falsch“ Kontradiktion
A , „daraus folgt: A

Mathematische Symbole

Nur solche Symbole, welche auch im Rahmen von Artikeln auf dieser Site verwendet werden, werden hier aufgelistet:

Symbol Alternativen Umschreibung Artikel
{}, , Ø, 𝛷, 0 , ε, Λ Leere Menge Leermenge

Weitere Informationen

Diese Web­site verwendet Cookies. Durch die Nutz­ung der Web­site er­klären Sie sich mit der Speich­er­ung von Cookies auf Ihrem Com­puter ein­ver­standen. Darüber hinaus be­stät­igen Sie, dass Sie unsere Daten­schutzbestimm­ungen ge­lesen und ver­standen haben. Wenn Sie damit nicht ein­ver­standen sind, ver­lassen Sie bitte die Web­site.

Weitere Information