Lemma

左側のペインには、図、所与、目標が表示されます。中心は、あなたが構築する声明と正当性を記載した 2 列の台帳です。候補ステップのプールから、一度に 1 つずつ追加します。ステップは、その前提条件がすでに証明されている場合にのみ受け入れられます。証明を完了するという目標を導き出します。

• 候補ステップをクリックして台帳に追加してみます
• 前提条件行が確立されるまでステップはロックされます
• 無効なリープは拒否され、場合によっては反例が示されます
• より少ないヒントを使用して、より少ない行でゴールに到達すると、より高いスコアが得られます

• 毎日: 毎日共有される固定証拠
• 練習: 新しいランダム化された問題

• デスクトップ: プール内のステップをクリックして追加します。元に戻す、ヒント、および新規はツールバーにあります
• 電話とタブレット: ステップをタップして追加し、ツールバーのボタンをタップします (マウスまたはタッチのみ)

• 与えられたものから前進する - 前提条件がすでに台帳にあるステップを探します
• ヒントは控えめに使用してください。それぞれが次の標準行を配置しますが、最終スコアは低くなります。

レンマは厳密な演繹的証明を教え、すべてのステップが正当化されることを強制します。

• スキル: 演繹的証明、形式論理、数学的厳密さ
• 最適な対象: 上級高校/大学
• 保護者と教師向け: 厳密な演繹的証明。

Lemma は、厳密な演繹的証明を教え、実際の 2 列の幾何学の証明が要求するのと同じように、すべての主張が事前の行によって正当化されることを強制する、オリジナルの無料のブラウザ ロジック ゲームです。

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