Wirelogic

Das Brett beginnt mit Ihren Prämissenblöcken und einem Ziel. Wählen Sie eine Inferenzregel aus der Palette aus und klicken Sie dann auf die benötigten Eingabeblöcke. Wenn sie passen, leitet die Regel einen neuen Block ab, der mit ihren Eingängen verbunden ist. Verketten Sie Regeln, bis Sie das Ziel ableiten. Um eine Implikation zu beweisen, fügen Sie eine Annahme hinzu und entladen Sie diese mit der Implikationseinführung.

• Wählen Sie eine Regel wie Modus Ponens, Und-Einführung oder Und-Eliminierung
• Klicken Sie auf die Eingabeblöcke, um einen neuen Vorschlag abzuleiten
• Fügen Sie eine Annahme hinzu, um eine Implikation zu beweisen, und wenden Sie dann die Implikationseinführung an
• Erreiche das Ziel in möglichst wenigen Regeln, um das Par zu schlagen

• Täglich: ein festes Rätsel, das jeden Tag geteilt wird
• Übung: neue, zufällige Rätsel

• Desktop: Klicken Sie auf eine Regel und dann auf Eingabeblöcke auf der Leinwand. Zur Verfügung stehen die Optionen „Rückgängig“, „Regel aufheben“, „Board löschen“ und „Neu“.
• Telefon und Tablet: Tippen Sie auf eine Regel und dann auf die Blöcke, um sie zu vernetzen (nur Maus oder Touch).

• Arbeiten Sie vom Ziel aus rückwärts, um zu sehen, welche Regel es erzeugt, und leiten Sie dann die Eingaben dieser Regel ab
• Wenn es sich bei dem Ziel um eine Implikation handelt, gehen Sie frühzeitig davon aus, dass es eine Vorgeschichte gibt, und streben Sie danach, die Konsequenz abzuleiten, bevor Sie loslegen

Wirelogic basiert auf natürlicher Deduktion und verwandelt formale Beweisregeln in ein Verdrahtungsrätsel.

• Fähigkeiten: natürliche Deduktion, formale Logik, Beweisregeln
• Geeignet für: weiterführende Schule/College
• Für Eltern und Lehrer: natürliche Schlussfolgerung, formeller Nachweis.

Von Prämissenblöcken auszugehen und durch die Wahl von Schlussregeln ein Ziel zu erreichen, ist formale Deduktion, die Praxis, die von Aristoteles’ Syllogismus bis zu modernen Beweissystemen reicht.

Das Designdetail, das etwas lehrt, ist, dass eine Regel nur greift, wenn ihre Eingaben wirklich passen.

Das ist der ganze Unterschied zwischen Schlussfolgern und Behaupten. Ein Argument, das sich richtig anfühlt, aber der Form keiner gültigen Regel entspricht, ist genau der Fehler, zu dessen Aufdeckung die formale Logik erfunden wurde, und die Verbindung nicht erzwingen zu können, ist lehrreicher, als als falsch markiert zu werden.

Wirelogic ist ein originelles, kostenloses Browser-Logikspiel, das auf natürlicher Deduktion basiert und formale Beweisregeln in verknüpfbare Blöcke umwandelt, sodass die Struktur eines gültigen Arguments zu etwas wird, das Sie sehen und aufbauen können.

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