もし／ならば — 条件論理クイズ
「もし／ならば」の条件論理 (P → Q) をマスターしましょう。3つのレベルに分かれた45問。基礎レベルでは P→Q の真理値表（偽りの真、偽となる唯一のケース）、モーダスポネンス、モーダストレンス、そして後件肯定の誤謬と前件否定の誤謬が無効である理由を扱います。中間レベルでは対偶、逆、裏、対偶（P↔Q）、選言との等価性（¬P∨Q）、仮言三段論法を扱います。応用レベルでは連鎖条件、条件の否定（¬(P→Q) = P∧¬Q）、トートロジー、複雑な真理値分析、エッジケースを扱います。
「もし／ならば」の遊び方
- 1
真理値表を学ぶ
ロビーの真理値表がすべてのもとのなります。P→Q は、P が TRUE で Q が FALSE の場合にのみ FALSE になります。それ以外の場合（P が FALSE の場合を含む）は、条件は TRUE です。この「偽りの真」（前件が偽なら条件は真）は、初心者にとって最も直感に反する概念です。
- 2
推論規則を認識する
モーダスポネンス (P→Q, P, ∴Q) とモーダストレンス (P→Q, ¬Q, ∴¬P) は有効です。前件否定 (P→Q, ¬P, ∴¬Q) と後件肯定 (P→Q, Q, ∴P) は無効な誤謬です。基礎レベルではこれら4つすべてをテストします。
- 3
等価な形式をマスターする
中間レベルでは、4つの関連する形式をテストします：対偶 (¬Q→¬P、元の形式と等価)、逆 (Q→P、等価ではない)、裏 (¬P→¬Q、等価ではない（ただし、逆と等価）)、および対偶 (P↔Q、PとQが一致する場合のみ真)。また、P→Q ≡ ¬P∨Q は選言との等価性です。
- 4
高度なケースを処理する
応用問題では、連鎖仮言三段論法（A→B→C→D は A→D を与える）; P→Q が FALSE であることがわかっている場合に何が決定できるか（P=T, Q=F）; (P→Q)∨(Q→P) のようなトートロジー; および否定 ¬(P→Q) = P∧¬Q を探求します。これらは、離散数学や形式論理学のコースの内容をカバーしています。
主な機能
3レベルで45問
基礎 (15問): P→Q の完全な真理値表（4行すべて）; 偽となる唯一のケース（P=T, Q=F）の特定; モーダスポネンス (P→Q, P, ∴Q); モーダストレンス (P→Q, ¬Q, ∴¬P); 前件否定と後件肯定が無効な理由; 偽りの真（前件が偽なら常に真）です。中間 (15問): 対偶 (¬Q→¬P)、逆 (Q→P)、裏 (¬P→¬Q); 論理的に等価なペア; 対偶 (P↔Q); 選言との等価性 (P→Q ≡ ¬P∨Q); 条件の否定; 仮言三段論法です。応用 (15問): 連鎖条件; トートロジー; P→Q が偽であることを知ることは P=T かつ Q=F を意味すること; 対偶を証明するために条件を組み合わせること; P→Q と ¬P→Q の両方から Q を決定すること; P→P の論理的な意味です。
インタラクティブな真理値表ロビー
ロビーには、色分けされた真理値（TRUEは緑のチップ、FALSEは赤）で P→Q の完全な真理値表が表示され、偽となる行がハイライトされます。これは、クイズが始まる前に永続的な参照として機能し、中心的なメカニズムを教えます。
意味論的な選択カラーリング
TRUEと表示された回答タイルは、選択する前から微妙に緑色に、FALSEと表示されたタイルは赤色に色付けされており、その意味論的な意味と一致しています。これにより、すべての選択肢を視覚的に同一として扱うのではなく、真理値ラベルとその意味との関連性を構築します。
等幅フォントの論理記号
質問と説明には、標準的な論理記号（P→Q, ¬P, P∧Q, P∨Q, P↔Q, ∴）が使用されます。等幅フォントは論理構造をスキャンしやすくし、離散数学、コンピュータサイエンス、SAT/LSATの形式的推論セクションで条件がどのように表示されるかを反映しています。
よくある質問
なぜ「偽ならば、何でも真」なのですか？
これは偽りの真と呼ばれます。「もしPならばQ」という条件は約束です。「Pが起こるときはいつでもQが起こる」という約束です。Pが決して起こらない（Pが偽）場合、約束は決してテストされません。テストされていない約束は破ることができません。したがって、条件は技術的には真です。これは奇妙に感じられますが、論理的に一貫しています。偽の前件は条件を違反することは決してありません。
対偶、逆、裏の違いは何ですか？
元の文：もしPならばQ (P→Q)。対偶：もしQでないならばPでない (¬Q→¬P) — 元の文と等価。逆：もしQならばP (Q→P) — 等価ではない。裏：もしPでないならばQでない (¬P→¬Q) — 等価ではない（ただし、逆と等価）。覚え方：元の文と対偶は等価です。逆と裏は互いに等価です。
モーダスポネンスとは何ですか？
モーダスポネンス（「前件肯定」）：P→Q, P, ∴Q。条件が成り立ち、前件が真であれば、後件も真でなければなりません。例：「雨が降れば、地面は濡れる。雨が降っている。したがって、地面は濡れている。」これは演繹的推論の最も基本的で普遍的に有効な形式です。
モーダストレンスとは何ですか？
モーダストレンス（「後件否定」）：P→Q, ¬Q, ∴¬P。条件が成り立ち、後件が偽であれば、前件は偽でなければなりません。例：「雨が降れば、地面は濡れる。地面は濡れていない。したがって、雨は降っていない。」これは有効です。なぜなら、Pが真であれば、条件（P=T, Q=F）は違反されるからです。
なぜ「後件肯定」は無効なのですか？
後件肯定：P→Q, Q, ∴P は無効です。条件が成り立ち、Qが真であっても、Pは偽である可能性があります — Qは他の原因で引き起こされた可能性があります。例：「雨が降れば、地面は濡れる。地面は濡れている。したがって、雨が降った。」無効 — 地面はスプリンクラーで濡れている可能性があります。条件は、雨が濡れる唯一の原因であるとは述べていません。
スコアリングはどのように機能しますか？
正解は、基礎（10点）、中間（15点）、応用（20点）でポイントを獲得します。連続して正解すると、最初の正解以降、回答ごとに5点のストリークボーナスが追加されます。不正解はストリークをゼロにリセットします。