Verknüpfen Sie Inferenzregelblöcke zu einem Beweisdiagramm und führen Sie Prämissen durch Regeln, bis der Zielknoten grün leuchtet.
Wie man spielt
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
Spielmodi
Täglich: ein festes Rätsel, das jeden Tag geteilt wird
Übung: neue, zufällige Rätsel
Kontrollen
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).
Tipps & Strategie
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
Was Sie lernen werden
Wirelogic basiert auf natürlicher Deduktion und verwandelt formale Beweisregeln in ein Verdrahtungsrätsel.
Für Eltern und Lehrer: natürliche Schlussfolgerung, formeller Nachweis.
Über Wirelogic
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 →
