Formalisieren der Aussage: Für jede ganze Zahl n gilt: Wenn n durch 3 und durch 2 teilbar ist, dann ist n …

Question

Aussagenlogik ist ein enormes Problem von mir. 
Kann mir jmd helfen die folgende Aussage zu Formalisieren?

„Für jede ganze Zahl n gilt: Wenn n durch 3 und durch 2 teilbar
ist, dann ist n ist durch 6 teilbar.“

Answer 1

∀n:(n≡0 mod 3 ∧ n≡0 mod 2)⇒n≡0 mod 6.