Logik-Symbole & Emojis
Willkommen zu unserer Sammlung von Logik-Symbolen und Emojis. Kopiere sie mit einem Klick und füge sie in deine Nachrichten, Social-Media-Beiträge oder Profile ein.
Logik-Emojis
¬ Nicht (Negation)
∧ Logisches UND (Konjunktion)
∨ Logisches ODER (Disjunktion)
→ Implikation (Rechter Pfeil)
← Konverse Implikation
↔ Genau dann, wenn (Bikonditional)
⇒ Impliziert (Doppelpfeil)
⇐ Wird impliziert von
⇔ Äquivalent zu
∴ Daher
∵ Weil
∀ Für alle (Allquantor)
∃ Es existiert (Existenzquantor)
∄ Es existiert nicht
≔ Definiert als (Doppelpunkt Gleich)
≝ Definitionsgemäß gleich
≡ Identisch mit
∈ Element von
∉ Kein Element von
⊂ Teilmenge von
⊃ Obermenge von
∪ Vereinigungsmenge
∩ Schnittmenge
∅ Leere Menge
∖ Mengendifferenz
⊤ Tautologie (Top/Wahr)
⊥ Kontradiktion (Bottom/Falsch)
⊢ Turnstile (Beweist)
⊨ Doppel-Turnstile (Modelle)
∎ q.e.d. (Ende des Beweises)
⊦ Behauptung
⊬ Beweist nicht
Ästhetische Logik-Symbole
∴ I AM Daher bin ich
∀ ALWAYS Für alle (Für immer)
∅ EMPTY Leere Menge Seele
A → B Direkter Weg
≠ SAME Ungleich
u ∈ me Element von (Zugehörigkeit)
U ∪ I Vereinigungsmenge (Zusammen)
≡ REAL Identisch/Wahr
∵ REASONS Weil...
∃ HOPE Es existiert Hoffnung
Q.E.D. ∎ Ende des Beweises
P ⇒ Q Implikationslogik
¬ FAKE Nicht/Negation
∞ ↔ ∞ Unendliche Schleife
∧ v ∧ Logik-Puls
⊢ PROVEN Turnstile-Beweis
⊥ BOTTOM Kontradiktion/Falsch
⊤ TOP Tautologie/Wahr
:: ≔ :: Definitionsrahmen