Version vom 10. Mai 2017, 16:33 Uhr

Inhaltsverzeichnis

Implikationen sind spezielle mathematische Aussagen, deren Typ sich kurz als wie folgt darstellen bzw. beschreiben lässt:

Die Aussage $a$ heißt in der Implikation $a \Rightarrow b$ Voraussetzung, die Aussage $b$ wird Behauptung genannt.

Wenn die Quersumme $\overline{a}$ einer natürlichen Zahl $a$ durch $3$ teilbar ist, dann ist auch die Zahl $a$ durch $3$ teilbar.

In Formelsprache: $\forall a \in \mathbb{N}: 3|\overline{a} \Rightarrow 3|a$

@@ Zeile 4: / Zeile 4: @@
 =Implikationen=
+==Generelle Kennzeichnung von Implikationen==
 Implikationen sind spezielle mathematische Aussagen, deren Typ sich kurz als wie folgt darstellen bzw. beschreiben lässt:
 * Wenn <math>a</math> dann <math>b</math>.
@@ Zeile 9: / Zeile 10: @@
 * <math>a</math> impliziert <math>b</math>.
 * <math>b</math> ist eine Folgerung aus <math>a</math>.
+* Unter der Voraussetzung, dass <math>a</math> gilt, gilt auch <math>b</math>.
+* <math>a</math> ist hinreichend dafür, dass <math>b</math> gilt.
 * <math>a \Rightarrow b</math>
+Die Aussage <math>a</math> heißt in der Implikation <math>a \Rightarrow b</math> Voraussetzung, die Aussage <math>b</math> wird Behauptung genannt.
 ==Beispiele==
 ===Teilbarkeit durch 3===