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
- ∅ Leermenge
- ∉ Kein Element von
- ≡ Identisch
- ∀ Allquantor
- ∊ Kleines Element von
- 𝔻 Definitionsmenge
- ∋ Enthält als Element
- ⊄ Keine Teilmenge
- ⊥ Falsum
- ∃ Existenzquantor
- ∌ Enthält nicht als Element
- ⟒ Element von nach oben geöffnet
- ⫙ Element von nach unten geöffnet
- ∍ Kleines enthält als Element
- ⊢ Folgerung
- ∃! Eindeutiger Existenzquantor
- ∄ Negierter Existenzquantor
- ⊨ Logische Folgerung
- ∴ Daher
- ∵ Weil
- ⊤ Tautologie