Prove You Can Win

Ini adalah permainan puzzle berdasarkan logika dan deduksi. Dalam permainan ini, Anda dapat mempelajari dan memahami sistem deduksi yang benar-benar baru, lalu mengambil aksioma dan aturan deduksi sebagai alat, untuk membuktikan proposisi dengan memasukkan kode.

Fitur:

• Memahami aksioma dan aturan deduksi (seperti saat Anda membaca buku matematika)

• Masukkan kode dan buktikan proposisi (seperti saat Anda memecahkan soal matematika)

• "Q.E.D.", "Eureka!", dan masuk ke putaran berikutnya

Elemen yang mungkin membuat frustrasi:

• Tidak ada karya seni yang bagus. (Itu kurang penting dibandingkan tiga lainnya)

• Banyak teks yang harus dibaca, dan membutuhkan sedikit pemahaman matematika. (Bermain game ini pada dasarnya seperti membaca buku matematika)

• Satu-satunya cara untuk membuat langkah pembuktian baru adalah dengan memasukkan kode yang benar, yang pada dasarnya bukan inti dari permainan ini. (Ini karena keterbatasan kemampuan pemrograman saya)

• Tidak ada fungsi akibat wajar kustom. Hanya aksioma dan aturan deduksi yang tersedia. (Selamat datang di sistem deduksi CLASSIC)

Jika semuanya baik-baik saja bagi Anda, maka game ini mungkin cocok untuk Anda.

Pertanyaan yang Sering Diajukan:

Q: Untuk pemain manakah game ini terutama ditujukan?

A: Jika Anda memiliki pengalaman membaca buku matematika dan tertarik pada logika, game ini mungkin yang Anda sukai.

Q: Apakah game ini sulit?

A: Pada awalnya, kesulitan game ini terutama tentang memahami aturan, dan mudah untuk memecahkan teka-teki. Namun masalahnya akan menjadi sangat sulit jika Anda terus bermain. Bagaimanapun, membaca dan memahami sendiri akan menjadi bagian dari kesulitan.

Q: Apakah Anda terinspirasi oleh sesuatu saat mendesain game ini?

A: Game ini terinspirasi oleh logika matematika, terutama tentang deduksi alami dari kalkulus pernyataan dan kalkulus predikat orde pertama.

Q: Berapa lama waktu yang dibutuhkan untuk menyelesaikan game ini?

A: Sekitar 20~40 jam.

Q: Apakah ada perbedaan antara game ini dan buku latihan matematika?

A: Tidak ada. Dan saya biarkan saja. Jika beberapa pemain keberatan, tidak masalah bagi saya untuk menggunakan "file yang dapat dijalankan" atau "buku latihan" saat berbicara dengan mereka, alih-alih "game ini".