Benutzer-Werkzeuge

Logische Symbole

Übersicht über die wichtigsten log­ischen Sym­bole mit Ver­weisen auf die dazu ge­hörigen Artikel.

Junktoren

Symbol Alternativen Kurzname Umschreibung Artikel
𝘈 𝘉 , if Wenn 𝘈, dann 𝘉 Subjunktion
𝘈 𝘉 , , ~ iff 𝘉 genau dann, wenn 𝘈 Bikonditional
𝘈 𝘉 &, , · and 𝘈 und 𝘉 Konjunktion
𝘈 𝘉 , + or 𝘈 oder 𝘉 [oder beides] Adjunktion
𝘈 𝘉 , , , , >< xor 𝘈 oder 𝘉 [aber nicht beides] Kontravalenz
¬ 𝘈 !, ̅◌, not nicht 𝘈 Negation

Siehe auch: Junktor

Quantoren

Symbol Alternativen Umschreibung Artikel
𝘈: ͓∧ Für alle 𝘈, gilt: Allsatz
𝘈: ͓∨ Es existiert [mindestens] ein 𝘈, für das gilt: Existenzsatz
𝘈: Es existiert kein 𝘈, für das gilt: Allsatz§Negativer Allsatz

Siehe auch: Quantor

Andere Symbole

Symbol Alternativen Umschreibung Artikel
A 1, true, wahr, A ist immer wahr Tautologie
A 0, false, falsch A ist imer 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 be­nutzt 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. Außer­dem be­stät­igen Sie, dass Sie unsere Daten­schutz­richt­linie ge­lesen und ver­standen haben. Wenn Sie damit nicht ein­ver­standen sind, ver­lassen Sie bitte die Web­site.

Weitere Information