logik.rst

Logik

Die (Aussagen-)Logik ist für sämtliche Teilbereiche der Mathematik von grundlegender Bedeutung.

Satz, Aussage

Satz und Aussage

Lässt sich einem Satz A ein Wahrheitswert (w = wahr oder f = falsch) eindeutig zuordnen, so wird dieser Satz zu einer Aussage.

Als Darstellungsform für den Wahrheitswert von Aussagen wählt man häufig so genannte "Wahrheitstafeln". Dabei werden spaltenweise die Wahrheitswerte der in der Kopfzeile angegebenen Aussage(n) aufgelistet.

${\color{white}f}A{\color{white}f}$

${\color{white}f}w{\color{white}f}$

${\color{white}f}f{\color{white}f}$

Beispiele:

• Der Satz "1 + 2 = 3" ist eine wahre Aussage.
• Der Satz "9 ist eine Primzahl" ist eine falsche Aussage.
• Der Satz "Die Donau fließt ins schwarze Meer" ist eine wahre Aussage.
• Der Satz "Es ist spät" ist keine Aussage, da ihm kein Wahrheitswert zugeordnet werden kann.

Ein Satz ist auch dann eine Aussage, wenn sein Wahrheitswert zum gegebenen Zeitpunkt nicht feststellbar ist. Beispielsweise handelt es sich bei dem Satz "Am 3. April 1650 regnete es in Berlin." ebenfalls um eine Aussage, auch wenn sich ihr Wahrheitswert mit großer Wahrscheinlichkeit nicht mehr feststellen lässt.

Aussage; Negation

Negation einer Aussage

Durch Verneinen einer Aussage A entsteht eine Aussage ¬A, die Negation der Aussage A genannt wird. Da der konkrete Wahrheitswert einer negierten Aussage ¬A stets vom Wahrheitswert der eigentlichen Aussage A abhängt, hat die entsprechende Wahrheitstafel zwei Spalten.

${\color{white}f}A{\color{white}f}$	${\color{white}f}\neg A{\color{white}f}$
${\color{white}f}w{\color{white}f}$	${\color{white}ff}f{\color{white}f}$
${\color{white}f}f{\color{white}f}$	${\color{white}ff}w{\color{white}f}$

Die Negation einer wahren Aussage ist falsch, die einer falschen ist wahr; insbesondere entspricht die doppelte Negation einer Aussage ¬(¬A) der ursprünglichen Aussage A.

Beispiele:

• A: "Die Geraden g und h schneiden sich."
• ¬A: "Die Geraden g und h schneiden sich nicht."
• ¬(¬A): "Es ist nicht wahr, dass die Geraden g und h sich nicht schneiden."

Verknüpfungen von Aussagen

Mit Hilfe von Bindewörtern wie "und", "oder", "genau dann, wenn" usw. lassen sich mehrere (Teil-)Aussagen zu einer zusammengesetzten Aussage verknüpfen. In der Logik lassen sich mit Hilfe der folgenden Aussage-Funktionen zwei (oder mehrere) Aussagen zu einer neuen Aussage formen.

Aussage; Konjunktion

Die Konjunktion

Verknüpft man zwei Aussagen A₁ und A₂ durch das Wort "und", so entsteht die Konjunktion der Aussagen A₁ und A₂, symbolisch mit A₁ ∧ A₂ bezeichnet.

Wahrheitstafel der Konjunktion

${\color{white}f}A_1{\color{white}f}$	${\color{white}f}A_2{\color{white}f}$	${\color{white}f}A_1 \wedge A_2{\color{white}f}$
${\color{white}f}w{\color{white}f}$	${\color{white}f}w{\color{white}f}$	${\color{white}fff}w{\color{white}f}$
${\color{white}f}w{\color{white}f}$	${\color{white}f}f{\color{white}f}$	${\color{white}fff}f{\color{white}f}$
${\color{white}f}f{\color{white}f}$	${\color{white}f}w{\color{white}f}$	${\color{white}fff}f{\color{white}f}$
${\color{white}f}f{\color{white}f}$	${\color{white}f}f{\color{white}f}$	${\color{white}fff}f{\color{white}f}$

Eine Konjunktion zweier Aussagen ist somit nur wahr, wenn beide (Teil-)Aussagen wahr sind.

Beispiele:

