Logikzeichen
Die Kategorie Logikzeichen umfasst Symbole, die in der Mathematik und Informatik zur Darstellung logischer Operationen und Beziehungen verwendet werden. Dazu zählen Zeichen wie beispielsweise UND, ODER, NICHT und IMPLIKATION, die in logischen Ausdrücken und Algorithmen eingesetzt werden.
- ∈ Element von
- ≙ Entspricht
- ∧ Logisches Und
- ∨ Logisches Oder
- ¬ Negation
- ∀ Allquantor
- ∅ Leermenge
- ∃ Existenzquantor
- ≡ Identisch
- ∉ Kein Element von
- ∊ Kleines Element von
- ⊢ Folgerung
- ⊄ Keine Teilmenge
- ∄ Negierter Existenzquantor
- ⊥ Falsum
- ∋ Enthält als Element
- 𝔻 Definitionsmenge
- ⊨ Logische Folgerung
- ⊤ Tautologie
- ∌ Enthält nicht als Element
- ⟒ Element von nach oben geöffnet
- ∃! Eindeutiger Existenzquantor
- ∍ Kleines enthält als Element
- ∴ Daher
- ∵ Weil
- ⫙ Element von nach unten geöffnet
- ∎ Beweisende
- ⌐ Gespiegeltes Negationszeichen
- ⌙ Gedrehtes Negationszeichen
- ⊣ Umgekehrtes Folgerungszeichen
- ⊦ Behauptungszeichen
- ⊧ Modellzeichen
- ⊩ Erzwingungszeichen
- ⊪ Dreifaches Erzwingungszeichen
- ⊫ Doppeltes Modellzeichen
- ⊬ Beweist nicht
- ⊭ Gilt nicht
- ⊮ Erzwingt nicht
- ⊯ Verneintes doppeltes Modellzeichen
- ⊸ Lineare Implikation
- ⊻ Ausschließendes Oder
- ⊼ Nicht-Und-Zeichen
- ⊽ Nicht-Oder-Zeichen
- ⋀ Großes Und-Zeichen
- ⋁ Großes Oder-Zeichen
- ⋎ Geschwungenes Oder-Zeichen
- ⋏ Geschwungenes Und-Zeichen
- ℩ Gedrehtes Iota
- ⅋ Gedrehtes Et-Zeichen