Logische Zeichen im Überblick
Zeichen | Name |
¬ | Negation |
∧ | Konjunktion |
∨ | Disjunktion |
⩒ | Kontravalenz |
→ | Implikation |
↔ | Äquivalenz |
⊥ | Falsum |
⊤ | Verum |
= | Identität |
x, y, z, … | Variablensymbole |
f, g, h, … | Funktionssymbole |
R, S, T, … | Relationssymbole |
c, d, e, … | Konstantensymbole |
∀ | Allquantor |
∃ | Existenzquantor |
∃! | eindeutiger Existenzquantor |
( | linke Klammer |
) | rechte Klammer |
Ausdruck | Lesart |
¬ A | nicht A, non A |
A ∧ B | A und B |
A ∨ B | A oder B |
A ⩒ B | entweder A oder B |
A → B | A impliziert B, aus A folgt B, wenn A so B, A ist hinreichend für B, B ist notwendig für A, A zieht B nach sich |
A ↔ B | A genau dann, wenn B, A ist äquivalent zu B |
∀x A(x) | für alle/jedes x gilt A(x) |
∃x A(x) | es gibt/existiert (mindestens) ein x mit A(x) |
∃!x A(x) | es gibt/existiert genau ein x mit A(x) |