• Die Konjunktion der wahren Aussage A₁ "8 ist eine gerade Zahl" mit der falschen Aussage A₂ "8 ist durch 3 teilbar" ist die falsche Aussage A₁ ∧ A₂ : "8 ist eine gerade Zahl und durch 3 teilbar".
• Die falsche Aussage "Der Mars ist ein Gasplanet und hat eine größere Masse als die Erde" ist eine Konjunktion der falschen Aussagen "Der Mars ist ein Gasplanet" und "Der Mars hat eine größere Masse als die Erde".

single: Aussage; Adjunktion

Die Adjunktion

Verknüpft man zwei Aussagen A₁ und A₂ durch das Wort "oder", so entsteht die Adjunktion der Aussagen A₁ und A₂, symbolisch mit A₁ ∨ A₂ bezeichnet.

Wahrheitstafel der Adjunktion

${\color{white}f}A_1{\color{white}f}$	${\color{white}f}A_2{\color{white}f}$	${\color{white}f}A_1 \vee A_2{\color{white}f}$
${\color{white}f}w{\color{white}f}$	${\color{white}f}w{\color{white}f}$	${\color{white}fff}w{\color{white}f}$
${\color{white}f}w{\color{white}f}$	${\color{white}f}f{\color{white}f}$	${\color{white}fff}w{\color{white}f}$
${\color{white}f}f{\color{white}f}$	${\color{white}f}w{\color{white}f}$	${\color{white}fff}w{\color{white}f}$
${\color{white}f}f{\color{white}f}$	${\color{white}f}f{\color{white}f}$	${\color{white}fff}f{\color{white}f}$

Die Adjunktion ist somit wahr, wenn eine der beiden Aussagen wahr ist (oder beide wahr sind).

Beispiele:

• Die Adjunktion der wahren Aussage 0 < 1 und der falschen Aussage 0 = 1 ist die wahre Aussage 0 ≤ 1.
• Die wahre Aussage: "Entweder ist die Erde ein Würfel oder die Sonne ist ein Stern" ist eine Adjunktion der falschen Aussage: "Die Erde ist ein Würfel" und der wahren Aussage: "Die Sonne ist ein Stern".

Aussage; Implikation

Die Implikation

Verknüpft man zwei Aussagen A₁ und A₂ durch das Wort "dann", so entsteht die Implikation der Aussagen A₁ und A₂, symbolisch mit A₁ ⇒ A₂ bezeichnet.

Wahrheitstafel der Implikation

${\color{white}f}A_1{\color{white}f}$	${\color{white}f}A_2{\color{white}f}$	${\color{white}f}A_1 \Rightarrow A_2{\color{white}f}$
${\color{white}f}w{\color{white}f}$	${\color{white}f}w{\color{white}f}$	${\color{white}fff}w{\color{white}f}$
${\color{white}f}w{\color{white}f}$	${\color{white}f}f{\color{white}f}$	${\color{white}fff}f{\color{white}f}$
${\color{white}f}f{\color{white}f}$	${\color{white}f}w{\color{white}f}$	${\color{white}fff}w{\color{white}f}$
${\color{white}f}f{\color{white}f}$	${\color{white}f}f{\color{white}f}$	${\color{white}fff}w{\color{white}f}$

Die Implikation ist wahr, wenn beide Aussagen A₁ und A2 wahr sind oder wenn die erste Aussage A₁ falsch ist.¹ Formal erhält man eine identische Wahrheitstafel, wenn man die Implikation (¬A₂) ⇒ (¬A₁) bildet.²³

Beispiele:

• Die Aussage "Wenn 2 < 1 ist, dann ist 3 < 2" ist wahr, obwohl sie eine Implikation zweier falscher (Teil-)Aussagen ist.
• Die Implikation der wahren Aussage "Die Lichtgeschwindigkeit beträgt annähernd $\unit[300\,000]{km/s}$" und der falschen Aussage "Die Schallgeschwindigkeit ist größer als die Lichtgeschwindigkeit“ ist die falsche Aussage "Die Schallgeschwindigkeit beträgt mehr als $\unit[300\,000]{km/s}$".

Äquivalenz, Aussage; Äquivalenz

Äquivalenz zweier Aussagen

Verknüpft man zwei Aussagen A₁ und A₂ durch die Wortkombination "dann, und nur dann", so entsteht die Äquivalenz der Aussagen A₁ und A₂, symbolisch mit A2 ⇔ A₂ bezeichnet.

