Deductum






发售日期2025-08-05
更新时间2026-06-18
类型
策略
休闲
独立
标签
单人
Steam 成就
Steam 云
2D
战术
轻松
家庭共享
极简
教育
抽象
文字
逻辑
教程
自定义音量控制
无需限时输入即可游玩
仅限鼠标操作选项
仅限触摸操作选项
游戏介绍
在这款极简主义的谜题游戏中,你将获得一组前提和一个结论,你的任务是利用逻辑的基本规则,一步一步地形式化证明该结论成立。
新手教程将带你走进证明的世界并熟悉游戏机制。起初的关卡很简单,但难度会逐渐增加,直到最后你甚至可能不知道从何下手。不过,每个问题都有解,只要你深入思考,就永远不需要靠猜!
操作简单。没有计时器。没有干扰。只有逻辑。
111 道待解决的难题,包括德·摩根定律和排中律等经典定理
沙盒模式:输入任何命题(使用命题符号 A–H),看看你是否能证明它!
游戏更新 / 下载
加载中...