Mathematical Logic Lab

手を動かして学ぶ、数理論理学の世界

命題論理から反駁手続きまで、4つの学習モジュールを通して抽象概念をインタラクティブに体感します。右下のチャットからは Gemini に質問もできます。

学習ロードマップ

Definitions & Truth Tables

整合的・矛盾・妥当・論理的帰結の4つの定義を、ダイナミック真理値表で体感する。

Equivalence & Normal Forms

含意の消去・ド・モルガン・分配法則を一段階ずつ適用し、CNF / DNF への変形手順を追体験する。

Prenex & Skolemization

量化子をドラッグして冠頭部に集めるパズルと、∃ を関数記号に置き換えるクイズを体験する。

Refutation Procedures

結論の否定 → 標準形 → 空節 □ の導出という背理法のフローをシミュレートする。