Wahrheitstafel der Äquivalenz

${\color{white}f}A_1{\color{white}f}$	${\color{white}f}A_2{\color{white}f}$	${\color{white}f}A_1 \Leftrightarrow A_2{\color{white}f}$
${\color{white}f}w{\color{white}f}$	${\color{white}f}w{\color{white}f}$	${\color{white}fff}w{\color{white}f}$
${\color{white}f}w{\color{white}f}$	${\color{white}f}f{\color{white}f}$	${\color{white}fff}f{\color{white}f}$
${\color{white}f}f{\color{white}f}$	${\color{white}f}w{\color{white}f}$	${\color{white}fff}f{\color{white}f}$
${\color{white}f}f{\color{white}f}$	${\color{white}f}f{\color{white}f}$	${\color{white}fff}w{\color{white}f}$

Die Äquivalenz zweier Teilaussagen ist nur wahr, wenn entweder beide Teilaussagen wahr oder beide falsch sind.⁴

Beispiele:

• Die wahre Aussage "Im rechtwinkligen Dreieck gilt der Höhensatz" äquivalent verknüpft mit der falschen Aussage "Im rechtwinkligen Dreieck sind alle Seiten gleich lang" ergibt die falsche Aussage "Im rechtwinkligen Dreieck sind dann und nur dann alle Seiten gleich lang, wenn der Höhensatz gilt".
• Die Äquivalenzverknüpfung der falschen Aussage "Das Kilogramm ist eine Längeneinheit" mit der wahren Aussage "Tausend Meter ergeben einen Kilometer" ist die falsche Aussage "Das Kilogramm ist dann und nur dann eine Längeneinheit, wenn tausend Meter einen Kilometer ergeben".

Aussage; Kontravalenz

Kontravalenz zweier Aussagen

Verknüpft man zwei Aussagen A₁ und A₂ durch das Wort "entweder oder" im ausschließenden Sinn, so entsteht die Kontravalenz der Aussagen A₁ und A₂, mit mit $A_1 \dot{\vee} A_2$ bezeichnet.

Wahrheitstafel der Kontravalenz

${\color{white}f}A_1{\color{white}f}$	${\color{white}f}A_2{\color{white}f}$	${\color{white}f}A_1 \, \dot{\vee} \, A_2{\color{white}f}$
${\color{white}f}w{\color{white}f}$	${\color{white}f}w{\color{white}f}$	${\color{white}fff}f{\color{white}f}$
${\color{white}f}w{\color{white}f}$	${\color{white}f}f{\color{white}f}$	${\color{white}fff}w{\color{white}f}$
${\color{white}f}f{\color{white}f}$	${\color{white}f}w{\color{white}f}$	${\color{white}fff}w{\color{white}f}$
${\color{white}f}f{\color{white}f}$	${\color{white}f}f{\color{white}f}$	${\color{white}fff}f{\color{white}f}$

Die Kontravalenz zweier Teilaussagen ist nur dann wahr, wenn genau eine der beiden (Teil-)Aussagen wahr ist. Damit ist sie formal, wie ihr Name bereits andeutet, mit der Negation der Äquivalenz identisch.

Beispiel:

• Verknüpft man die wahre Aussage "Der Zug fährt nach München" kontravalent mit der falschen Aussage "Der Zug fährt nach Frankfurt", so ergibt sich die wahre Aussage "Der Zug fährt entweder nach München oder nach Frankfurt".

Regeln zu den Aussagenverknüpfungen

Zwischen den Aussagen beziehungsweise ihren Verknüpfungen sind folgende Äquivalenzen definiert, von denen einige eine formale Ähnlichkeit mit den Regeln für das Rechnen mit Zahlen haben:

• Kommutativgesetz:

$$\begin{aligned} A_1 \wedge A_2 \Leftrightarrow A_2 \wedge A_1 \\\ A_1 \vee A_2 \Leftrightarrow A_2 \vee A_1 \end{aligned}$$

• Assoziativgesetz:

$$\begin{aligned} (A_1 \wedge A_2) \wedge A_3 \Leftrightarrow A_1 \wedge (A_2 \wedge A_3) \\\ (A_1 \vee A_2) \vee A_3 \Leftrightarrow A_1 \vee (A_2 \vee A_3) \end{aligned}$$

• Distributivgesetz:

