Deductum游戏介绍
简介
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!
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!
更多
详细信息
开发
nonpop更新时间
2025-08-06
支持设备配置
最低配置
系统配置：需要 64 位处理器和操作系统
操作系统： 7
处理器： x86-64
内存： 2 GB RAM
显卡： Full OpenGL 3.3 support or Direct3D 11 support
DirectX 版本： 11
存储空间： 需要 200 MB 可用空间
推荐配置
系统配置：需要 64 位处理器和操作系统