Lemma

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.

• Klicken Sie auf einen Kandidatenschritt, um zu versuchen, ihn zum Hauptbuch hinzuzufügen
• Schritte werden gesperrt, bis ihre erforderlichen Zeilen festgelegt sind
• Ungültige Sprünge werden abgelehnt, manchmal mit einem Gegenbeispiel
• Erreichen Sie das Ziel in weniger Zeilen und mit weniger Hinweisen, um eine höhere Punktzahl zu erzielen

• Täglich: Ein fester Beweis, der jeden Tag geteilt wird
• Übung: neue randomisierte Probleme

• Desktop: Klicken Sie auf Schritte im Pool, um sie hinzuzufügen. Rückgängig, Hinweis und Neu befinden sich in der Symbolleiste
• Telefon und Tablet: Tippen Sie auf einen Schritt, um ihn hinzuzufügen, und tippen Sie auf die Symbolleistenschaltflächen (nur Maus oder Touch).

• Arbeiten Sie ausgehend von den Gegebenheiten vorwärts – suchen Sie nach dem Schritt, dessen Voraussetzungen Sie bereits im Hauptbuch haben
• Gehen Sie mit Hinweisen sparsam um; Jeder von ihnen platziert die nächste kanonische Linie, verringert jedoch Ihr Endergebnis

Lemma lehrt strenge deduktive Beweise und beweist, dass jeder Schritt gerechtfertigt ist.

• Fähigkeiten: deduktiver Beweis, formale Logik, mathematische Genauigkeit
• Geeignet für: weiterführende Schule/College
• Für Eltern und Lehrer: strenger deduktiver Beweis.

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.

Ein originelles, kostenloses Browserspiel — ohne Download. Alle Spiele ansehen →