$$\begin{aligned} A_1 \wedge (A_2 \vee A_3) \Leftrightarrow (A_1 \wedge A_2) \vee (A_2 \wedge A_3) \\\ A_1 \vee (A_2 \wedge A_3) \Leftrightarrow (A_1 \vee A_2) \wedge (A_2 \vee A_3) \end{aligned}$$

Hinzu kommen folgende Regeln, die bisweilen für Beweisverfahren sowie in der Informatik nützlich sind:

• Regeln von de Morgan:

$$\begin{aligned} \neg (A_1 \wedge A_2) \Leftrightarrow (\neg A_1) \vee (\neg A_2) \\\ \neg (A_1 \vee A_2) \Leftrightarrow (\neg A_1) \wedge (\neg A_2) \end{aligned}$$

• Absorptionsgesetz:

$$\begin{aligned} A_1 \wedge (A_1 \vee A_2) \Leftrightarrow A_1 \\\ A_1 \vee (A_1 \wedge A_2) \Leftrightarrow A_1 \end{aligned}$$

• Idempotenzgesetz:

$$\begin{aligned} A \wedge A \Leftrightarrow A\\\ A \vee A \Leftrightarrow A\\\ \end{aligned}$$

Tautologie

• Komplementgesetz:

$$\begin{aligned} A_1 \vee (\neg A_2 \wedge A_2 ) \Leftrightarrow A \\\ A_1 \wedge (\neg A_2 \vee A_2 ) \Leftrightarrow A \end{aligned}$$

Dabei wird die Verknüpfung (¬A) ∨ A auch "Tautologie" genannt; sie ist stets wahr.⁵

Variable

Variablen, Terme und Aussageformen

Eine Variable ist ein Symbol für ein beliebiges Element aus einer vorgegebenen Grundmenge. Darüber hinaus gelten für das Rechnen mit Variablen keine besonderen Regeln oder Gesetze.

Term

Ein Term ist eine Bezeichnung zum einen für ein einzelnes mathematisches Objekt (beispielsweise $\pm \frac{1}{2} ,\, \pi ,\, \sqrt{3}$), zum anderen auch für eine Aneinanderreihung mehrerer Konstanten, Variablen, Klammern und Rechenoperatoren (beispielsweise 2 ⋅ (x² − 1), x ∈ ℝ).⁶ Terme enthalten allerdings kein Relationszeichen, sie sind somit weder wahr noch falsch.

Aussageform

Eine Aussageform enthält neben (mindestens) einer Variablen und (mindestens) einem Term stets ein Relationszeichen -- beispielsweise x ≥ 1 oder x₁ ⋅ x₂ = 0. Um allerdings einer Aussageform auch einen Wahrheitswert zuordnen zu können, müssen zunächst alle auftretenden Variablen durch konkrete Elemente aus der Grundmenge ersetzt werden. Ebenso wie Aussagen lassen sich mehrere Aussageformen durch logische Verknüpfungen zu neuen Aussageformen kombinieren.

Die Abhängigkeit einer Aussageform von einer oder mehreren Variablen x₁, x₂, … wird in der Form A(x₁, x₂, …) ausgedrückt. Dabei lassen sich Aussageformen in drei Arten unterteilen:

• Wird eine von einer Variablen x abhängige Aussageform A(x) für jedes beliebige x aus einer Grundmenge X erfüllt, so bezeichnet man die Aussageform A(x) als allgemeingültig bezüglich X.
• Existiert mindestens ein x aus der Grundmenge X, das die Aussageform A(x) erfüllt, so bezeichnet man die Aussageform A(x) als erfüllbar bezüglich X.
• Existiert kein x aus der Grundmenge X, das die Aussageform A(x) erfüllt, so bezeichnet man die Aussageform A(x) als unerfüllbar bezüglich X.

Aussageformen werden insbesondere in der Algebra als Gleichungen <Gleichungen> und Ungleichungen <Ungleichungen> behandelt.

Quantor

'Für alle' und 'Es gibt'

Aussageformen können -- neben dem Einsetzen von konkreten Objekten für die auftretenden Variablen -- auch auf eine zweite Art und Weise zu Aussagen gemacht werden: Der Quantifizierung.

