EDUCARE — CONFIDENTIAL / 社外秘
2026-09-11 / 執筆・作図・検算: GPT-6 Astra(工房・フルカラー)/ 査読: 機械ゲート → Opus「解いてから読む」+Gemini 防御レビュー(図つき)/ 決裁: 敏
theme_id handan/meidai/ronri-subete ・ version 1.1.3
判断推理「ならばの向きをそろえる命題の論理式」v1.1.3(完成度の基準テーマ)。敏決裁(9/11)で「覚えておく論理式の公式」を分割=上線が要らない公式(p→q・三段論法の接着・∧∨の意味・分解公式と分解不可)は本文の文字に、上線が要る否定・二重否定・対偶とド・モルガンだけ小さな図 2 枚に。主解法=資料 §1 の論理式(記号化→命題/対偶の表→三段論法)・note 図解 3 表現・別解ベン図は据え置き。図 16 枚・本文 4,262 字(字数と図の上限は撤廃)。(公式の箱の文言をレジュメ非逐語へ言い換えて再配信)
PC は右に問題文が固定され「練習問題」で自動切替。スマホは右下「問題を見る」。問題文の囲みは背景無地+青の太枠、ポイント枠は背景色あり(敏 9/8 指示)。
「英語が好きなら国語も好き」。逆も正しそうに感じませんか。今回は、全員向けの条件を論理式に直し、表から答えを作ります。科目名と矢印で整理する方法を、二問で身につけましょう。
得意・不得意ではなく、好みだけの話です。
ある学校の学生について、次のア~ウのことがわかっているとき、確実にいえることとして、最も妥当なものはどれか。
ア英語が好きな学生は、国語が好きだ。
イ英語が好きではない学生は、数学が好きだ。
ウ社会が好きな学生は、国語が好きではない。
1.英語が好きな学生は、社会が好きである。
2.数学が好きではない学生は、社会が好きではない。
3.国語が好きな学生は、数学が好きである。
4.社会が好きな学生は、数学が好きではない。
5.数学が好きな学生は、英語が好きではない。
出典:東京消防庁・令和7年度・Ⅲ類1回目・問12
ポイント 条件がどれも例外を認めない全員向けのルールなら、命題と対偶を表に並べ、矢印をつないで選択肢を作ります。
「好きな人は別のものも好き」も全称型です。「全員」の文字がなくても構いません。「好きな人がいる」という存在の情報を扱う型は次の教材へ。条件に一つでも存在の話が混じると、この解法は使えません。
「英語が好きなら国語も好き」は 英語→国語 と書きます。科目名は「その科目が好き」の略です。矢印は左から右へ進める印。国語派でも英語派とは限らず、逆には戻れません。
否定は言葉の上に横線を引きます。図の数学に付いた上線は「数学が好きではない」。上線の写し忘れに注意しましょう。
覚えておく論理式の公式
まず、文字だけで書ける四つです。p・q・r は条件を表す記号として使います。
残りは上線を使う公式なので、次の二枚で形ごと覚えましょう。


与えられたルールを命題と呼びます。その左右を交換し、両方を否定したものが対偶です。英語→国語 の対偶は、国語と英語を入れ替え、両方に上線を付けます。国語を好まないのに英語派なら元のルールに違反するので、対偶も使えるのです。
手元の命題・対偶命題の二列へ全条件を書きます。もとから否定の側は、再び否定すると肯定に戻ります。交換だけ、片側の否定だけ、にしないでくださいね。
分解公式も二つ補足します。以下の科目の例は、お題とは別の説明用です。
右側の「かつ」と左側の「または」だけが分解できます。逆の位置には使えません。分解後は各行に対偶を添えます。今回の二問では分解不要です。
矢印の到着先と次の出発点が一致したら、続けて進みます。たとえば 英語→国語 と 国語→数学 なら、英語→数学を導けます。これが三段論法です。科目名だけでなく、上線の有無まで一致させます。
選択肢も式に直し、出発点から表をたどって到着点へ行けるか試します。つながらないだけでは必ず誤りとも限りません。
アは英語→国語。イは英語→数学の左の英語に、ウは社会→国語の右の国語に上線を付けます。否定する側を原文と照合しましょう。

アは、英語派の行き先を国語派に決めています。
イを対偶にすると、数学を好まない人の行き先は英語派です。
ウを対偶にすると、国語派は社会を好みません。
イとウでは二重否定が消えています。右列も使える条件です。

選択肢 2 は上線付きの数学から出発します。表で探すとイの対偶があります。
数学を好まない学生は、イで英語派になり、アで国語派にもなります。
その学生は国語派なので、ウの対偶から社会も好まないと決まります。

