Implikationen SoSe 2017

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 $ Behauptung: $ t|(a+b) $