• Eine allgemeine Aussageform A(x) wird zu einer "Existenz-Aussage", wenn folgende Forderung erfüllt ist:

  "Es existiert (mindestens) ein Element x aus der Grundmenge X", für das die Aussageform A(x) wahr ist."

  Verkürzend kann eine Existenz-Aussage mit Hilfe des so genannten "Existenz-Quantors" ∃ formuliert werden: Anstelle von "Es existiert (mindestens) ein x" kann auch kurz ∃x geschrieben werden.

• Eine allgemeine Aussageform A(x) wird zu einer "Universal-Aussage", wenn folgende Forderung erfüllt ist:

  "Für jedes Element x aus der Grundmenge X" ist die Aussageform A(x) wahr."

  Verkürzend kann eine Universal-Aussage mit Hilfe des so genannten "All-Quantors" ∀ formuliert werden: Anstelle von "Für alle x" kann auch kurz ∀x geschrieben werden.

Während eine Existenz-Aussage ∃x​ : A(x) wahr ist, wenn die zugrunde liegende Aussageform A(x) auch nur für ein konkretes x erfüllt wird, so kann im umgekehrten Fall eine Universal-Aussage ∀x​ : A(x) bereits durch den Existenz-Nachweis eines einzigen "Gegenbeispiels" ∃x​ : ¬A(x) als falsch widerlegt werden.⁷⁸

Beweis

Direkte und indirekte Beweise

Die formalen Regeln der Logik können auch genutzt werden, um mittels bereits als wahr nachgewiesener Aussageformen Schlussfolgerungen auf neue Gesetzmäßigkeiten ziehen zu können. Auf diese Art gewonnene Lehrsätze (auch "Theoreme" oder kurz "Sätze" genannt) stellen das Grundgerüst der mathematischen Theorie dar.

Neben bereits bekannten Lehrsätzen werden auch so genannte Definitionen genutzt, um neue Sätze beweisen zu können. Beim Definieren wird ein Begriff durch die Festlegung wesentlicher, gemeinsamer Merkmale eindeutig bestimmt und von anderen Begriffen unterschieden. Definitionen sind weder wahr noch falsch, sie dienen vielmehr als Abkürzungen für unhandliche Formulierungen. Als Definitionszeichen für mathematische Terme verwendet man das Zeichen :=, eine Kurzschreibweise für "ist nach Definition gleich".

Für die eigentlichen "Beweise" sind u.a. folgende aussagenlogische Schlussregeln möglich:

Beweis; durch Implikation

• Schlussfolgerung aus einer Implikation:

  Gilt eine Aussage A₁ und ist die Implikation A₁ ⇒ A₂ wahr, so ist auch A₂ eine wahre Aussage. Kurz formuliert ist somit der aussagenlogische Ausdruck [A₁ ∧ (A₁ ⇒ A₂)] ⇒ A₂ allgemeingültig.

Beweis; durch Negation

• Schlussfolgerung aus einer Negation:

  Der aussagenlogische Ausdruck ¬(¬A) ⇒ A ist allgemeingültig. Eine Aussage kann somit bewiesen werden, indem man die Negation der Aussage widerlegt.

Bei direkten Beweisen wird, ausgehend von gültigen Voraussetzungen und unter Verwendung von zulässigen Schlussregeln, nach endlich vielen Schritten direkt auf die Behauptung gefolgert. Bei indirekten Beweisen hingegen wird die Negation der Behauptung zu den Voraussetzungen hinzugenommen.

Induktionsbeweis, Beweis; durch Induktion

Die vollständige Induktion

Die vollständige Induktion ist ein häufig genutztes Verfahren zum direkten Beweisen einer Aussage. Die logische Schlussfolgerung beruht dabei auf drei Schritten:

1. Mit dem "Induktionsanfang" wird gezeigt, dass eine Aussageform A(x) für ein (beliebig wählbaren) Wert x = n gültig ist.
2. Die "Induktionsannahme" besteht darin, dass die Aussageform A(x) für ein bestimmtes n gültig ist.
3. Mit dem "Induktionsschluss", einem "Beweis im Beweis", wird gezeigt, dass aus der Gültigkeit der Aussage A(n) auch die Gültigkeit der Aussage A(n + 1) folgt, in Kurzschreibweise A(n) ⇒ A(n + 1).

Beispiel:

