点击卡牌 · 施放技能 · 看见理由

证明牌桌试玩原型

每一张新牌，都有它的理由。

① 选一张手牌或目标牌→② 点击可用技能需要两张牌时，再选择输入牌

① 选牌 · 当前牌桌原始前提

已选中目标牌 · A → C

你的手牌

目标牌

待证明

先选一张牌，再选技能

技能台

亮色技能现在可用；悬停灰色技能，查看缺少什么条件。
技能预览
悬停技能查看效果；点击才会施放。

现在可用

点击施放
暂不可用

悬停灰色技能，查看还缺什么条件。

看看每一步的理由
    怎么玩？角色、卡牌与技能的约定

    只用点击

    点击手牌或目标，再点击技能。需要另一张牌时，再点击那张牌。悬停会显示作用箭头，触屏设备点击后也能看到提示。

    灰色技能也能解释

    灰色表示当前条件不满足。悬停、键盘聚焦或点击，都能查看具体原因；这不会改变证明。

    同一个角色，始终一样

    A、B、C 各有自己的颜色和形状。颜色表示角色身份，不表示真假。非 A 仍是 A，加上否定标记。

    临时牌有使用范围

    标为“临时”的牌，以及依赖它推出的牌，只能在当前假设块中使用。分情况的两边各自完成，才能回到父任务。

    牌会更新，理由会留下

    顺推时，条件牌变成结论牌，输入牌保留。可以展开卡牌来源；原前提和推理依据一直保存在证明中。

    采用经典命题逻辑

    本原型支持条件、且、或、否定和双条件。等价改写采用经典逻辑；每一步都有规则依据，最后重查完整证明。本页是独立教学检查器，不是 Lean。