Implikationen SoSe 2017

Aus Geometrie-Wiki
Wechseln zu: Navigation, Suche

Inhaltsverzeichnis

Implikationen

Generelle Kennzeichnung von Implikationen

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

  • Wenn a dann b.
  • Aus a folgt b.
  • a impliziert b.
  • b ist eine Folgerung aus a.
  • Unter der Voraussetzung, dass a gilt, gilt auch b.
  • a ist hinreichend dafür, dass b gilt.
  • a \Rightarrow b

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

Beispiele

Implikation 1: Teilbarkeit durch 3

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
  • Voraussetzung: 3|\overline{a}
  • Behauptung: 3|a

Implikation 2: Teilbarkeit einer Summe

Für alle natürlichen Zahlen a,b,t gilt:
Wenn t die Zahlen a und b teilt, dann teilt t auch die Summe a+b.
In Formelsprache:
\forall a,b,t \in \mathbb{N}:
t|a \land t|b \Rightarrow t|(a+b)
  • Voraussetzung: Wir haben zwei Voraussetzungen die durch das logische und zu einer Voraussetzung zusammengefasst werden:
V1: t|a
V2: t|b
V: t|a \land t|b
  • Behauptung:
t|(a+b)