Über Lotto und die Transitivität: Der dunkle Lord und die Tabelle

Jetzt betreten wir die heiligen Hallen der formalen Beweise! Alles wird schön strukturiert aufgeschrieben - eine Tabelle hilft dabei! Übrigens: Schreibt auf jeden Fall den Beweis mit, damit ihr euch später daran orientieren könnt, wenn ihr ähnliche Aufgaben lösen sollt! Ein Mathe-MOOC-Video, produziert von Lutz Berger