Trainiert direkte und indirekte Beweise, Widerspruch, vollständige Induktion sowie das Arbeiten mit notwendigen und hinreichenden Bedingungen.
