Konstruieren Sie einen Beweis Zeile für Zeile – jeder Schritt muss sich aus dem ergeben, was bereits im Hauptbuch steht, und jeder logische Sprung wird verworfen.
Der linke Bereich zeigt die Figur, die Vorgaben und das Ziel. Das Zentrum ist ein zweispaltiges Hauptbuch mit Erklärungen und Begründungen, das Sie erstellen. Fügen Sie aus dem Pool der Kandidatenschritte einen nach dem anderen hinzu. ein Schritt wird erst angenommen, wenn seine Voraussetzungen bereits nachgewiesen sind. Leiten Sie das Ziel zur Vervollständigung des Beweises ab.
Lemma lehrt strenge deduktive Beweise und beweist, dass jeder Schritt gerechtfertigt ist.
Aus einem Vorrat möglicher Schritte eine zweispaltige Aufstellung aus Aussage und Begründung zu bauen, ist der mathematische Beweis, wie er in der Geometrie gelehrt wird.
Die möglichen Schritte bereitzustellen, ist das originelle Gerüst.
Die Schritte anzubieten, nimmt den Teil weg, der größtenteils Erfindung ist, und lässt den Teil übrig, der größtenteils Logik ist: zu entscheiden, was woraus folgt und in welcher Reihenfolge. Ein Schritt, der wahr, aber noch nicht begründet ist, ist der typische Fehler, und er wird nur in der zweispaltigen Form sichtbar.
Lemma ist ein originelles kostenloses Browser-Logikspiel, das strenge deduktive Beweise lehrt und erzwingt, dass jede Behauptung durch vorherige Zeilen gerechtfertigt ist, genau wie es ein echter zweispaltiger Geometriebeweis erfordert.