Немецкий язык/Списки и таблицы/Таблица логических символов
| Symbol(e) | Name | Erklärung | Beispiel |
|---|---|---|---|
| kann gelesen werden als | |||
| Kategorie | |||
| Шаблон:Unicode | Materiale Implikation | A Шаблон:Unicode B bedeutet: Wenn A wahr ist, dann ist die Aussage wahr, wenn auch B wahr ist und falsch, wenn B falsch ist; wenn A falsch ist, ist die Aussage wahr, unabhängig davon, ob B wahr ist oder nicht.
Oder Übersetzt: A Шаблон:Unicode B bedeutet: Wenn A und B wahr ist, ist die Aussage wahr. Wenn A wahr und B falsch ist, ist die Aussage falsch. Wenn A falsch ist, ist die Aussage immer wahr unabhängig von B. → kann dasselbe bedeuten wie Шаблон:Unicode (das Symbol kann ebenfalls Definitions- und Wertebereich einer Funktion angeben). Шаблон:Unicode kann dasselbe bedeuten wie Шаблон:Unicode (das Symbol kann ebenfalls die Obermenge bezeichnen). |
"x = 2 Шаблон:Unicode x2 = 4" ist wahr, aber "x2 = 4 Шаблон:Unicode x = 2" ist falsch (da x auch −2 sein könnte). |
| wenn…, dann | |||
| Aussagenlogik | |||
| Шаблон:Unicode | Materiale Äquivalenz | A Шаблон:Unicode B bedeutet: Die Aussage ist wahr, wenn die Wahrheitswerte von A und B übereinstimmen und falsch, wenn sie nicht übereinstimmen. | "x + 5 = y +2 Шаблон:Unicode x + 3 = y" |
| genau dann, wenn | |||
| Aussagenlogik | |||
| Шаблон:Unicode | Negation | Die Aussage Шаблон:UnicodeA ist wahr genau dann wenn A falsch ist und falsch wenn A wahr ist.
Ein über einem anderen Operator gesetzter Querstrich bedeutet dasselbe wie ein vor der Aussage platziertes "Шаблон:Unicode". |
"Шаблон:Unicode(Шаблон:UnicodeA) Шаблон:Unicode A" "x ≠ y ⇔ ¬(x = y)" |
| nicht | |||
| Aussagenlogik | |||
| Шаблон:Unicode | Konjunktion | Die Aussage "A Шаблон:Unicode B" ist wahr genau dann wenn die Aussagen "A" und "B" beide wahr sind; in allen anderen Fällen ist sie falsch. | "n < 4 Шаблон:Unicode n >2 Шаблон:Unicode n = 3" ist wahr wenn n eine natürliche Zahl ist. |
| und | |||
| Aussagenlogik | |||
| Шаблон:Unicode | Disjunktion | Die Aussage "A Шаблон:Unicode B" ist wahr genau dann wenn "A" oder "B" oder beide wahr sind; sind beide falsch, ist auch die Aussage falsch. | "n ≥ 4 Шаблон:Unicode n ≤ 2 ⇔ n ≠ 3" ist wahr wenn n eine natürliche Zahl ist. |
| oder | |||
| Aussagenlogik | |||
| Шаблон:Unicode | Kontravalenz | Die Aussage "A Шаблон:Unicode B" ist wahr genau dann, wenn entweder "A" oder "B", aber nicht beide zugleich, wahr sind. "A Шаблон:Unicode B" ist dazu bedeutungsgleich. | "(¬A) Шаблон:Unicode A" ist immer wahr, "A Шаблон:Unicode A" immer falsch.
"(A Шаблон:Unicode B) Шаблон:Unicode ¬(A Шаблон:Unicode B)" |
| entweder… oder | |||
| Aussagenlogik, Boolesche Algebra | |||
| Шаблон:Unicode | Allquantor | "Шаблон:Unicode x: P(x)" bedeutet "P(x) ist wahr für alle x". | Шаблон:Unicode n Шаблон:Unicode N: n2 ≥ n. |
| für alle/ jedes | |||
| Prädikatenlogik | |||
| Шаблон:Unicode | Existenzquantor | "Шаблон:Unicode x: P(x)" bedeutet, dass es mindestens ein x gibt für das "P(x)" wahr ist. | Шаблон:Unicode n Шаблон:Unicode N: n ist gerade. |
| es gibt mindestens ein | |||
| Prädikatenlogik | |||
| Шаблон:Unicode | Einzelquantor | "Шаблон:Unicode x: P(x)" bedeutet, dass es genau ein x gibt für das P(x) wahr ist. | Шаблон:Unicode n Шаблон:Unicode N: n + 5 = 2n. |
| es gibt genau ein | |||
| Prädikatenlogik | |||
| Шаблон:Unicode | Definition | "x := y" oder "x ≡ y" bedeutet, dass x als eine andere Bezeichnung für y definiert ist (beachte bitte dass ≡ auch andere Bedeutungen haben kann, wie z. B. Kongruenz). "P :⇔ Q" bedeutet dass P als logisch äquivalent zu Q definiert ist. |
"cosh x := (1/2)(exp x + exp (−x))" "A XOR B Шаблон:Unicode (A Шаблон:Unicode B) Шаблон:Unicode ¬(A Шаблон:Unicode B)" |
| ist definiert als | |||
| alle Logiken | |||
| Шаблон:Unicode | Vorrangsgruppierung | Anweisung, die Operation innerhalb der Klammern zuerst auszuführen. | "(8/4)/2 = 2/2 = 1", aber "8/(4/2) = 8/2 = 4." |
| alle Logiken | |||
| Шаблон:Unicode | Ableitbarkeitsrelation | "x Шаблон:Unicode y" bedeutet, dass y aus x (syntaktisch) hergeleitet werden, d. h. mit den Schlussregeln eines Kalküls erzeugt werden kann. | "A → B Шаблон:Unicode ¬B → ¬A" |
| impliziert/ aus… folgt oder kann abgeleitet werden | |||
| alle Logiken | |||
| Шаблон:Unicode | Folgerungsbeziehung | "x y" bedeutet, dass y aus x (semantisch) folgt; für klassische Logik ist das genau dann der Fall, wenn jede Interpretation, unter der x wahr ist, auch für y wahr ist. | "A A Шаблон:Unicode ¬A" |
| impliziert/ aus… folgt oder kann abgeleitet werden | |||
| alle Logiken |