Sprache, Logik und Beweisen
Laura Monz, Lukas Wachter
Universität des Saarlandes, Deutschland
Im Beitrag wird das Zusammenspiel von Sprache und Logik im Rahmen des Beweisens im Unterricht der Primar- und Sekundarstufe betrachtet. Zunächst werden sprachliche und logische Besonderheiten im Mathematikunterricht näher beleuchtet und anhand der Mehrdeutigkeit logischer Operatoren exemplarisch veranschaulicht. Zur parallelen Behandlung von Logik und Beweisen wird die informatisch-algorithmische Sprachform vorgeschlagen. Eine mögliche Konkretisierung mathematischer Logik im Rahmen des Beweisens von Teilbarkeitsregeln durch Programmierung wird abschließend vorgestellt.