つながりました! 英語と国語を省けば選択肢 2 です。この学生は条件を試すための仮の人で、実在を示してはいません。
「確実にいえる」は全条件から保証される文、「真偽不明」は真の場合と偽の場合が残る文、「不適切」は条件下で必ず偽になる文です。
正解は 2 です。
社会派から出発すると、ウとアの対偶で英語派から外れ、イで数学派に入ります。
これは肢 4 の反例を置ける理由です。ただし社会派がいなければ、違反する人もいません。反例を置けることと、反例が実在することは別です。
本番は正答を確かめたら次へ進み、全肢の吟味は復習に回します。捨て時は、表の両列を見てもつながらず、同じ行を探し直しているとき。一度離れ、時間が余れば戻りましょう。
円は各科目を好む人の集まり。灰色には誰も入れず、それ以外は未定。重なりで存在を決めず、大きさも人数と読みません。まず読み方を二枚で見ます。
英語派なのに国語を好まない学生は、アに反します。

数学を好まない学生は、イから英語派だと分かります。

対偶は制限を加えず、同じ領域を別方向から読むだけ。続いてア・イ・ウを順に描きます。




合成図は国語の円を省きますが、条件は反映済み。イより英語も数学も好まない人はいないので、三円の外まで灰色。数学の外側から社会へは進めず、正答も同じ。
○ の条件は上から一つ目・二つ目・三つ目と呼び、同じ三手順で解きます。
ある幼稚園に通っている子どもについて次のことが分かっているとき論理的に確実にいえるのはどれか。
○ゾウが好きな子どもはペンギンが好きではない。
○ゾウが好きではない子どもはキリンが好きではない。
○パンダが好きな子どもはキリンが好きである。
1.キリンが好きな子どもはペンギンが好きである。
2.ゾウが好きではない子どもはパンダが好きではない。
3.パンダが好きではない子どもはキリンが好きである。
4.ペンギンが好きな子どもはゾウが好きである。
5.ペンギンが好きではない子どもはパンダが好きである。
出典:国家初級・平成27年度・海上特別・問8
一つ目はゾウ→ペンギンの右側に上線、二つ目はゾウ→キリンの両側に上線、三つ目はパンダ→キリンです。
手元の二列へ三条件を書き、隣に対偶を添えましょう。
一つ目は、ゾウ派とペンギン派の兼任を認めない条件です。
対偶ならペンギン派はゾウを好みません。
二つ目では、ゾウを好まない子はキリンも好みません。
対偶はキリン→ゾウと両側とも肯定に戻ります。
三つ目の対偶では、キリンを好まない子はパンダも好みません。
ゾウを好まない子は、二つ目と三つ目をつなぐとパンダ派から外れます。
二つ目の到着点と三つ目の対偶の出発点は、どちらも上線付きのキリン。図の b は二つ目、c は三つ目の条件です。

判定語はお題で説明した三つと同じ意味です。
正解は 2 です。
結論に一つ目は使いません。全条件を無理につなぐ必要はないのです。本番の捨て時もお題と同じで、表を何度も往復したら一度離れます。
一つ目は兼任禁止、二つ目はゾウの外のキリン派を除きます。


三つ目で、キリンの外にパンダ派も入れません。


ゾウの外側はパンダの外側でもあり、結論と同じです。
解説を閉じて、記号化・表・三段論法の順で二問を解き直しましょう。次は 人の存在を追う命題のベン図 へ。「中にはいる」という情報が加わる型を練習します。
お題の問題文
ある学校の学生について、次のア~ウのことがわかっているとき、確実にいえることとして、最も妥当なものはどれか。
ア英語が好きな学生は、国語が好きだ。
イ英語が好きではない学生は、数学が好きだ。
ウ社会が好きな学生は、国語が好きではない。
1.英語が好きな学生は、社会が好きである。
2.数学が好きではない学生は、社会が好きではない。
3.国語が好きな学生は、数学が好きである。
4.社会が好きな学生は、数学が好きではない。
5.数学が好きな学生は、英語が好きではない。
| 検査 | 結果 |
|---|---|
| スキーマ・来歴(入力 sha256・answer_base=1) | PASS |
| 正答の唯一性・選択肢の判定・途中断定の照合(独立全列挙) | PASS |
| 図 16 枚: 意味オラクル | 16/16 PASS |
| 描画オラクル(SVG 読み戻し・PNG 領域色) | PASS / PNG PASS |
| 逐語一致(レジュメ・note・12 字窓・引用免除) | 0 件(literal 0 件) |
| メソッドカード(本文と method.json の一致) | PASS |
| 本文の長さ | 本文 4,262 字/お題の解説 1,367 字/練習の解説 958 字 |
| importer(教材タブのサニタイザ)互換 | PASS(実投入は未) |
| 同一入力からの再ビルド byte 一致(? 回・? ファイル) | PASS |
| 機械ゲート全体(checks 25 項目) | 全 PASS |
| verify_report の総合判定 | status: review-ready / strict_pass: True |
正本: educaredev/webtext_kobo/themes/handan-meidai-ronri-subete/。仕様: docs/webtext/KOBO_REWRITE_SPEC_20260908.md。台帳: webtext_kobo/line/ledger.json。