Wirelogic

ボードは前提ブロックと目標から始まります。パレットから推論ルールを選択し、必要な入力ブロックをクリックします。それらが適合する場合、ルールは入力に接続された新しいブロックを派生します。目標を導き出すまでルールを連鎖させます。含意を証明するには、仮定を追加し、含意導入でそれを解消します。

• modus ponens、and-introduction、and-elimination などのルールを選択します
• 新しい命題を導き出すには、入力ブロックをクリックします。
• 含意を証明するための仮定を追加し、含意の導入を適用します。
• パーを上回るためにできるだけ少ないルールでゴールを照らす

• 毎日: 毎日共有される固定パズル
• 練習: ランダム化された新鮮なパズル

• デスクトップ: ルールをクリックしてから、キャンバス上の入力ブロックをクリックします。元に戻す、ルールのキャンセル、ボードのクリア、新規作成が利用可能
• 携帯電話とタブレット: ルールをタップし、ブロックをタップして配線します (マウスまたはタッチのみ)

• 目標から逆算して、どのルールがそれを生成するかを確認し、そのルールの入力を導き出します。
• 目標が含意である場合、その前件を早い段階で想定し、撤回する前に後件を導き出すことを目指します。

Wirelogic は自然演繹に基づいて構築されており、正式な証明ルールを配線パズルに変えます。

• スキル: 自然演繹、形式論理、証明規則
• 最適な対象: 上級高校/大学
• 親と教師向け: 自然推論、正式な証明。

前提のブロックから出発し、推論規則を選んで目標に到達するのは形式的演繹であり、アリストテレスの三段論法から現代の証明体系まで続く営みである。

何かを教えてくれる設計上の細部は、規則は入力が本当に合うときにだけ発動するということである。

それが推論することと主張することの違いのすべてである。正しいと感じられるのに、どの妥当な規則の形にも合わない議論は、まさに形式論理がそれを捕まえるために発明された誤りである。そして無理につなげられないことは、間違いと採点されるよりも多くを教えてくれる。

Wirelogic は、自然演繹に基づいて構築されたオリジナルの無料のブラウザ ロジック ゲームで、正式な証明ルールを配線可能なブロックに変換して、有効な議論の構造を見て構築できるようにします。

ブラウザで遊べる無料のオリジナルゲーム — ダウンロード不要。すべてのゲームを見る →