Prove You Can Win

Это игра-головоломка, основанная на логике и дедукции. В этой игре вы можете изучить и понять совершенно новую систему дедукции, а затем взять аксиомы и правила дедукции в качестве инструментов, чтобы доказать предложения, введя код.Особенности: Понять аксиомы и правила дедукции (так же, как когда вы читаете математическую книгу) Введите код и докажите предложение (так же, как когда вы решаете математическую задачу) "Q.E.D.", "Eureka!", и Перейдите к следующим элементам цикла, которые могут быть разочаровывающими: нет хорошего произведения искусства. (Это менее важно, чем остальные три) Количество прочитанного текста, и это требует немного понимания математики. (Играть в эту игру практически как читать математическую книгу) Единственный способ создать новый шаг доказательства - ввести правильный код, который не является ядром игры по существу. (Это связано с моими ограниченными возможностями программирования) Никакой пользовательской функции. Доступны только аксиомы и правила дедукции. (Добро пожаловать в CLASSIC систему дедукции) Если все они подходят для вас, то эта игра может быть подходящей для вас.FAQ:Q: Какие игроки являются игрой в основном для?A: Если у вас есть некоторый опыт чтения математических книг и вы заинтересованы в логике, эта игра может быть той, которая вам нравится.Q: Это сложная игра?A: Сначала сложность этой игры в основном заключается в понимании правил, и это Легко решить головоломку. Но проблема станет очень трудной, если вы продолжите играть. В любом случае, чтение и понимание самих себя будет частью сложности.Q: Вы чем-то вдохновлены при разработке этой игры?A: Эта игра вдохновлена математической логикой, в основном о естественном вычислении исчисления высказываний и исчисления предикатов первого порядка.Q: Сколько времени требуется, чтобы победить игру?A: Около 20 ~ 40 часов. В: Есть ли разница между этой игрой и математической книгой упражнений? И я просто позволю этому быть. Если некоторые игроки возражают против этого, я могу использовать «исполняемый файл» или «книгу упражнений» во время разговора с ними, а не «эту игру».