Implikationen SoSe 2017

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$. $a \Rightarrow b$ Beispiele 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$