Implikationen SoSe 2017

Implikationen Beispiele Teilbarkeit durch 3 Wenn die Quersumme $\bar{a}$einer natürlichen Zahl $a$ durch $3$ teilbar ist, dann ist auch die Zahl $a$ durch $3$ teilbar. In Formelsprache: $\mathrm{\forall }a\in \mathbb{\mathbb{N}}:3|\bar{a}\Rightarrow 3|a$