Kategorie:Fachbereich Mathematik/Logische Strukturierungsvorlagen

Logische Strukturierungsvorlagen dienen dazu, die logische Struktur einer mathematischen Aussage und eines Beweises explizit kenntlich zu machen. Dies erlaubt es, unter der Verwendung zusätzlicher Anweisungen (die vom Seitennamen abhängen können), die logisch-semantische Struktur sichtbar(er) zu machen. Auf einen normalen Text haben sie keine Auswirkung. Mögliche Anwendungen sind:

• Aussagenstruktur deutlicher machen: Was ist die Voraussetzung, was ist die Folgerung?

• Beweisstruktur deutlicher machen: Wo wird in einem Widerspruchsbeweis die Annahme zum Widerspruch gebracht, wo wird eine Fallunterscheidung gemacht, wo werden dort die Fälle abgearbeitet, was ist die Induktionsvoraussetzung?

• Schlussregeln explizit machen.

• Wo gehen die Voraussetzungen eines Satzes im Beweis ein.