Mathe für Nicht-Freaks: Aussagen formalisieren

{{#invoke:Mathe für Nicht-Freaks/Seite|oben}}

Wir möchten nun zeigen, wie Aussagen in natürlicher Sprache in die formale Schreibweise der Logik übersetzt und wie umgekehrt formale Ausdrücke in die natürliche Sprache umformuliert werden können. Hier kann wie beim Lernen einer Fremdsprache vorgegangen werden: Die einzelnen Wörter und Satzfragmente in natürlicher Sprache übersetzt man in die dazu äquivalente Form der Logik und umgekehrt. Dabei werden zur Übung auch Ausdrücke betrachtet, wie sie in der Analysis 1 betrachtet werden.

Vokabelliste

Die folgende Vokabelliste listet Satzfragmente in natürlicher Sprache mit ihren Übersetzungen in der formalen Ausdrucksweise der Logik gleich:

natürliche Sprache	formale Schreibweise
nicht $A$	$\mathrm{\neg }A$
$A$ und $B$	$A\wedge B$
$A$ oder $B$ („oder“ im Sinne von „und/oder“)	$A\vee B$
Wenn $A$, dann $B$	$A\Rightarrow B$
$B$ dann, wenn $A$
Aus $A$ folgt $B$
$A$ impliziert $B$
$A$ ist hinreichend für $B$
$B$ ist notwendig für $A$
Genau dann $A$, wenn $B$	$A⟺B$
Dann und nur dann $A$, wenn $B$
$A$ ist gleichwertig mit $B$
$A$ ist äquivalent zu $B$
$A$ ist notwendig und hinreichend für $B$
Für alle $x$ ist $A(x)$	$\mathrm{\forall }x:A(x)$
Jedes $x$ erfüllt $A(x)$
Es ist $A(x)$ für alle $x$
Für alle $x$ aus $M$ ist $A(x)$	$\mathrm{\forall }x\in M:A(x)$
Jedes $x$ der Menge $M$ erfüllt $A(x)$
Es ist $A(x)$ für alle $x\in M$
Für alle $x$ ab $3$ ist $A(x)$	$\mathrm{\forall }x\ge 3:A(x)$
Jedes $x$ größer oder gleich $3$ erfüllt $A(x)$
Es gibt ein $x$ mit $A(x)$	$\mathrm{\exists }x:A(x)$
Es existiert ein $x$, so dass $A(x)$ gilt
Für mindestens ein $x$ gilt $A(x)$
Es gibt ein $x$ aus $M$ mit $A(x)$	$\mathrm{\exists }x\in M:A(x)$
Für mindestens ein $x\in M$ gilt $A(x)$
Es gibt ein $x$ ab $3$ mit $A(x)$	$\mathrm{\exists }x\ge 3:A(x)$
Für wenigstens ein $x$ ab $3$ gilt $A(x)$
Es gibt genau ein $x$ mit $A(x)$	$\mathrm{\exists }!x:A(x)$
Es existiert genau ein $x$, so dass $A(x)$ gilt
Für genau ein $x$ gilt $A(x)$
Es gibt genau ein $x$ aus $M$ mit $A(x)$	$\mathrm{\exists }!x\in M:A(x)$
Für genau ein $x\in M$ gilt $A(x)$

Beispiele

Übersetzung von formaler in natürliche Sprache

Wir möchten dir an Beispielen zeigen, wie du die obige Vokabelliste anwenden kannst, um Aussagen aus der formalen in die natürliche Sprache zu übersetzen.

Übersetzung von natürlicher in formale Sprache

Bei der Übersetzung einer Aussage aus natürlicher Sprache in die formale Schreibweise gehen wir die umgekehrte Richtung der obigen beiden Beispiele. Auch hier kann mit Hilfe der Vokabelliste schrittweise die Aussage übersetzt werden. Gegebenenfalls müssen wir die Aussage zunächst umformulieren, damit die Regeln aus der Vokabelliste anwendbar sind. Das folgende Beispiel demonstriert eine solche Übersetzung:

Häufige Fehler beim Übersetzen

Aussage in natürlicher Sprache	Falsche Übersetzung	Richtige Übersetzung	Erklärung
$x$ und $y$ sind reelle Zahlen.	$x\wedge y\in ℝ$	$x,y\in ℝ$	Der Junktor $\wedge$ kann nur Aussagen miteinander verbinden.
Für alle natürlichen Zahlen $n$ und ganzen Zahlen $k$ gilt …	$\mathrm{\forall }n\in \mathbb{N}\wedge k\in \mathbb{Z}:\dots$	$\mathrm{\forall }n\in \mathbb{N}\mathrm{\forall }k\in \mathbb{Z}:\dots$	Wird „und“ für eine Aufzählung benutzt, dann darf es nicht mit $\wedge$ übersetzt werden.
Für alle $x$ mit $x<1$ gilt …	$\mathrm{\forall }x\mid x<1:\dots$	$\mathrm{\forall }x:(x<1\Rightarrow \dots )$ oder auch $\mathrm{\forall }x<1:\dots$	Das Symbol $\mid$ aus der Mengenschreibweise $\{x\mid A(x)\}$ kann nicht für Aussagen eingesetzt werden. Hier ist eine Implikation notwendig.
Es ist $|a_n|<ϵ$ für alle $n\ge N$.	$|a_n|<ϵ\mathrm{\forall }n\ge N$.	$\mathrm{\forall }n\ge N:|a_n|<ϵ$.	Die Quantoren müssen immer vor dem Ausdruck stehen, den sie quantifizieren.

{{#invoke:Mathe für Nicht-Freaks/Seite|unten}}