Купить Deductum
Minimalistic puzzle game where you build formal logical proofs.
In this minimalistic puzzle game, you're given a set of premises and a conclusion, and your task is to use the fundamental rules of logic to formally prove, step by step, that the conclusion follows.
Tutorials introduce you to the world of proofs and the game mechanics. The early problems are simple, but the difficulty gradually increases until eventually you might not even know where to begin. Still, every problem has a solution, and if you think deeply enough, you'll never need to guess!
Simple controls. No timers. No distractions. Just logic.
111 problems to solve, including classic theorems like De Morgan's Laws and the Law of the Excluded Middle
Sandbox mode: enter any claim (with proposition symbols A–H) and see if you can prove it!
- Если не установлен Steam клиент, скачайте его для Windows (клиент также доступен на Mac и Linux) и установите.
- Запустите Steam, зайдите в свой аккаунт или зарегистрируйте новый, если у вас его еще нет.
- При оформлении заказа, предоставьте ссылку на свой профиль в Steam или ваш SteamID состоящий из 18 цифр (765***).
- Ожидайте приглашения от нашего бота (если у вас аккаунт с ограниченными правами) или добавьте бота в друзья (ссылка на бота будет предоставлена после успешной оплаты).
- После того, как вы добавите нашего бота в друзья, игра автоматически (время ожидания обычно составляет не более 3-10 минут) будет отправлена вам в виде подарка (гифта).
- Примите подарок, добавьте в Библиотеку и нажмите «Играть».
и мы вам напишем, если цена на этот товар снизится