Wirelogic

推論ルール ブロックを一緒に証明グラフに配線し、ゴール ノードが緑色に点灯するまでルールを前提にフィードします。

遊び方

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

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

ゲームモード

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

コントロール

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

ヒントと戦略

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

学べること

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

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

ワイヤーロジックについて

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

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