Back arrow.
К каталогу игр
Deductum.
Казуальные игры
Инди
Стратегии

Deductum

Minimalistic puzzle game where you build formal logical proofs.
Подробнее
no region

Выберите регион вашего Steam аккаунта 266₽

регионы

arrow
Deductum
Deductum

Способ оплаты

Пополнить Steam
Жанр:
Казуальные игры
Инди
Стратегии
Дата релиза:
05 авг. 2025 г.
Разработчик:
nonpop

Купить Deductum, игра на ПК | Steam

Вы приобретаете игру в Steam, которую получите ПОДАРКОМ на Ваш аккаунт. Это происходит автоматически 24\7 без праздников и выходных.
Процесс получения гифта очень простой и занимает пару минут:
  1. После оплаты к вам в друзья Steam добавится бот. Пожалуйста, примите его в друзья, чтобы получить игру.
  2. После добавления, вам будет отправлен подарок в виде игры - нужно принять его.
  3. Игра у вас на аккаунте - можно играть.

Системные требования

Минимальные:
  • 64-разрядные процессор и операционная система
  • ОС: 7
  • Процессор: x86-64
  • Оперативная память: 2 GB ОЗУ
  • Видеокарта: Full OpenGL 3.3 support or Direct3D 11 support
  • DirectX: версии 11
  • Место на диске: 200 MB
Рекомендованные:
  • 64-разрядные процессор и операционная система
Показать больше

Описание

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!

Показать больше
Нас рекомендуют: