Implikationen
Generelle Kennzeichnung von Implikationen
Implikationen sind spezielle mathematische Aussagen, deren Typ sich kurz als wie folgt darstellen bzw. beschreiben lässt:
- Wenn
dann .
- Aus
folgt .
-
impliziert .
-
ist eine Folgerung aus .
- Unter der Voraussetzung, dass
gilt, gilt auch .
-
ist hinreichend dafür, dass gilt.
-
Die Aussage heißt in der Implikation Voraussetzung, die Aussage wird Behauptung genannt.
Beispiele
Implikation 1: Teilbarkeit durch 3
- Wenn die Quersumme
einer natürlichen Zahl durch teilbar ist, dann ist auch die Zahl durch teilbar.
- In Formelsprache:
- Voraussetzung:
- Behauptung:
Implikation 2: Teilbarkeit einer Summe
- Für alle natürlichen Zahlen
gilt:
- Wenn
die Zahlen und teilt, dann teilt auch die Summe .
- In Formelsprache:
![\forall a,b,t \in \mathbb{N}:](/images/math/7/2/4/72439d532ca33f890ebcf53dc626b965.png)
- Voraussetzung: Wir haben zwei Voraussetzungen die durch das logische und zu einer Voraussetzung zusammengefasst werden:
- V1:
- V2:
|