• Mit Hilfe der vollständigen Induktion soll bewiesen werden, dass für alle natürlichen Zahlen n gilt:

  
  $$1 + 2 + \ldots + n = \frac{n \cdot (n + 1)}{2}$$
  

  1. Induktionsanfang: Für n₀ = 1 gilt:

  
  $$1 = \frac{1 \cdot 2}{2} = 1 \quad \checkmark$$
  

  2. Induktionsannahme: Für eine beliebige Zahl n₀ gilt die Aussageform

  
  $$1 + 2 + \ldots n_0 = \frac{n_0 \cdot (n_0 + 1)}{2}$$
  

  3. Induktionsschluss: n₀ ⇒ n₀ + 1

  
  $$\begin{aligned} 1 + 2 + \ldots + n_0 + (n_0 + 1) &= \frac{n_0 \cdot (n_0 + 1)}{2} + (n_0 + 1) \\[4pt] &= \frac{1}{2} \cdot n_0 \cdot (n_0 + 1) + (n_0 + 1) = (n_0 + 1) \cdot \left( \frac{1}{2} \cdot n_0 + 1 \right) \\[6pt] &= (n_0 + 1) \cdot \frac{1}{2} \cdot (n_0 + 2) = \frac{(n \end{aligned}$$
  

  _0 + 1) cdot (n_0 + 2)}{2} \[6pt]

  &= frac{(n_0 + 1) cdot ((n_0 + 1) + 1)}{2} quad checkmark

  Aus der Richtigkeit der Aussageform für n₀ folgt somit auch die Richtigkeit der Annahme für n₀ + 1. Somit ist die Aussageform für alle n ≥ 1 wahr.

---

html

Anmerkungen:

---

Hint

Zu diesem Abschnitt gibt es Übungsaufgaben <Aufgaben Logik>.

---

1. Der letztere Fall wird bisweilen auch als "Ex falso quodlibet" bezeichnet -- aus einer falschen Annahme folgt Beliebiges.↩

2. Die vorschnelle Annahme, dass aus A₁ ⇒ A₂ auch (¬A₁) ⇒ (¬A₂) folge, ist hingegen falsch.

   Ein anschauliches Beispiel hierfür ist die Aussage A₁ ⇒ A₂ "Wenn es regnet, dann ist es bewölkt." Die Aussage (¬A₁) ⇒ (¬A₂) würde lauten "Wenn es nicht regnet, dann ist es nicht bewölkt", was offensichtlich falsch ist. Die Aussage (¬B) ⇒ (¬A) "Wenn es nicht bewölkt ist, dann regnet es nicht" ist hingegen richtig.

   Man sagt daher auch, dass A₁ notwendig für A₂ sei und dass A₂ hinreichend für A₁ sei.↩

3. Es existiert sogar eine dritte Darstellungsweise der Implikation, und zwar (¬A₁) ∨ A₂. Dies lässt anhand der Wahrheitstabelle der Adjunktion <tab-adjunktion> überprüfen, indem man für A₁ die jeweils entgegengesetzten Wahrheitswerte annimmt und das Ergebnis der so gebildeten Adjunktion mit der Wahrheitstabelle der Implikation <tab-implikation> vergleicht.↩

4. Formal erhält man eine identische Wahrheitstafel, wenn man die beiden Implikationen (A₁) ⇒ (A₂) und (A₂) ⇒ (A₁) bildet und durch eine Konjunktion miteinander verknüpft. Es gilt also:

   
   (A₁ ⇔ A₂) ⇔ ((A₁ ⇒ A₂) ∧ (A₂ ⇒ A₁))
   ↩

5. Das Gegenteil der Tautologie, die Aussage A ∧ (¬A), heißt Kontradiktion; sie ist für jede beliebige Aussagen A stets falsch.↩

6. Setzt man für die in Termen auftretenden Variablen konkrete mathematische Objekte des Grundbereichs ein, so ergibt sich ein neuer mathematischer Ausdruck; beispielsweise ergibt der Term 8 ⋅ x − 10 für x = 1 den Wert  − 2.↩

7. In Zusammenhang mit den Quantoren ∃ und ∀ stellt der folgende Doppelpunkt : eine Kurzschreibweise für "so dass gilt:" beziehungsweise "gilt:" dar.↩

8. Auch kombinierte Quantifizierungs-Aussagen sind möglich, beispielsweise "Für jeden Menschen m existiert ein Tag t, so dass die Aussageform A(m, t) erfüllt ist: m hat am Tag t Geburtstag". Als Kurzform kann für diese (wahre) Aussage ∀m ∃t​ : A(m, t) geschrieben werden.↩