Implikationen SoSe 2017

Implikationen 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 $