Transitivität der Teilbarkeit/Ableitung/Aufgabe

Formuliere mit dem zweistelligen Funktionssymbol $\cdot$ die Aussage, dass, wenn eine Zahl $a$ die Zahl $b$ teilt und $b$ die Zahl $c$ teilt, dann $a$ auch $c$ teilt.

Erstelle eine Ableitung für diese Aussage.

Eine Lösung erstellen