Kontextualisierung logischer Sprache im Beweisen

Abstract

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.