总览 00

整座知识大厦

从元规则出发，观察数、结构、理论与应用如何逐层分叉并重新汇合。

0 个节点 0 条依赖

全局剖面

从元规则向应用层阅读

严格依赖当前节点失去支持

100%

拖动画布 · 滚轮缩放 · 点击节点追溯

当前路线

M.0

对象、符号与表达规则页已就绪

✓

M.1

识别可判真的命题当前挑战

M.2

真值与否定完成上一关后解锁

⌁

M.3

定义、公理与定理尚未解锁

⌁

L.1

有效推理第 0 层入口

⌁

挑战 M.1 · 第 −1 层

独立思考

思考阶段 请在本子上分类并写出理由；这里不要求输入或操作。

离开屏幕完成

重点不是它恰好为真还是为假，而是它是否已经具备真值。

01 独立思考 02 核对关键点 03 对照证明 04 记录结果

CHALLENGE M.1 进行中

当前目标

“在四种表达中，找出已经能够被判定为真或假的那一句。”

已知条件

标记 A 已经显示为金色圆点。你可以区分陈述、命令、带有未指定对象的表达式，以及问题。

渐进提示

提示默认隐藏。只有卡住时再打开，不影响你继续尝试。

无需提交纸上的内容；核对过程完全由你掌控。

这一关建立的是“什么能够进入证明”的门槛。系统只负责出题和核对，分类发生在你的纸上或脑海里。