Prove You Can Win

Prove You Can Win ist ein Logikrätselspiel, das auf Deduktion basiert. Du lernst Axiome und Schlussregeln kennen und gibst dann Code ein, um Aussagen zu beweisen und dich durch die Schleifen vorzuarbeiten.

Aussagen beweisen

Das Spiel konzentriert sich auf die natürliche Deduktion in der Aussagenlogik und der Prädikatenlogik erster Stufe. Bei den Rätseln musst du die Regeln lesen und verstehen und sie dann anwenden, um Beweise aufzustellen. Die Schwierigkeit besteht anfangs vor allem darin, die Regeln zu lernen. Die Rätsel sind zunächst leicht zu lösen, werden aber mit der Zeit sehr anspruchsvoll. Lesen und Verstehen gehören zur Herausforderung, und das Spiel enthält umfangreiche Texte, für die ein gewisses mathematisches Verständnis erforderlich ist.

Du erstellst jeden neuen Beweisschritt, indem du den richtigen Code eingibst. Als Hilfsmittel stehen dir die Axiome und Schlussregeln zur Verfügung; eine Funktion für eigene Korollare gibt es nicht. Das Spielgefühl ähnelt dem Lesen eines Mathematikbuchs oder dem Durcharbeiten eines Übungsbuchs. Ein kompletter Spieldurchlauf dauert etwa 20–40 Stunden.