Prove You Can Win

Prove You Can Win è un gioco di enigmi logici basato sulla deduzione. Impari assiomi e regole di deduzione, poi inserisci codice per dimostrare proposizioni e avanzare attraverso i loop.

Dimostra proposizioni

Il gioco si concentra sulla deduzione naturale nel calcolo proposizionale e nel calcolo dei predicati del primo ordine. Gli enigmi richiedono di leggere e comprendere le regole, per poi applicarle per costruire dimostrazioni. All'inizio la difficoltà consiste soprattutto nell'imparare le regole. Gli enigmi sono inizialmente facili da risolvere, ma diventano molto difficili man mano che si procede. Leggere e comprendere fa parte della sfida, e il gioco contiene molto testo che richiede una certa conoscenza della matematica.

Per creare ogni nuovo passaggio della dimostrazione, devi inserire il codice corretto. Gli strumenti disponibili sono gli assiomi e le regole di deduzione; non c'è una funzione per creare corollari personalizzati. L'esperienza è molto simile alla lettura di un libro di matematica o allo svolgimento degli esercizi di un quaderno. Una partita completa dura circa 20–40 ore.