ダーツ証明

命題に当てて自然演繹を完成させるロジカル・ダーツ

SCORE 0

DARTS 9

RULES 0

HI 0

          ドラッグで投擲方向、長さで強さ。離すと投擲。
        

—

使えそうな規則：

—

Y Lab tieup ─ Curry-Howard 対応を遊びに。命題＝的、証明規則＝命中で発火。証明木が一本繋がれば結論証明完。

ボード上で ドラッグ → リリース。引いた方向と逆向きにダーツが飛びます（パチンコ式）。

命題（外輪）に命中すると仮定（公理）として木に追加。

規則ゾーン（中央のリング）に当たると 証明規則（→I, →E, ∧I, ∧E, ∨I, ∨E）が発動し、必要な前提があれば一段進みます。

結論を証明できればクリア。