（01）
わが国においては、民事訴訟を追行するためには必ずしも弁護士を選任しなければならないといういう考え方（弁護士強制主義）は採用していない。― 中略 ―、ただし、本人訴訟の当事者に、相手方の主張・陳述を理解し、自らも主張・陳述をする能力（弁論能力）がないとみられれば、裁判所は、当事者の陳述を禁止し（１５５条１項）、必要がある場合には、弁護士の付き添いを命ずる権限を有している（有斐閣、民事訴訟法〔第４版〕、2023年、５４頁）。
然るに、
（02）
（ⅰ）「令和７年７月２４日（１４時１７分）」に、
（ⅱ）「東京高等裁判所」に対して、
（ⅲ）「上告状兼上告受理申立書（に加えて、印紙と切手）」を「郵送」し、
（ⅳ）「令和７年７月２５日（１１時４５分）」に、
（ⅴ）「東京高等裁判所（の書記官）」に、「電話」で確認したところ、
（ⅵ）「上告状兼上告受理申立書」自体には、「不備」は無い。
然るに、
（03）
「最高裁への上告」が受理される条件を教えて下さい。
ＡＩ による概要
最高裁判所への上告が受理されるためには、主に以下の２つの条件を満たす必要があります。一つは、控訴審判決に憲法違反や法令の解釈に関する重要な事項を含む法令違反がある場合、もう一つは、控訴審判決が最高裁判所の判例に違反する場合、または最高裁判例がない場合は大審院や高等裁判所の判例に違反する場合です。これらの条件を満たさない場合、上告は原則として受理されません。
然るに、
（04）
「弁論主義」に対する違反は、「上告の理由」になり得ますか？
ＡＩ による概要
はい、弁論主義に対する違反は、民事訴訟における上告理由（上告を認める理由）となり得ます。特に、弁論主義違反が判決に影響を与える程度に重大な場合、上告が認められる可能性があります。
詳細:
弁論主義とは、裁判所が判決を出す際に、当事者が提出した事実や証拠に基づいて判断するという原則です。つまり、当事者が主張していない事実や証拠を裁判所が勝手に考慮して判決を出すことは許されません。
然るに、
（05）
（ⅰ）「私（本人訴訟）」としては、
（ⅱ）「東京高裁の判決」には、
（ⅲ）「最高裁の判例、及び、弁論主義」に対する「違反」が有る。
という風に、考えます。
従って、
（03）（04）（05）により、
（06）
（ⅰ）「私（本人訴訟）」としては、
（ⅱ）「上告は妥当である。」
という風に、考えます。
然るに、
（07）
ＡＩ による概要
民事裁判の判決をインターネット上で公開すること自体は、原則として違法ではありません。裁判の判決は、憲法で保障された裁判の公開原則に基づき、原則として誰でも閲覧・謄写が可能です。また、判決文は著作物ではありますが、著作権法によって権利の目的となることができないとされており、著作権侵害の問題は生じません。
然るに、
（07）により、
（08）
（ⅰ）「民事裁判の判決をインターネット上で公開すること自体は、原則として違法ではありません。」というのであれば、
（ⅱ）「最高裁」へ「上告」する前に、
（ⅲ）「（これから書くことになる）上告の理由」を、「インターネット上で公開」することも、「違法ではない」。
という風に、考えます。
然るに、
―「東京高裁の判決」が「最高裁の判例（の趣旨）に違反する」という風に考える、その「理由（１）」。―
（09）
然るに、
（10）
１３．引用された論文（急性腎不全、菱田明日腎会誌２００２；４４（２）９４－１０１）の御指摘の記述通りにあてはめれば、２０１９／１／１８から２０１９／１／２５の血清クレアチニンの上昇経過は本論文で記載されている「一般的には急性腎不全として扱っている」カテゴリーに当てはまります。しかし、「急性腎不全と診断するうえでの腎機能低下の程度や低下速度に関する診断基準として明文化されたものはない」と本論文の冒頭にも記載されているとおり、コンセンサスを得られた急性腎不全の定義はないことから、「父にとって急性腎不全である」かどうかのコメントはできません（明らかな 誤りであるとは言えないと思いますが）（Ｓ主治医）。
従って、
（09）（10）により、
（11）
平成３１年１月２５日に、血中クレアチニン（Ｃｒｅ）及び血中尿素窒素（ＢＵＮ）の２つの検査項目が赤血球数等の他の検査項目と比較して特に上昇していることが認められる（第１審判決）。
という事に関しては、「否定の、仕様が無い」。
然るに、
（12）
従って、
（12）により、
（13）
フェブリク錠の添付文書（乙第１７号２ページ）に原告が引用する記載があるあること、並びにフェブリク錠の副作用として血中クレアチニン増加や血中尿素の増加が生じることは認める（答弁書）。
という事に関しては、「否定の、仕様が無い」。
然るに、
（14）
従って、
（12）（14）により、
（15）
という「添付文書（の記載）」は、「（所謂、）法律（の条文）」にも「等しい」。
従って、
（14）（15）により、
（16）
然るに、
（17）
従って、
（14）（17）により、
（18）
医薬品の添付文書の記載事項は、当該医薬品の危険性（副作用等）について最も高度な情報を有している製造業者等が、投与を受ける患者の安全を確保するために、必要な情報を提供する目的で記載するものなので、医師が医薬品を使用するに当たって右文書に記載された使用上の注意事項に従わず、それによって医療事故が発生した場合には、従わなかったことに特段の合理的理由がない限り、当該医師の過失が推定されます（平成８年１月２３日最高裁判所第三小法廷）。
という「判例（の趣旨）」、すなわち、例えば、
そもそも控訴人は、「許可医薬品等の副作用により死亡したこと」を基礎付ける事実として主張する、控訴人父の腎不全の原因がフェブリク錠の副作用であることを立証しなければならないところ、腎不全の原因が脱水であることを否定するだけでは、他の可能性が否定されないので、フェブリク錠の副作用により腎不全を発症したことの主張・立証として足りない。
という「控訴審の判決」は、「矛盾」する。
従って、
（03）（18）により、
（19）
ＡＩ による概要
最高裁判所への上告が受理されるためには、主に以下の２つの条件を満たす必要があります。一つは、控訴審判決が最高裁判所の判例に違反する場合です。
という「理由」により、
そもそも控訴人は、「許可医薬品等の副作用により死亡したこと」を基礎付ける事実として主張する、控訴人父の腎不全の原因がフェブリク錠の副作用であることを立証しなければならないところ、腎不全の原因が脱水であることを否定するだけでは、他の可能性が否定されないので、フェブリク錠の副作用により腎不全を発症したことの主張・立証として足りない。
という「控訴審の判決」は、「破棄」すべきである。
令和７年８月１日、毛利太。
（01）
１「超」絶望の行政訴訟
―中略―
行政事件についてまとも審理をする裁判官は１０人に１人である。ほとんどの裁判官は、訴訟要件の具備について事細かに調べ、若干でも問題があると鬼に首でも取ったように却下する。その際には、半世紀以上も前のカビの生えたような判例が金科玉条のごとく引用される。―中略―、
本案の審理に入ると、裁判官は、異常なまでに国、地方公共団体、行政庁等の被告の肩をもち、しかもその傾向は、近年さらに顕著になっている。―中略―、
ハンドボールの世界では、国際大会において、審判がことさら中東諸国に有利な判定を行う傾向があり、これは『中東の笛』といわれるが、総じて、行政訴訟の裁判官は、まさに『中東の笛』である。
（瀬木比呂志、ニッポンの裁判、2015年、１６０～１６２頁）。
（02）
私が『絶望の裁判所』（１１０頁以下）で日本の裁判官とたちについて用いた「精神的『収容所群島』の囚人たち」という比喩について、それはあまりに極端ではないか、という意見もあった。しかし先の比喩はいつわりのない私の実感であり、また、私がこれまで読んできたナチスドイツや旧ソ連の強制収容所に関する多数の記述や考察も、それを裏付けていると思う。たとえば、ドイツの強制収容所の被収者に関すプリーモ・レーヴィのような言葉は、日本の裁判所、裁判官にもそのまま当てはまるだろう。
（瀬木比呂志、ニッポンの裁判、2015年、２５０頁）。
（03）
日本の裁判所・裁判官、ことに最高裁長官や最高裁判所事務総局は、自民党を中核とする政治権力や行政官僚集団および経済界の総体と。世論の動向とをうかがいつつ、基本的には、つまり、「統治と支配の根幹」については、権力と財界に従い、そうでない部分では、可能な範囲で世論に迎合しようとする傾きがある。
そしていずれにせよ、重要なのは「世論」にすぎず、個々の国民、市民、制度利用者ではない。（『絶望の裁判所』はしがき、第４章）。暗黒裁判、呆然裁判、非常識裁判が続出することの根拠はこのような裁判官の姿勢にある。
（瀬木比呂志、ニッポンの裁判、2015年、２５１・２頁）。
（04）
アイスの女王
５つ星のうち４.０ 司法に幻想を持つべきではないことを教えてくれる。
訴訟の前にこの本を読んでいれば無駄なエネルギー、無駄な時間を費やさないで済んだのに、と悔いています。
ここに書かれていることが体験に基づいた事実なら、ショックです。
憲法７６条第３項「すべて裁判官は、その良心に従ひ、この憲法および法律にのみ拘束される」は嘘っぱち、空文化しています。この本に書かれている、裁判所が権力補完機構ということが行政相手の二度の訴訟を体験して実感しました。３度本人訴訟しましたが、１度は相手は民間人で勝訴、２度目３度目は行政相手です。相手方はほとんど有意な証拠を出さず、当方は多数の強力な証拠を出したににもかかわらず、どちらも最初から結論が決まっていたかのようにどちらも敗訴でした。そんなバカな！
「行政に不利な判決を出す裁判官は人事で報復をうける」のでは「良心に従い」ではなく「出世に有利なように計算に従い・・」ではないか！
初めから圧力があるのと同様で、それによって初めから結論があるということです。これでは裁判所は国民の味方（国民側が間違っていたら正義の味方）ではなく、権力の味方というのがあからさまです。
裁判所の堕落、腐敗です（アマゾン・カスタマーレビュー：瀬木比呂志、檻の中の裁判官、2021年）
従って、
（05）
「最高裁での、行政訴訟の、勝訴」など、「夢物語」であると考えるものの、
ＡＩ による概要
民事裁判の判決をインターネット上で公開すること自体は、原則として違法ではありません。裁判の判決は、憲法で保障された裁判の公開原則に基づき、原則として誰でも閲覧・謄写が可能です。また、判決文は著作物ではありますが、著作権法によって権利の目的となることができないとされており、著作権侵害の問題は生じません。
ただし、公開する際に注意すべき点があります。
1. 個人情報保護:
判決文には、氏名、住所、生年月日などの個人情報が含まれる場合があります。これらの情報を公開する際には、個人情報保護法に配慮し、必要に応じてマスキング（黒塗り）などの措置を講じる必要があります。特に、プライバシー侵害や名誉毀損に当たるような情報公開は避けるべきです。
従って、
（06）
「予定」としては、
（ⅰ）「上告書」を書いた後に、
（ⅱ）「大いなる、判決の問題点（複数）」を、
（ⅲ）「ブログ」に書く。
という、「その前」に、「氏名、住所、生年月日」等は、「＃＃、＃＃、＃＃＃＃」で以て、「置き換え」、
「以下」において、「控訴審の判決文」を示すことに、します。
（07）
―「控訴審、判決文」―
令和＃年＃月１６日判決言渡 同日原本領収 裁判所書記官（＃＃）
令和＃年（行＃）第＃＃号 ＃＃＃＃＃＃控訴事件（原審・東京地方裁判所令和＃年（行＃）第＃＃号）
口頭弁論終結日 令和＃年＃月＃＃日
判決
＃＃＃＃＃区＃＃町＃丁目＃番＃号 ＃＃＃＃＃＃＃、＃＃＃号
控訴人 ＃＃＃＃
東京都千代田区霞が関三丁目３番２号
被控訴人 独立行政法人医薬品医療機器総合機構
同代表者理事長 ＃＃＃＃
同訴訟代理人弁護士 ＃＃＃＃
同選任代理人 ＃＃＃
＃＃＃＃
主文
１ 本件控訴を棄却する。
２ 控訴費用は控訴人の負担とする。
事実及び理由
（略称は、新たに定義しない限り、原判決の例による。）
第１ 控訴の趣旨
１ 原判決を取り消す。
２ 被控訴人が令和＃年＃月＃日付けで控訴人に対してした＃＃＃＃及び＃＃＃
の不支給決定を取り消す。
第２ 事案の概要
１ 本件は、控訴人が、フェブリク錠の副作用により控訴人父が腸梗塞を発症して
死亡したと主張して、独立行政法人医薬品医療機器総合機構法１６条１項に基づき、遺族年金及び葬祭料の副作用救済給付の支給を請求した（本件各請求）ところ
― 以上、第１頁 ―
被控訴人が本件について下支給とする旨の決定（本体不支給決定）をしたため、控訴人が、被控訴人に対し、本件不支給決定の取消しを求める事案である。
原審は、医薬品等の医薬品の副作用により死亡したことの事実の立証責任は
救済給付を請求する人が負うことを前に、人が主張する、①控訴人父の梗塞が非閉塞性管血（ＮＯＭＩ）によるものであること、②控訴父が腎不全によりＮＯＭＩを発症したこと、③控訴人父がフェブリク錠の副作用により急性腎不全を発症したことはいずれも認められないなどとして、控訴人の請求を却した。これを不服とする控訴人が控訴した。
２ 本件の法令の定め、前提事実及び争点は、３のとおり当審における控訴人の補充主張を付加するほかは、原判決の「事実及び理由」中の第２の１ない３に記載したとおりであるから、これを引用する。すなわち、本件の争点は、本件不支給決定の違法性であり、控訴人は、フェブリク錠の副作用により控訴人父が死亡したことを主張立証する必要があるところ、控訴人は、この点の主張として、①控訴人父は、フェブリク錠の副作用により急性腎不全を発症し、その結果ＮＯＭＩとなり、それにより腸梗塞となって死亡した旨を、また、②副作用救済給付に係る審査の申立てについての裁決には、正しい理由が付されなければならないところ、本件決書に記載された理由は正しいものではなく、その場合には控訴人の主張が認められるべきである旨を述べるものである。
３ 当審における控訴人の補充主張
（１） 控訴人父が急性腎不全を発症したのは、フェブリク錠の投与による副作用によるものであり、脱水によるものではない。
すなわち、腎不全の指標とされる血中クレアチニンや血中尿素（ＢＵＮ）の 数値は平成＃＃年＃月＃＃日及び同月＃＃日の控訴人父の血液検査の結果では急上昇している。脱水により体内の水分が減少し血液の濃縮が起こると腎機能が低下し、クレアチニン・ＢＵＮの数値が上昇するが、控訴人父は、平成＃＃
― 以上、第２頁 ―
年＃月の時点では脱水はないと診断されていたところ、脱水の指標とされる赤血球数は、平成年＃月から平成＃＃年１２月までの血液検査の結果の均値と平成＃＃年＃月の数値には変化がないから、平成＃＃年＃月の時点でも 控訴人父は脱水ではなかったし、赤血球数とクレアチニン、赤血球数上幹材料の各数値には、いずれも相関がないから、控訴人父のクレアチニン、ＢＵＮの数値の上昇は、急速な脱水の進行によるものではない。そして、フェブリク錠の添付文書には、その副作用として、血中クレアチニン増加や血中尿素（ＢＵＮ）増加の記載があるから、控訴人父の上記の血中クレアチニンやＢＵＮの増加
はフェブリク錠投与の副作用によるものと推定される。
（２）生成ＡＩの回答からも分かるとおり、貧血に腎不全が加わると、ＮＯＭＩを発症しやすくなる。この生成ＡＩの回答は無視できない。控訴人父は、重度の貧血であったから、腎不全が加わってＮＯＭＩを発症した。本件ＣＴ検査報告書にもその旨の記載がある。
（３） 裁決は書面で行い、かつ、理由がなければならないのに（機構法施行規則５０条１項）、本件裁決書には、理由がないから、裁決は無効でありその場合、控訴人が相当程度の具体的な立証を行ったのに対して被控訴人が十分に反証しないのであれば、控訴人の主張が認められるべきである。
第３ 当裁判所の判断
１ 当裁判所も、控訴人の請求は理由がないものと判断する。その理由は、２のとおり当審における控訴人の補充主張に対する判断を付加するほか、原判決の
「事実及び理由」中の第３の１ないし３に記載のとおりであるから、これを引用する。
２ 当審における控訴人の補充主張に対する判断
（１）控訴人は、控訴人父が急性腎不全を発症したのは、フェブリクの投与による
る副作用によるものであり、これはフェブリクの添付文書の記載から推定れる旨を主張するとともに、腎不全の原因はでないことは、控訴人父は脱水
― 以上、３頁 ―
ではなかったことや、脱水の指標となる赤血球数と腎不全の指標となるクレアチニン・ＢＵＮの数値の変化には相関関係がないことから明らかである旨を主張する。
しかしながら、前記１で引用する原判決が説示するとおり、フェブリク錠を服用した者に、その添付文書に副作用として記載された症状等が出現した場合において、その症状等の原因は様々なものが想定されるから、添付文書に副作用として記載された症状等の出現によってフェブリク錠の副作用によるものと推定することはできないのであって、控訴人が主張するような推定は働かない。また、控訴人は、脱水の指標として赤血球数の変化を指摘するが、それのみで脱水の有無が判断されるとは認められないのであって、控訴人の上記主張は採用することができない。
そもそも控訴人は、「許可医薬品等の副作用により死亡したこと」を基礎付ける事実として主張する、控訴人父の腎不全の原因がフェブリク錠の副作用であることを立証しなければならないところ、腎不全の原因が脱水であることを否定するだけでは、他の可能性が否定されないので、フェブリク錠の副作用により腎不全を発症したことの主張・立証として足りない。前記や引用する原判決が、フェブリク錠の副作用と脱水以外の「他の可能性」について説示するのは、腎不全の原因がフェブリク錠の副作用であるとの控訴人の主張を認めることができないことをいうものであって、弁論主義に抵触する旨の控訴人の指摘は当たらない（という部分が、原告に言わせると、間違っている）。
（２）また、控訴人は、生成ＡＩの回答や本件ＣＴ検査報告書の記載を根拠として、重度の貧血であった控訴人父は腎不全が加わってＮＯＭＩを発症した旨を主張する。
しかしながら、平成＃＃年＃月＃＃日（死亡当日）の救急搬送後の控訴人父のＣＴ検査の結果が記載された本件ＣＴ検査報告書（甲３８、乙５の４４頁）には、上行結腸から盲腸の虚血が疑われ、その虚血の原因としてＮＯＭＩの可能性
― 以上、４頁 ―
を指摘するにとどまり、虚血の原因は確定できないと結論付けられている。
上記のとおりの本件ＣＴ検査報告書の記載では、控訴人がＮＯＭＩを発症した可能性があることが認められるにすぎず、控訴人の父がＮＯＭＩを発症したことの立証としては足りない。
（３）さらに、控訴人は、本件裁決書には理由がないから、裁決は無効であり、訴人が相当程度の具体的な立証を行った場合に、被控訴人が十分に反証しない場合は、被控訴人が敗訴すべきである旨を主張する。
しかしながら、前記のとおり、控訴人は、本件不支給決定の違法性、すなわち、フェブリク錠の副作用により控訴人父が死亡したことを基礎付ける事実を主張・立証しなければならないのであって、前記１で引用した原判決が説示するとおり、仮に裁決に違法があったとしても、そのことが、直ちに、本件不給決定の違法性を導くものではない。本件不支給決定の違法性を基礎付ける事実として裁決の違法をいう控訴人の主張は、その前提を欠くものであるから、採用することができない。
（４）その他控訴人が主張する種々の事情によっても、原判決の判断は左右されない。
第４ 結論
以上によれば、原判決は相当であって、本件控訴は理由がないから、これを棄却することとして、主文のとおり判決する。
東京高等裁判所第＃＃民事部
裁判長裁判官 ＃＃＃＃
＃＃＃＃
― 以上、５頁 ―
裁判官 ＃＃＃＃
裁判官 ＃＃＃＃
（01）
（∨－導入（∨Ｉ）
∨－導入（選言導入）の規則は∨Ｉと名づけられる．任意の命題が前提として与えられたならば、∨Ｉは、その命題と任意の命題との選言を結論として導出することを許す。従って、前提としてのＰから、Ｐ∨Ｑを結論として、あるいはＱ∨Ｐを結論として導出することができる。またこの場合、Ｑがどのような命題であるかは問うところではない。明らかに、∨Ｉの適用においては、一般に結論は前提より遙かに力が弱い。すなわち、Ｐが真でないときでも、ＰあるいはＱは真でありうる。それにもかかわらず、この規則は、Ｐが真であるときには、ＰあるいはＱもまた真でなければならない、という意味において受けいれられるのである。たとえば、チャールズＩ世が斬罪に処せられたということは真である。このことから、彼は斬罪に処せられたかあるいは電気椅子に送られたかであるということが、もちろん彼は電気椅子に送られなかったにもかかわらず、導かれるのである。選言Ｐ∨Ｑは、その選言項の少なくとも１つが真であるならば真である。従って規則∨Ｉは、真なる前提から偽なる結論へ導くことはありえない（退屈な結論へ導くことはあるとしても）。
（Ｅ．Ｊ．レモン 著、論理学書、竹尾治一郎・浅野楢英、1973年、２９頁）
従って、
（01）により、
（02）
① チャールズＩ世は斬罪に処せられた。
② チャールズＩ世は斬罪に処せられたか、または、チャールズＩ世は電気椅子に送られた。
③ チャールズＩ世は斬罪に処せられたか、または、チャールズＩ世は電気椅子に送られなかった。
において、
① ならば、② であり、尚且つ、
① ならば、③ である。
然るに、
（03）
１ （１） Ｐ Ａ
１ （２） Ｐ∨ Ｑ １∨Ｉ（選言導入の規則）
３ （３） ～Ｐ＆～Ｑ Ａ
４ （４） Ｐ Ａ
３ （５） ～Ｐ ３＆Ｅ
３４ （６） Ｐ＆～Ｐ ４５＆Ｉ
４ （７）～（～Ｐ＆～Ｑ） ３６ＲＡＡ
８ （８） Ｑ Ａ
３ （９） ～Ｑ ３＆Ｅ
３ ８ （ア） Ｑ＆～Ｑ ８９＆Ｉ
８ （イ）～（～Ｐ＆～Ｑ） ３アＲＡＡ
１ （ウ）～（～Ｐ＆～Ｑ） １４７８イ∨Ｅ
エ （エ） ～Ｐ Ａ
オ（オ） ～Ｑ Ａ
エオ（カ） ～Ｐ＆～Ｑ エオ＆Ｉ
１ エオ（キ）～（～Ｐ＆～Ｑ）＆
（～Ｐ＆～Ｑ） ７カ＆Ｉ
１ エ （ク） ～～Ｑ オキＲＡＡ
１ エ （ケ） Ｑ クＤＮ
１ （コ） ～Ｐ→Ｑ エケＣＰ（含意の定義）
従って、
（03）により、
（04）
① Ｐ
② Ｐ∨Ｑ（選言導入の規則）
③ ～Ｐ→Ｑ（含意の定義）
において、
① ならば、② であって、尚且つ、
① ならば、③ である。
従って、
（04）により、
（05）
Ｐ＝チャールズＩ世は斬罪に処せられた。
Ｑ＝チャールズＩ世は電気椅子に送られた。
であるとして、
① チャールズＩ世は斬罪に処せられた。
② チャールズＩ世は斬罪に処せられなかったならば、チャールズＩ世は電気椅子に送られた。
において、
① ならば、② である。
然るに、
（06）
① チャールズＩ世は斬罪に処せられた。
② チャールズＩ世は斬罪に処せられなかったら、チャールズＩ世は電気椅子に送られた。
というのであれば、
① チャールズＩ世は斬罪に処せられなかった。
② チャールズＩ世は斬罪に処せられなかったならば、チャールズＩ世は電気椅子に送られた。
ということには、ならないため、
③ チャールズＩ世は電気椅子に送られた。
ということには、ならない。
従って、
（05）（06）により、
（07）
① チャールズＩ世は斬罪に処せられた。
② チャールズＩ世は斬罪に処せられなかったならば、チャールズＩ世は電気椅子に送られた。
において、
① ならば、② である。
としても、「（実質的に、）問題は無い」。
然るに、
（08）
１ （１）∀ｘ｛犯人ｘ→男性ｘ＆左利きｘ｝ Ａ
２ （２）∃ｘ（ｘ＝鈴木＆～左利きｘ） Ａ
１ （３） 犯人ａ→男性ａ＆左利きａ １ＵＥ
４（４） ａ＝鈴木＆～左利きａ Ａ
４（５） ａ＝鈴木 ４＆Ｅ
４（６） ～左利きａ ４＆Ｅ
４（７） ～男性ａ∨～左利きａ ６∨Ｉ
４（８） ～（男性ａ＆左利きａ） ７ド・モルガンの法則
１ ４（９） ～犯人ａ ３８ＭＴＴ
１ ４（ア） ａ＝鈴木＆～犯人ａ ５９＆Ｉ
１ ４（イ）∃ｘ（ｘ＝鈴木＆～犯人ｘ） アＥＩ
１２ （ウ）∃ｘ（ｘ＝鈴木＆～犯人ｘ） ２４ＥＥ
〔注〕鈴木は、「述語」ではなく「固有名（proper name）」。
従って、
（08）により、
（09）
（ⅰ）∀ｘ｛犯人ｘ→男性ｘ＆左利きｘ｝。然るに、
（ⅱ）∃ｘ（ｘ＝鈴木＆～左利きｘ）。 従って、
（ⅲ）∃ｘ（ｘ＝鈴木＆～犯人ｘ）。
という「推論」、すなわち、
（ⅰ）すべてのｘについて｛ｘが犯人であるならば、ｘは男性であって、左利きである｝。然るに、
（ⅱ）あるｘは（鈴木であって、左利きではない）。従って、
（ⅲ）あるｘは（鈴木であって、犯人ではない）。
という「推論」、すなわち、
（ⅰ）犯人は、男性であって、左利きである。然るに、
（ⅱ）鈴木は、男性で有り得たとしても、右利きである。従って、
（ⅲ）鈴木は、男性であっても、女性であっても、犯人ではない。
という「推論」は、「妥当」である。
従って、
（08）（09）により、
（10）
１ （１）∀ｘ｛犯人ｘ→男性ｘ＆左利きｘ｝ Ａ
２ （２）∃ｘ（ｘ＝鈴木＆～左利きｘ） Ａ
１ （３） 犯人ａ→男性ａ＆左利きａ １ＵＥ
４（４） ａ＝鈴木＆～左利きａ Ａ
４（５） ａ＝鈴木 ４＆Ｅ
４（６） ～左利きａ ４＆Ｅ
４（７） ～男性ａ∨～左利きａ ６∨Ｉ
４（８） ～（男性ａ＆左利きａ） ７ド・モルガンの法則
１ ４（９） ～犯人ａ ３８ＭＴＴ
１ ４（ア） ａ＝鈴木＆～犯人ａ ５９＆Ｉ
１ ４（イ）∃ｘ（ｘ＝鈴木＆～犯人ｘ） アＥＩ
１２ （ウ）∃ｘ（ｘ＝鈴木＆～犯人ｘ） ２４ＥＥ
という「述語計算（predicate calculus）」は、明らかに「妥当」である。
従って、
（10）により、
（11）
４（７） ～男性ａ∨～左利きａ ６∨Ｉ
という「選言導入（∨Ｉ）」は、「妥当」である。
従って、
（08）～（11）により、
（12）
４（７） ～男性ａ∨～左利きａ ６∨Ｉ
という「選言導入（∨Ｉ）」は、「妥当」でないとするならば、
（ⅰ）犯人は、男性であって、左利きである。然るに、
（ⅱ）鈴木は、いずれにせよ、右利きである。従って、
（ⅲ）鈴木は、犯人ではない。
という「推論」は、「（述語論理としては）妥当」ではない。
従って、
（01）（12）により、
（13）
例えば、
（ⅰ）犯人は、男性であって、左利きである。然るに、
（ⅱ）鈴木は、いずれにせよ、右利きである。従って、
（ⅲ）鈴木は、犯人ではない。
という「推論」が、「（述語論理としても）妥当」である。
とするならば、
Ｖ－導入（選言導入）の規則は∨Ｉと名づけられる．任意の命題が前提として与えられたならば、∨Ｉは、その命題と任意の命題との選言を結論として導出することを許す。従って、前提としてのＰから、ＰＶＱを結論として、あるいはＱ∨Ｐを結論として導出することができる。またこの場合、Ｑがどのような命題であるかは問うところではない。明らかに、ＶＩの適用においては、一般に結論は前提より遙かに力が弱い。すなわち、Ｐが真でないときでも、ＰあるいはＱは真でありうる。それにもかかわらず、この規則は、Ｐが真であるときには、ＰあるいはＱもまた真でなければならない、という意味において受けいれられるのである。たとえば、チャールズＩ世が斬罪に処せられたということは真である。このことから、彼は斬罪に処せられたかあるいは電気椅子に送られたかであるということが、もちろん彼は電気椅子に送られなかったにもかかわらず、導かれるのである。選言Ｐ∨Ｑは、その選言項の少なくとも１つが真であるならば真である。従って規則∨Ｉは、真なる前提から偽なる結論へ導くことはありえない（退屈な結論へ導くことはあるとしても）。
という「規則」を、「除くこと」は、「出来ない」。
令和７年７月１８日、毛利太。
（01）
（３） 未知と既知
この組み合わせは次のような場合に現われる。
私が大野です。
これは、「大野さんはどちらですか」というような問いに対する答えとして使われる。つまり文脈において、「大野」なる人物はすでに登場していて既知である。ところが、それが実際にどの人物なのか、その帰属する先が未知である。その未知の対象を「私」と表現して、それをガで承けた。それゆえこの形は、
大野は私です。
に置きかえてもほぼ同じ意味を表わすといえる（大野晋、日本語の文法を考える、1978年、３４頁）。
然るに、
（02）
従って、
（02）により、
（03）
「全国的」に見れば、
私が大野です。
ではなく、
私も大野です。
というのが、「正しい」。
従って、
（01）（03）により、
（04）
「大野さんはどちらですか」
「私も大野ですが、・・・・・。」
ということからすれば、
「私（未知）が大野（既知）です。」というだけでなく、
「私（未知）も大野（既知）です。」ということに、ならざるを得ない。
従って、
（01）～（04）により、
（05）
① 私が大野です。
② 大野は私です。
において、
①＝② である。
ということは、
①（全国的に）私が大野です。
②（全国的に）大野は私です。
ということではなく、飽くまでも、
①（今、この場においては）私が大野です。
②（今、この場においては）大野は私です。
において、
①＝② である。
という、ことになる。
然るに、
（06）
故に、Ｐであるときまたそのときに限ってＱ（Ｑ ｉｆ ａｎｄ ｏｎｌｙ ｉｆ Ｐ）を主張することは、ＰならばＱと、Ｐであるときに限ってＱとを主張することであり、これは、ＰならばＱと、Ｑ ならばＰとを主張することに他ならない。
すなわち、記号で書けば、
（Ｐ→Ｑ）＆（Ｑ→Ｐ）
である（E.J.レモン著、論理学初歩、竹尾治一郎・浅野楢英 訳、1973年、３８頁）。
然るに、
（07）
（ⅰ）
１ （１） （Ｐ→Ｑ）＆（Ｑ→Ｐ） Ａ
１ （２） （Ｐ→Ｑ） １＆Ｅ
１ （３） （Ｑ→Ｐ） １＆Ｅ
４ （４） ～Ｐ Ａ
５（５） Ｑ Ａ
１ ５（６） Ｐ ３５ＭＰＰ
１４５（７） ～Ｐ＆Ｐ ４６＆Ｉ
１４ （８） ～Ｑ ５７ＲＡＡ
１ （９） ～Ｐ→～Ｑ ４８ＣＰ
１ （ア）（Ｐ→Ｑ）＆（～Ｐ→～Ｑ） ２９＆Ｉ
（ⅱ）
１ （１）（Ｐ→Ｑ）＆（～Ｐ→～Ｑ） ２９＆Ｉ
１ （２）（Ｐ→Ｑ） １＆Ｅ
１ （３） （～Ｐ→～Ｑ） １＆Ｅ
４ （４） Ｑ Ａ
５（５） ～Ｐ Ａ
１ ５（６） ～Ｑ ３５ＭＰＰ
１４５（７） Ｑ＆～Ｑ ４６＆Ｉ
１４ （８） ～～Ｐ ５７ＲＡＡ
１４ （９） Ｐ ８ＤＮ
１ （ア） Ｑ→ Ｐ ４９ＣＰ
１ （イ）（Ｐ→Ｑ）＆（Ｑ→Ｐ） ２ア＆Ｉ
従って、
（06）（07）により、
（08）
①（Ｐ→Ｑ）＆（ Ｑ→ Ｐ）
②（Ｐ→Ｑ）＆（～Ｐ→～Ｑ）
において、すなわち、
①（Ｐならば、Ｑであって）尚且つ（Ｑならば、Ｐである）。
②（Ｐならば、Ｑであって）尚且つ（Ｐでないならば、Ｑでない）。
において、すなわち、
①（ＰはＱであり）尚且つ（ＱはＰである）。
②（ＰはＱであり）尚且つ（Ｐ以外はＱでない）。
において、
①＝② である。
従って、
（08）により、
（09）
①（私は大野であり）尚且つ（大野は私である）。
②（私は大野であり）尚且つ（私以外は大野ではない）。
において、
①＝② である。
従って、
（01）（09）により、
（10）
① 私が大野である。
②（私は大野であり）尚且つ（私以外は大野ではない）。
において、
①＝② である。
従って、
（01）（10）により、
（11）
（３） 未知と既知
この組み合わせは次のような場合に現われる。
私が大野です。
これは、「大野さんはどちらですか」というような問いに対する答えとして使われる。つまり文脈において、「大野」なる人物はすでに登場していて既知である。ところが、それが実際にどの人物なのか、その帰属する先が未知である。その未知の対象を「私」と表現して、それをガで承けた。それゆえこの形は、
大野は私です。
に置きかえてもほぼ同じ意味を表わすといえる（大野晋、日本語の文法を考える、1978年、３４頁）。
という「説明」は、「不要」である。
令和７年７月１５日、毛利太。
（01）
ド・モルガンが、明らかに健全であるにもかかわらず、伝統的論理学のわくぐみのなかでは取り扱うことができなかった論証として挙げた、有名なま簡単な論証がある。
There is a famouse and simple arugument,cited by de Morgan as an example of a kind of reasoning which,through patently sound,could not be handled within the framework of traditional logic.
（１）すべての馬は動物である。故にすべての馬の頭は動物の頭である。
（〃）All horses are animals; therefore all horses' heads are animals'head.
（２）馬の頭であるすべてのモノは動物の頭である。
（〃）Anything that is a head of a horse is a head of an animal.
（02）
あるモノが馬の頭であるためには、それ（あるモノ）がその馬の頭であるような馬が存在しなければならない。
For something to be a head of a horse there must be some horse of which it is the head；
（03）
記号で書くと、ａは、∃ｙ（Ｆｙ＆Ｈａｙ）であるときまたそのときに限って馬の頭である。
in symboles, a is a head of a head of a horse if and only if ∃ｙ（Ｆｙ＆Ｈａｙ）
然るに、
（04）
馬名（ばめい）
競走馬には必ず名前がつけられ、これを馬名というが、どんな名前をつけてよいというものでなく、次のような制限がつけられている。
（１）有名な馬の名称・馬名と同じである馬名、またはこれらと紛らわしい馬名
（２）父母の名称・馬名と同じである馬名、またはこれらと紛らわしい馬名
（３）すでに登録を受けている馬名、登録を抹消された翌年の１月１日から４年を経過しない馬名と同じ馬名、またはこれらと紛らわしい馬名
（競馬用語辞典）、― 以下省略、―
従って、
（04）により、
（05）
① すべての馬名は、ある馬の馬名である。
② ∀ｘ｛∃ｙ（馬ｙ＆馬名ｘｙ）｝
③ すべてのｘと｛あるｙについて（ｙは馬であって、ｘはｙの馬名）｝である。
において、
① は「真」であって、尚且つ、
①＝②＝③ である。
従って、
（05）により、
（06）
① すべての馬の頭は、ある馬の頭である。
② ∀ｘ｛∃ｙ（馬ｙ＆頭ｘｙ）｝
③ すべてのｘと｛あるｙについて（ｙは馬であって、ｘはｙの頭）である｝。
においても、
① は「真」であって、尚且つ、
①＝②＝③ である。
従って、
（02）（03）（06）により、
（07）
あるモノが馬の頭であるためには、それ（あるモノ）がその馬の頭であるような馬が存在しなければならない。
For something to be a head of a horse there must be some horse of which it is the head；
記号で書くと、ａは、∃ｙ（Ｆｙ＆Ｈａｙ）であるときまたそのときに限って馬の頭である。
in symboles, a is a head of a head of a horse if and only if ∃ｙ（Ｆｙ＆Ｈａｙ）
というのであれば、
① すべての馬の頭は、ある馬の頭である。
② ∀ｘ｛∃ｙ（馬ｙ＆頭ｘｙ）｝
③ すべてのｘと｛あるｙについて（ｙは馬であって、ｘはｙの馬の頭）｝である。
において、
① は「真」であって、尚且つ、
①＝②＝③ である。
然るに、
（08）
１ （１） ∀ｘ（馬ｘ→動物ｘ） Ａ
２ （２）∀ｘ｛∃ｙ（馬ｙ＆頭ｘｙ）｝ Ａ
２ （３） ∃ｙ（馬ｙ＆頭ａｙ） ２ＵＥ
３（４） 馬ｂ＆頭ａｂ Ａ
３（５） 馬ｂ ４＆Ｅ
３（６） 頭ａｂ ４＆Ｅ
１ （７） 馬ｂ→動物ｂ １ＵＥ
１ ３（８） 動物ｂ ５７ＭＰＰ
１ ３（９） 動物ｂ＆頭ａｂ ６８＆Ｉ
１ ３（ア） ∃ｙ（動物ｙ＆頭ａｙ） ９ＥＩ
１２ （イ） ∃ｙ（動物ｙ＆頭ａｙ） ３４アＥＥ
１ （ウ） ∃ｙ（ 馬ｙ＆頭ａｙ）→∃ｙ（動物ｙ＆頭ａｙ） ２イＣＰ
１ （エ）∀ｘ｛∃ｙ（ 馬ｙ＆頭ｘｙ）→∃ｙ（動物ｙ＆頭ｘｙ）｝ ウＵＩ
１ （〃）すべてのｘと｛あるｙについて（ｙが馬であって、ｘがｙの頭である）ならば、（ｙは動物であって、ｘはｙの頭である）｝。
（E.J.レモン、論理学初歩、竹尾治一郎・竹尾楢英 訳、1973年、１６７頁を参照）
という「推論」は「妥当」である。
従って、
（01）（08）により、
（09）
ド・モルガンが、明らかに健全であるにもかかわらず、伝統的論理学のわくぐみのなかでは取り扱うことができなかった論証として挙げた、有名なま簡単な論証がある。
There is a famouse and simple arugument,cited by de Morgan as an example of a kind of reasoning which,through patently sound,could not be handled within the framework of traditional logic.
である所の、
（１）すべての馬は動物である。故にすべての馬の頭は動物の頭である。
（〃）All horses are animals; therefore all horses' heads are animals'head.
（２）馬の頭であるすべてのモノは動物の頭である。
（〃）Anything that is a head of a horse is a head of an animal.
という「推論・論証」は、「妥当」である。
然るに、
（10）
１ （１） ∀ｘ（象ｘ→～兎ｘ） Ａ
２ （２）∀ｘ｛∃ｙ（象ｙ＆鼻ｘｙ）｝ Ａ
２ （３） ∃ｙ（象ｙ＆鼻ａｙ） ２ＵＥ
３（４） 象ｂ＆鼻ａｂ Ａ
３（５） 象ｂ ４＆Ｅ
３（６） 鼻ａｂ ４＆Ｅ
１ （７） 象ｂ→～兎ｂ １ＵＥ
１ ３（８） ～兎ｂ ５７ＭＰＰ
１ ３（９） ～兎ｂ＆鼻ａｂ ６８＆Ｉ
１ ３（ア） ∃ｙ（～兎ｙ＆鼻ａｙ） ９ＥＩ
１２ （イ） ∃ｙ（～兎ｙ＆鼻ａｙ） ３４アＥＥ
１ （ウ） ∃ｙ（ 象ｙ＆鼻ａｙ）→∃ｙ（～兎ｙ＆鼻ａｙ） ３イＣＰ
１ （エ）∀ｘ｛∃ｙ（ 象ｙ＆鼻ｘｙ）→∃ｙ（～兎ｙ＆鼻ｘｙ）｝ ウＵＩ
１ （〃）すべてのｘと｛あるｙについて（ｙが象であって、ｘがｙの鼻である）ならば、（ｙは兎ではなく、ｘはｙの鼻である）｝。
従って、
（09）（10）により、
（11）
（１）すべての馬は動物である。故にすべての馬の頭は動物の頭である。
という「推論・論証」に加えて、
（２）すべての象は兎ではない。故にすべての象の鼻は兎の鼻ではない。
という「推論・論証」も、「妥当」である。
令和７年７月１３日、毛利太。
（01）
①｛象の鼻、象の耳、象の顔｝
という｛集合｝を「想定」すると、
①｛象は鼻が長い｝。
（02）
②｛象の鼻、兎の鼻、馬の鼻｝
という｛集合｝を「想定」すると、
② 象が鼻は長い。
（03）
｛象の鼻、兎の鼻、馬の鼻｝
｛象の耳、兎の耳、馬の耳｝
｛象の顔、兎の顏、馬の顔｝
という｛集合｝を「想定」すると、
③ 鼻は象が長い。
然るに、
（04）
１ （１）∀ｘ｛象ｘ→∃ｙ（鼻ｙｘ＆長ｙ）＆∀ｚ（～鼻ｚｘ→～長ｚ）｝ Ａ
２ （２）∀ｘ｛兎ｘ→∃ｙ（耳ｙｘ＆長ｙ）＆∀ｚ（耳ｚｘ→～鼻ｚｘ）｝ Ａ
３ （３）∃ｘ（兎ｘ＆象ｘ） Ａ
１ （４） 象ａ→∃ｙ（鼻ｙａ＆長ｙ）＆∀ｚ（～鼻ｚａ→～長ｚ） １ＵＥ
２ （５） 兎ａ→∃ｙ（耳ｙａ＆長ｙ）＆∀ｚ（耳ｚａ→～鼻ｚａ） ２ＵＥ
６ （６） 兎ａ＆象ａ Ａ
６ （７） 象ａ ６＆Ｅ
６ （８） 兎ａ ６＆Ｅ
１ ６ （９） ∃ｙ（鼻ｙａ＆長ｙ）＆∀ｚ（～鼻ｚａ→～長ｚ） ４７ＭＰＰ
２ ６ （ア） ∃ｙ（耳ｙａ＆長ｙ）＆∀ｚ（耳ｚａ→～鼻ｚａ） ５８ＭＰＰ
１ ６ （イ） ∃ｙ（鼻ｙａ＆長ｙ） ９＆Ｅ
２ ６ （ウ） ∃ｙ（耳ｙａ＆長ｙ） ア＆Ｅ
エ （エ） 鼻ｂａ＆長ｂ Ａ
オ（オ） 耳ｂａ＆長ｂ Ａ
オ（カ） 耳ｂａ オ＆Ｅ
オ（キ） 長ｂ オ＆Ｅ
１ ６ （ク） ∀ｚ（～鼻ｚａ→～長ｚ） ９＆Ｅ
２ ６ （ケ） ∀ｚ（耳ｚａ→～鼻ｚａ） ア＆Ｅ
１ ６ （コ） ～鼻ｂａ→～長ｂ クＵＥ
２ ６ （サ） 耳ｂａ→～鼻ｂａ ケＵＥ
２ ６ オ（シ） ～鼻ｂａ キサＭＰＰ
１２ ６ オ（ス） ～長ｂ コシＭＰＰ
１２ ６ オ（セ） 長ｂ＆～長ｂ カス＆Ｉ
１２ ６ （ソ） 長ｂ＆～長ｂ ウオセＥＥ
１２３ （タ） 長ｂ＆～長ｂ ３６ソＥＥ
１２ （チ）～∃ｘ（兎ｘ＆象ｘ） ３タＲＡＡ
１２ （ツ）∀ｘ～（兎ｘ＆象ｘ） チ量化子の関係
１２ （テ） ～（兎ａ＆象ａ） ツＵＥ
１２ （ト） ～兎ａ∨～象ａ テ、ド・モルガンの法則
１２ （ナ） 兎ａ→～象ａ ト含意の定義
１２ （ニ）∀ｘ（兎ｘ→～象ｘ） ナＵＩ
従って、
（04）により、
（05）
（ⅰ）∀ｘ｛象ｘ→∃ｙ（鼻ｙｘ＆長ｙ）＆∀ｚ（～鼻ｚｘ→～長ｚ）｝。然るに、
（ⅱ）∀ｘ｛兎ｘ→∃ｙ（耳ｙｘ＆長ｙ）＆∀ｚ（耳ｚｘ→～鼻ｚｘ）｝。従って、
（ⅲ）∀ｘ（兎ｘ→～象ｘ）。
といふ「推論」、すなはち、
（ⅰ）すべてのｘについて｛ｘが象であるならば、あるｙはｘの鼻であって、長く、すべてのｚについて（ｚがｘの鼻でないならば、ｚは長くない）｝。 然るに、
（ⅱ）すべてのｘについて｛ｘが兎であるならば、あるｙはｘの耳であって、長く、すべてのｚについて（ｚがｘの耳であるならば、ｚはｘの鼻ではない）｝。従って、
（ⅲ）すべてのｘについて（ｘが兎であるならば、ｘは象ではない。）
という「推論」、すなわち、
（ⅰ）象は鼻が長い。然るに、
（ⅱ）兎の耳は長いが、耳は鼻ではない。従って、
（ⅲ）兎は象ではない。
といふ「推論」は、「妥当」である。
然るに、
（06）
１ （１） ∀ｘ｛象ｘ⇔∃ｙ（鼻ｙｘ＆ 長ｙ）｝ Ａ
１ （２） 象ａ→∃ｙ（鼻ｙａ＆ 長ｙ）＆
∃ｙ（鼻ｙａ＆ 長ｙ）→象ａ １Ｄｆ.⇔
１ （３） ∃ｙ（鼻ｙａ＆ 長ｙ）→象ａ ２＆Ｅ
４ （４） ∀ｘ（兎ｘ→～象ｘ） Ａ
４ （５） 兎ａ→～象ａ ４ＵＥ
６ （６） 兎ａ Ａ
４６ （７） ～象ａ ５６ＭＰＰ
１４６ （８） ～∃ｙ（鼻ｙａ＆ 長ｙ） ３７ＭＴＴ
１４６ （９） ∀ｙ～（鼻ｙａ＆ 長ｙ） ８量化子の関係
１４６ （ア） ～（鼻ｂａ＆ 長ｂ） ９ＵＥ
１４６ （イ） ～鼻ｂａ∨～長ｂ アド・モルガンの法則
１４６ （ウ） 鼻ｂａ→～長ｂ イ含意の定義
１４ （エ） 兎ａ→（鼻ｂａ→～長ｂ） ６ウＣＰ
オ（オ） 兎ａ＆ 鼻ｂａ Ａ
オ（カ） 兎ａ オ＆Ｅ
１４ オ（キ） 鼻ｂａ→～長ｂ エカＭＰＰ
オ（ク） 鼻ｂａ キクＭＰＰ
１４ オ（ケ） ～長ｂ キクＭＰＰ
１４ （コ） 兎ａ＆鼻ｂａ→～長ｂ オケＣＰ
１４ （サ） ∀ｙ（兎ａ＆鼻ｙａ→～長ｙ） コＵＩ
１４ （シ）∀ｘ∀ｙ（兎ｘ＆鼻ｙｘ→～長ｙ） サＵＩ
従って、
（06）により、
（07）
（ⅰ） ∀ｘ｛象ｘ⇔∃ｙ（鼻ｙｘ＆ 長ｙ）｝ 然るに、
（ⅱ） ∀ｘ（兎ｘ→～象ｘ） 従って、
（ⅲ）∀ｘ∀ｙ（兎ｘ＆鼻ｙｘ→～長ｙ）。
という「推論」、すなわち、
（ⅰ） すべてのｘについて｛ｘが象ならば、そのときに限って、あるｙは（ｘの鼻であって、長い）｝。然るに、
（ⅱ） すべてのｘについて（ｘが兎ならば、ｘは象ではない）。
（ⅲ）すべてのｘとｙについて（ｘが兎であって、ｙがの鼻ならば、ｙは長くない）。
という「推論」、すなわち、
（ⅰ）象が鼻は長い。 然るに、
（ⅱ）兎は象ではない。従って、
（ⅲ）兎の鼻は長くない。
という「推論」は、「妥当」である。
然るに、
（08）
１ （１）∀ｘ｛∃ｙ［（鼻ｘｙ＆象ｙ）→長ｘ＆（～象ｙ＆鼻ｘｙ）→～長ｘ］｝ Ａ
１ （２） ∃ｙ［（鼻ａｙ＆象ｙ）→長ａ＆（～象ｙ＆鼻ａｙ）→～長ａ］｝ １ＵＥ
３ （３） （鼻ａｂ＆象ｂ）→長ａ＆（～象ｂ＆鼻ａｂ）→～長ａ Ａ
３ （４） （～象ｂ＆鼻ａｂ）→～長ａ ３＆Ｅ
５ （５） ∀ｙ［（兎ｙ→～象ｙ）＆∃ｘ（鼻ｘｙ）］ Ａ
５ （６） （兎ｂ→～象ｂ）＆∃ｘ（鼻ｘｂ） ５ＵＥ
５ （７） 兎ｂ→～象ｂ ６＆Ｅ
８ （８） 兎ｂ Ａ
５８ （９） ～象ｂ ７８ＭＰＰ
５ （ア） ∃ｘ（鼻ｘｂ） ６＆Ｅ
イ（イ） 鼻ａｂ Ａ
５８イ（ウ） ～象ｂ＆鼻ａｂ ９イ＆Ｉ
３５８イ（エ） ～長ａ ４ウＭＰＰ
３５８イ（オ） 鼻ａｂ＆～長ａ イエ＆Ｉ
３５８イ（カ） ∃ｘ（鼻ｘｂ＆～長ｘ） オＥＩ
３５８ （キ） ∃ｘ（鼻ｘｂ＆～長ｘ） アイカＥＥ
３５ （ク） 兎ｂ→∃ｘ（鼻ｘｂ＆～長ｘ） ８キＣＰ
１ ５ （ケ） 兎ｂ→∃ｘ（鼻ｘｂ＆～長ｘ） ２３クＥＥ
１ ５ （コ） ∀ｙ［兎ｙ→∃ｘ（鼻ｘｙ＆～長ｘ）］ ケＵＩ
従って、
（08）により、
（09）
（ⅰ）∀ｘ｛∃ｙ［（鼻ｘｙ＆象ｙ）→長ｘ＆（～象ｙ＆鼻ｘｙ）→～長ｘ］｝。然るに、
（ⅱ） ∀ｙ［（兎ｙ→～象ｙ）＆∃ｘ（鼻ｘｙ）］。従って、
（ⅲ） ∀ｙ［ 兎ｙ→ ∃ｘ（鼻ｘｙ＆～長ｘ）］。
といふ「推論」、すなはち、
（ⅰ）すべてのｘと｛あるｙについて［（ｘがｙの鼻であって、ｙが象である）ならば、ｘは長く、（ｙが象でなくて、ｘがｙの鼻である）ならば、ｘは長くない］｝。然るに、
（ⅱ） すべてのｙについて［（ｙが兎であるならば、ｙは象ではなく）、あるｘは（ｙの鼻である）］。従って、
（ⅲ） すべてのｙについて［ ｙが兎であるならば、あるｘは（ｙの鼻であって、長くない）］。
といふ「推論」、すなはち、
（ⅰ）鼻は象が長く、象以外の鼻は長くない。然るに、
（ⅱ）兎は象ではないが、兎には鼻がある。 従って、
（ⅲ）兎の鼻は長くない。
といふ「推論」は「妥当」である。
従って、
（05）（07）（09）により、
（10）
① 象は鼻が長い。
② 象が鼻は長い。
③ 鼻は象が長い。
という「日本語」は、それぞれ、
① ∀ｘ｛象ｘ→∃ｙ（鼻ｙｘ＆長ｙ）＆∀ｚ（～鼻ｚｘ→～長ｚ）｝。
② ∀ｘ｛象ｘ→∃ｙ（鼻ｙｘ＆長ｙ）＆∃ｙ（鼻ｙｘ＆長ｙ）→象ｘ｝。
③ ∀ｘ｛∃ｙ［（鼻ｘｙ＆象ｙ）→長ｘ＆（～象ｙ＆鼻ｘｙ）→～長ｘ］｝。
という「述語論理式」に、「相当」する。
然るに、
（11）
（ⅰ）論理式または命題関数において、量記号が現れる任意の箇所の作用範囲（スコープ）は、問題になっている変数が現れる少なくとも２つの箇所を含むであろう（その１つの箇所は量記号そのもののなかにある）；
（論理学初歩、E.J.レモン、竹尾 治一郎・浅野 楢英 訳、1973年、１８３頁改）
従って、
（10）（11）により、
（12）
① ∀ｘ
② ∀ｘ
③ ∀ｘ
の「作用範囲（スコープ）」は、
① ∀ｘ｛象ｘ→∃ｙ（鼻ｙｘ＆長ｙ）＆∀ｚ（～鼻ｚｘ→～長ｚ）｝。
② ∀ｘ｛象ｘ→∃ｙ（鼻ｙｘ＆長ｙ）＆∃ｙ（鼻ｙｘ＆長ｙ）→象ｘ｝。
③ ∀ｘ｛∃ｙ［（鼻ｘｙ＆象ｙ）→長ｘ＆（～象ｙ＆鼻ｘｙ）→～長ｘ］｝。
という「述語論理式」の、「全体」である。
然るに、
（12）におり、
（13）
① ∀ｘ
② ∀ｘ
③ ∀ｘ
において、
① ｘ＝象
② ｘ＝象
③ ｘ＝鼻
である。
従って、
（10）～（13）により、
（14）
① ∀ｘ｛象ｘ→∃ｙ（鼻ｙｘ＆長ｙ）＆∀ｚ（～鼻ｚｘ→～長ｚ）｝。
② ∀ｘ｛象ｘ→∃ｙ（鼻ｙｘ＆長ｙ）＆∃ｙ（鼻ｙｘ＆長ｙ）→象ｘ｝。
③ ∀ｘ｛∃ｙ［（鼻ｘｙ＆象ｙ）→長ｘ＆（～象ｙ＆鼻ｘｙ）→～長ｘ］｝。
という「意味」である所の、
① 象は鼻が長い。
② 象が鼻は長い。
③ 鼻は象が長い。
という「日本語」において、
① 象
② 象
③ 鼻
という「語の意味」は、
① 象は鼻が長い。
② 象が鼻は長い。
③ 鼻は象が長い。
という「文の全体」に「及んでいる」。
従って、
（12）（13）（14）により、
（15）
「作用範囲（スコープ）」が、
「文の全体」に及ぶ「語」を、「主語」であるとするならば、「定義」により、
① 象は鼻が長い。
② 象が鼻は長い。
③ 鼻は象が長い。
① 象 は「主語」であり、
② 象 は「主語」であり、
③ 鼻 は「主語」である。
然るに、
（16）
④ 書足以記名姓而已＝
④ 書足〔以記（名姓）〕而已⇒
④ 書〔以（名姓）記〕足而已＝
④ 書は〔以て（名姓を）記するに〕足るのみ＝
④ 文字は〔（名姓）が書ければ〕十分である。
従って、
（15）（16）により、
（17）
例えば、
④ 書足以記名姓而已。
という「漢文」が、
④ すべてのｘについて｛ｘが書であるならば、・・・・・・｝。
という「意味」であるならば、
④ 書足以記名姓而已⇒
④ 書は以て名姓を記するに足るのみ。
という「漢文訓読」において、
④ 書 は「主語」である。
令和７年７月５日、毛利太。
（01）
① 鼻は象は長い。
② 鼻は象が長い。
③ 鼻は象も長い。
④ 鼻が象が長い。
という「日本語」は、それぞれ、
① ∀ｘ∃ｙ｛（鼻ｘｙ＆象ｙ）→長ｘ｝。
② ∀ｘ∃ｙ｛（鼻ｘｙ＆象ｙ）→長ｘ＆ （～象ｙ＆鼻ｘｙ）→～長ｘ｝。
③ ∀ｘ∃ｙ｛（鼻ｘｙ＆象ｙ）→長ｘ＆～［（～象ｙ＆鼻ｘｙ）→～長ｘ］｝。
④ ∀ｘ∃ｙ｛（鼻ｘｙ＆象ｙ）→長ｘ＆（～象ｙ＆鼻ｘｙ）→～長ｘ＆［～鼻ｘｙ＆長ｘ→～象ｙ］｝。
という「述語論理式」に、「相当」する。
ｃｆ.
① 鼻は象は長い。
② 鼻は象は長く、 象以外の鼻は長くない。
③ 鼻は象は長く、（象以外の鼻は長くはない）というわけではない。
④ 鼻は象は長く、 象以外の鼻は長くはなく、鼻以外（例えば、耳）が長いならば、象ではない。
然るに、
（02）
① 鼻は象は長い。
② ∀ｘ∃ｙ｛（鼻ｘｙ＆象ｙ）→長ｘ｝
③ すべてのｘと（あるｙについて｛（ｘがｙの鼻であって、ｙが象である）ならば、ｘは長い｝。
において、
①＝②＝③ である。
然るに、
（03）
１ （１）∀ｘ∃ｙ｛（鼻ｘｙ＆象ｙ）→長ｘ＆（～象ｙ＆鼻ｘｙ）→～長ｘ｝ Ａ
１ （２） ∃ｙ｛（鼻ａｙ＆象ｙ）→長ａ＆（～象ｙ＆鼻ａｙ）→～長ａ｝ １ＵＥ
３ （３） （鼻ａｂ＆象ｂ）→長ａ＆（～象ｂ＆鼻ａｂ）→～長ａ Ａ
３ （４） （～象ｂ＆鼻ａｂ）→～長ａ ３＆Ｅ
５ （５） ∀ｙ｛（兎ｙ→～象ｙ）＆∃ｘ（鼻ｘｙ）｝ Ａ
５ （６） （兎ｂ→～象ｂ）＆∃ｘ（鼻ｘｂ） ５ＵＥ
５ （７） 兎ｂ→～象ｂ ６＆Ｅ
８ （８） 兎ｂ Ａ
５８ （９） ～象ｂ ７８ＭＰＰ
５ （ア） ∃ｘ（鼻ｘｂ） ６＆Ｅ
イ （イ） 鼻ａｂ Ａ
５８イ （ウ） ～象ｂ＆鼻ａｂ ９イ＆Ｉ
３５８イ （エ） ～長ａ ４ウＭＰＰ
３５８イ （オ） 鼻ａｂ＆～長ａ イエ＆Ｉ
３５８イ （カ） ∃ｘ（鼻ｘｂ＆～長ｘ） オＥＩ
３５８ （キ） ∃ｘ（鼻ｘｂ＆～長ｘ） アイカＥＥ
３５ （ク） 兎ｂ→∃ｘ（鼻ｘｂ＆～長ｘ） ８キＣＰ
１ ５ （ケ） 兎ｂ→∃ｘ（鼻ｘｂ＆～長ｘ） ２３クＥＥ
コ （コ） ∃ｙ｛兎ｙ＆∀ｘ（鼻ｘｙ→ 長ｘ）｝ Ａ
サ （サ） 兎ｂ＆∀ｘ（鼻ｘｂ→ 長ｘ） Ａ
サ （シ） 兎ｂ シ＆Ｅ
１ ５ サ （ス） ∃ｘ（鼻ｘｂ＆～長ｘ） ケシＭＰＰ
サ （セ） ∀ｘ（鼻ｘｂ→ 長ｘ） サ＆Ｅ
ソ（ソ） 鼻ａｂ＆～長ａ Ａ
サ （タ） 鼻ａｂ→ 長ａ セＵＥ
ソ（チ） 鼻ａｂ ソ＆Ｅ
サソ（ツ） 長ａ タチＭＰＰ
ソ（テ） ～長ａ ソ＆Ｅ
サソ（ト） 長ａ＆～長ａ ツテ＆Ｉ
１ ５ サ （ナ） 長ａ＆～長ａ サソトＥＥ
１ ５ コ （ニ） 長ａ＆～長ａ コサナＥＥ
１ ５ （ヌ） ～∃ｙ｛兎ｙ＆∀ｘ（鼻ｘｙ→ 長ｘ）｝ コニＲＡＡ
従って、
（03）により、
（04）
（ⅰ）∀ｘ∃ｙ｛（鼻ｘｙ＆象ｙ）→長ｘ＆（～象ｙ＆鼻ｘｙ）→～長ｘ｝。然るに、
（ⅱ） ∀ｙ｛（兎ｙ→～象ｙ）＆∃ｘ（鼻ｘｙ）｝。従って、
（ⅲ） ～∃ｙ｛ 兎ｙ＆∀ｘ（鼻ｘｙ→長ｘ）｝。
といふ『推論』、すなはち、
（ⅰ）すべてのｘとあるｙについて｛（ｘがｙの鼻であって、ｙが象である）ならば、ｘは長く、（ｙが象でなくて、ｘがｙの鼻である）ならば、ｘは長くない｝。然るに、
（ⅱ） すべてのｙについて｛（ｙが兎であるならば、ｙは象ではなく）、あるｘは（ｙの鼻である）｝。従って、
（ⅲ） あるｙは｛ 兎であって、（ｘがｙの鼻ならば、ｘは長い）｝という、そのようなｙは存在しない。
といふ『推論』、すなはち、
（ⅰ）鼻は象が長い。 然るに、
（ⅱ）兎は象ではないが、兎には鼻がある。従って、
（ⅲ）鼻の長い兎はいない。
といふ『推論』は「妥当」である。
（05）
（ⅲ）
１ （１）∀ｘ∃ｙ｛（鼻ｘｙ＆象ｙ）→長ｘ＆～［（～象ｙ＆鼻ｘｙ）→～長ｘ］｝ Ａ
１ （２） ∃ｙ｛（鼻ａｙ＆象ｙ）→長ａ＆～［（～象ｙ＆鼻ａｙ）→～長ａ］｝ １ＵＥ
３（３） （鼻ａｂ＆象ｂ）→長ａ＆～［（～象ｂ＆鼻ａｂ）→～長ａ］ Ａ
３（４） （鼻ａｂ＆象ｂ）→長ａ ３＆Ｅ
３（５） ～［（～象ｂ＆鼻ａｂ）→～長ａ］ ３＆Ｅ
３（６） ～［～（～象ｂ＆鼻ａｂ）∨～長ａ］ ５含意の定義
３（７） （～象ｂ＆鼻ａｂ）＆ 長ａ ６ド・モルガンの法則
３（８） （鼻ａｂ＆象ｂ）→長ａ＆ ［（～象ｂ＆鼻ａｂ）＆ 長ａ］ ４７＆Ｉ
３（９） ∃ｙ｛（鼻ａｙ＆象ｙ）→長ａ＆ ［（～象ｙ＆鼻ａｙ）＆ 長ａ］｝ ８ＥＩ
１ （ア） ∃ｙ｛（鼻ａｙ＆象ｙ）→長ａ＆ ［（～象ｙ＆鼻ａｙ）＆ 長ａ］｝ １３９ＥＥ
１ （イ）∀ｘ∃ｙ｛（鼻ｘｙ＆象ｙ）→長ｘ＆ ［（～象ｙ＆鼻ｘｙ）＆ 長ｘ］｝ アＵＩ
（〃）
１ （１）∀ｘ∃ｙ｛（鼻ｘｙ＆象ｙ）→長ｘ＆ ［（～象ｙ＆鼻ｘｙ）＆ 長ｘ］｝ Ａ
１ （２） ∃ｙ｛（鼻ａｙ＆象ｙ）→長ａ＆ ［（～象ｙ＆鼻ａｙ）＆ 長ａ］｝ １ＵＥ
３（３） （鼻ａｂ＆象ｂ）→長ａ＆ ［（～象ｂ＆鼻ａｂ）＆ 長ａ］ Ａ
３（４） （鼻ａｂ＆象ｂ）→長ａ ３＆Ｅ
３（５） ［（～象ｂ＆鼻ａｂ）＆ 長ａ］ ３＆Ｅ
３（６） ～［～（～象ｂ＆鼻ａｂ）∨～長ａ］ ５ド・モルガンの法則
３（７） ～［（～象ｂ＆鼻ａｂ）→～長ａ］ ６含意の定義
３（８） （鼻ａｂ＆象ｂ）→長ａ＆～［（～象ｂ＆鼻ａｂ）→～長ａ］ ４６＆Ｅ
３（９） ∃ｙ｛（鼻ａｙ＆象ｙ）→長ａ＆～［（～象ｙ＆鼻ａｙ）＆ 長ａ］｝ ８ＥＩ
１ （ア） ∃ｙ｛（鼻ａｙ＆象ｙ）→長ａ＆～［（～象ｙ＆鼻ａｙ）＆ 長ａ］｝ ２３９ＥＥ
１ （イ）∀ｘ∃ｙ｛（鼻ｘｙ＆象ｙ）→長ｘ＆～［（～象ｙ＆鼻ｘｙ）＆ 長ｘ］｝ アＵＩ
従って、
（01）（05）により、
（06）
① 鼻は象も長い。
② ∀ｘ∃ｙ｛（鼻ｘｙ＆象ｙ）→長ｘ＆～［（～象ｙ＆鼻ｘｙ）→～長ｘ］｝。
③ ∀ｘ∃ｙ｛（鼻ｘｙ＆象ｙ）→長ｘ＆ ［（～象ｙ＆鼻ｘｙ）＆ 長ｘ］｝。
④ すべてのｘとあるｙについて｛（ｘがｙの鼻であってｙが象である）ならば、ｘは長く、［（ｙが象ではなく、ｘがｙの鼻である）ならば、ｘは長くない］というわけではない｝。
⑤ すべてのｘとあるｙについて｛（ｘがｙの鼻であってｙが象である）ならば、ｘは長く、［（ｙは象ではなく、ｘはｙの鼻であって）、 ｘは長い ］ ｝。
において、
①＝②＝③＝④＝⑤ である。
然るに、
（07）
１ （１）∀ｘ∃ｙ｛（鼻ｘｙ＆象ｙ）→長ｘ＆（～象ｙ＆鼻ｘｙ）→～長ｘ＆［～鼻ｘｙ＆長ｘ→～象ｙ］｝ Ａ
２ （２）∀ｘ∃ｙ｛（兎ｙ＆耳ｘｙ）→（～鼻ｘｙ＆長ｘ）｝ Ａ
１ （３） ∃ｙ｛（鼻ａｙ＆象ｙ）→長ａ＆（～象ｙ＆鼻ａｙ）→～長ａ＆［～鼻ａｙ＆長ａ→～象ｙ］｝ １ＵＥ
４ （４） （鼻ａｂ＆象ｂ）→長ａ＆（～象ｂ＆鼻ａｂ）→～長ａ＆［～鼻ａｂ＆長ａ→～象ｂ］ Ａ
４ （５） ～鼻ａｂ＆長ａ→～象ｂ ４＆Ｅ
２ （６） ∃ｙ｛（兎ｙ＆耳ａｙ）→（～鼻ａｙ＆長ａ）｝ ２ＵＥ
７ （７） （兎ｂ＆耳ａｂ）→（～鼻ａｙ＆長ａ） Ａ
８（８） （兎ｂ＆耳ａｂ） Ａ
７８（９） （～鼻ａｙ＆長ａ） ７９ＭＰＰ
４７８（ア） ～象ｂ ５９ＭＰＰ
８（イ） 耳ａｂ ８＆Ｅ
４７８（ウ） ～象ｂ＆耳ａｂ アイ＆Ｉ
４７ （エ） （兎ｂ＆耳ａｂ）→（～象ｂ＆耳ａｂ） ８ウＣＰ
２４ （オ） （兎ｂ＆耳ａｂ）→（～象ｂ＆耳ａｂ） ６７エＥＥ
１２ （カ） （兎ｂ＆耳ａｂ）→（～象ｂ＆耳ａｂ） ３４オＥＥ
１２ （キ） ∃ｙ｛（兎ｙ＆耳ａｙ）→（～象ｙ＆耳ａｙ）｝ カＥＩ
１２ （ク）∀ｘ∃ｙ｛（兎ｙ＆耳ｘｙ）→（～象ｙ＆耳ｘｙ）｝ キＵＩ
従って、
（07）により、
（08）
（ⅰ）∀ｘ∃ｙ｛（鼻ｘｙ＆象ｙ）→長ｘ＆（～象ｙ＆鼻ｘｙ）→～長ｘ＆［～鼻ｘｙ＆長ｘ→～象ｙ］｝。然るに、
（ⅱ）∀ｘ∃ｙ｛（兎ｙ＆耳ｘｙ）→（～鼻ｘｙ＆長ｘ）｝。従って、
（ⅲ）∀ｘ∃ｙ｛（兎ｙ＆耳ｘｙ）→（～象ｙ＆耳ｘｙ）｝。
という「推論」、すなわち、
（ⅰ）すべてのｘと、あるｙについて｛（ｘがｙの鼻であって、ｙが象である）ならば、ｘは長く、（ｙが象がでなくて、ｘがｙの鼻である）ならば、ｘは長くはなく、［ｘがｙの鼻ではなくて、ｘが長いならば、ｙは象ではない］｝。然るに、
（ⅱ）すべてのｘと、あるｙについて｛（ｙが兎であって、ｘがｙの耳である）ならば、（ｘはｙの鼻ではなくて、長い）｝。従って、
（ⅲ）すべてのｘと、あるｙについて｛（ｙが兎であって、ｘがｙの耳である）ならば、（ｙは象ではなくて、ｘはｙの耳である）。
という「推論」、すなわち、
（ⅰ）鼻が象が長い。 然るに、
（ⅱ）兎の耳は鼻ではないが長い。 従って、
（ⅲ）兎の耳は象の耳ではない。
という「推論」は、「妥当」である。
令和７年６月２６日、毛利太。
（01）
① 象は鼻は長い。
② 象は鼻が長い。
③ 象は鼻も長い。
④ 象が鼻が長い。
という「日本語」は、それぞれ、
① ∀ｘ｛象ｘ→ ∃ｙ（鼻ｙｘ＆長ｙ）｝。
② ∀ｘ｛象ｘ→ ∃ｙ（鼻ｙｘ＆長ｙ）＆ ∀ｚ（～鼻ｚｘ→～長ｚ）｝。
③ ∀ｘ｛象ｘ→ ∃ｙ（鼻ｙｘ＆長ｙ）＆～∀ｚ（～鼻ｚｘ→～長ｚ）｝。
④ ∀ｘ｛象ｘ→［∃ｙ（鼻ｙｘ＆長ｙ）＆ ∀ｚ（～鼻ｚｘ→～長ｚ）］＆［∃ｙ（鼻ｙｘ＆長ｙ）＆∀ｚ（～鼻ｚｘ→～長ｚ）］→象ｘ｝｝。
という「述語論理式」に「対応」する。
然るに、
（02）
① 象は鼻は長い。
② ∀ｘ｛象ｘ→ ∃ｙ（鼻ｙｘ＆長ｙ）｝。
③ すべてのｘについて｛ｘが象ならば、あるｙは（ｘ鼻であって、長い）｝。
において、
①＝②＝③ である。
然るに、
（03）
１ （１）∀ｘ｛象ｘ→∃ｙ（鼻ｙｘ＆長ｙ）＆∀ｚ（～鼻ｚｘ→～長ｚ）｝ Ａ
２ （２）∀ｘ｛兎ｘ→∃ｙ（長ｙ＆耳ｙｘ）＆∀ｚ（耳ｚｘ→～鼻ｚｘ）｝ Ａ
３ （３）∃ｘ（兎ｘ＆象ｘ） Ａ
１ （４） 象ａ→∃ｙ（鼻ｙａ＆長ｙ）＆∀ｚ（～鼻ｚａ→～長ｚ） １ＵＥ
２ （５） 兎ａ→∃ｙ（長ｙ＆耳ｙａ）＆∀ｚ（耳ｚａ→～鼻ｚａ） ２ＵＥ
６ （６） 兎ａ＆象ａ Ａ
６ （７） 兎ａ ６＆Ｅ
６ （８） 象ａ ６＆Ｅ
１ ６ （９） ∃ｙ（鼻ｙａ＆長ｙ）＆∀ｚ（～鼻ｚａ→～長ｚ） ４８ＭＰＰ
２ ６ （ア） ∃ｙ（長ｙ＆耳ｙａ）＆∀ｚ（耳ｚａ→～鼻ｚａ） ５７ＭＰＰ
１ ６ （イ） ∃ｙ（鼻ｙａ＆長ｙ） ９＆Ｅ
ウ （ウ） 鼻ｂａ＆長ｂ Ａ
２ ６ （エ） ∃ｙ（長ｙ＆耳ｙａ） ア＆Ｅ
オ（オ） 長ｂ＆耳ｂａ Ａ
オ（カ） 耳ｂａ オ＆Ｅ
１ ６ （キ） ∀ｚ（～鼻ｚａ→～長ｚ） ９＆Ｅ
２ ６ （ク） ∀ｚ（耳ｚａ→～鼻ｚａ） ア＆Ｅ
１ ６ （ケ） ～鼻ｂａ→～長ｂ キＵＥ
２ ６ （コ） 耳ｂａ→～鼻ｂａ クＵＥ
２ ６ オ（サ） ～鼻ｂａ カコＭＰＰ
１２ ６ オ（シ） ～長ｂ ケサＭＰＰ
オ（ス） 長ｂ オ＆Ｅ
１２ ６ オ（セ） 長ｂ＆～長ｂ シス＆Ｉ
１２ ６ （ソ） 長ｂ＆～長ｂ エオセＥＥ
１２３ （タ） 長ｂ＆～長ｂ ３６ソＥＥ
１２ （チ）～∃ｘ（兎ｘ＆象ｘ） ３タＲＡＡ
１２ （ツ）∀ｘ～（兎ｘ＆象ｘ） チ量化子の関係
１２ （テ） ～（兎ａ＆象ａ） ツＵＥ
１２ （ト） ～兎ａ∨～象ａ テ、ド・モルガンの法則
１２ （ナ） 兎ａ→～象ａ ト含意の定義
１２ （ニ）∀ｘ（兎ｘ→～象ｘ） ナＵＩ
従って、
（03）により、
（04）
（ⅰ）∀ｘ｛象ｘ→∃ｙ（鼻ｙｘ＆長ｙ）＆∀ｚ（～鼻ｚｘ→～長ｚ）｝。然るに、
（ⅱ）∀ｘ｛兎ｘ→∃ｙ（長ｙ＆耳ｙｘ）＆∀ｚ（耳ｚｘ→～鼻ｚｘ）｝。従って、
（ⅲ）∀ｘ（兎ｘ→～象ｘ）。
といふ『推論』、すなはち、
（ⅰ）すべてのｘについて｛ｘが象であるならば、あるｙはｘの鼻であって、長く、すべてのｚについて（ｚがｘの鼻でないならば、ｚは長くない）｝。 然るに、
（ⅱ）すべてのｘについて｛ｘが兎であるならば、あるｙは長くて、ｘの耳であり、すべてのｚについて（ｚがｘの耳であるならば、ｚはｘの鼻ではない）｝。従って、
（ⅲ）すべてのｘについて（ｘが兎であるならば、ｘは象ではない。）
といふ『推論』、すなはち、
（ⅰ）象は鼻が長い。然るに、
（ⅱ）兎の耳は長いが、耳は鼻ではない。従って、
（ⅲ）兎は象ではない。
といふ「推論（三段論法）」は、「妥当」である。
然るに、
（05）
（ⅲ）
１ （１）∀ｘ｛象ｘ→∃ｙ（鼻ｙｘ＆長ｙ）＆～∀ｚ（～鼻ｚｘ→～長ｚ）｝ Ａ
１ （２） 象ａ→∃ｙ（鼻ｙａ＆長ｙ）＆～∀ｚ（～鼻ｚａ→～長ｚ） １ＵＥ
３ （３） 象ａ Ａ
１３ （４） ∃ｙ（鼻ｙａ＆長ｙ）＆～∀ｚ（～鼻ｚａ→～長ｚ） ２３ＭＰＰ
１３ （５） ∃ｙ（鼻ｙａ＆長ｙ） ４＆Ｅ
１３ （６） ～∀ｚ（～鼻ｚａ→～長ｚ） ４＆Ｅ
１３ （７） ∃ｚ～（～鼻ｚａ→～長ｚ） ６量化子の関係
８（８） ～（～鼻ｃａ→～長ｃ） Ａ
８（９） ～（ 鼻ｃａ∨～長ｃ） ８含意の定義
８（ア） ～鼻ｃａ＆ 長ｃ ア、ド・モルガンの法則
８（イ） ∃ｚ（～鼻ｚａ＆ 長ｚ） イＥＩ
１３ （ウ） ∃ｚ（～鼻ｚａ＆ 長ｚ） ３８ＥＥ
１３ （エ） ∃ｙ（鼻ｙａ＆長ｙ）＆∃ｚ（～鼻ｚａ＆ 長ｚ） ５ウ＆Ｉ
１ （オ） 象ａ→∃ｙ（鼻ｙａ＆長ｙ）＆∃ｚ（～鼻ｚａ＆ 長ｚ） ３エＣＰ
１ （カ） ∀ｘ｛象ｘ→∃ｙ（鼻ｙｘ＆長ｙ）＆∃ｚ（～鼻ｚｘ＆ 長ｚ）｝ カＵＩ
（〃）
１ （１） ∀ｘ｛象ｘ→∃ｙ（鼻ｙｘ＆長ｙ）＆∃ｚ（～鼻ｚｘ＆ 長ｚ）｝ Ａ
１ （２） 象ａ→∃ｙ（鼻ｙａ＆長ｙ）＆∃ｚ（～鼻ｚａ＆ 長ｚ） １ＵＥ
３ （３） 象ａ Ａ
１３ （４） ∃ｙ（鼻ｙａ＆長ｙ）＆∃ｚ（～鼻ｚａ＆ 長ｚ） ２３ＭＰＰ
１３ （５） ∃ｙ（鼻ｙａ＆長ｙ） ４＆Ｅ
１３ （６） ∃ｚ（～鼻ｚａ＆ 長ｚ） ４＆Ｅ
７（７） ～鼻ｃａ＆ 長ｃ Ａ
７（８） ～（ 鼻ｃａ∨～長ｃ） ７ド・モルガンの法則
７（９） ～（～鼻ｃａ→～長ｃ） ８含意の定義
７（ア） ∃ｚ～（～鼻ｚａ→～長ｚ） ９ＥＩ
１３ （イ） ∃ｚ～（～鼻ｚａ→～長ｚ） ６７イＥＥ
１３ （ウ） ～∀ｚ（～鼻ｚａ→～長ｚ） ア量化子の関係
１３ （エ） ∃ｙ（鼻ｙａ＆長ｙ）＆～∀ｚ（～鼻ｚａ→～長ｚ） ５ウ＆Ｉ
１ （オ） 象ａ→∃ｙ（鼻ｙａ＆長ｙ）＆～∀ｚ（～鼻ｚａ→～長ｚ） ３エＣＰ
１ （カ）∀ｘ｛象ｘ→∃ｙ（鼻ｙｘ＆長ｙ）＆～∀ｚ（～鼻ｚｘ→～長ｚ）｝ オＵＩ
従って、
（01）（05）により、
（06）
① 象は鼻も長い。
② ∀ｘ｛象ｘ→∃ｙ（鼻ｙｘ＆長ｙ）＆～∀ｚ（～鼻ｚｘ→～長ｚ）｝。
③ ∀ｘ｛象ｘ→∃ｙ（鼻ｙｘ＆長ｙ）＆ ∃ｚ（～鼻ｚｘ＆ 長ｚ）｝。
④ すべてのｘについて｛ｘが象であるならば、あるｙは（ｘの鼻であって、長い）ものの、［すべてのｚについて（ｚがｘの鼻ではないならば、ｚは長くない）］というわけではない｝。
⑤ すべてのｘについて｛ｘが象であるならば、あるｙは（ｘの鼻であって、長い）ものの、あるｚは（ｘの鼻ではないが、長い）｝。
において、
①＝②＝③＝④＝⑤ である。
ｃｆ.
マンモス象は、鼻だけでなく、牙も長い。
然るに、
（07）
１ （１）∀ｘ｛象ｘ→［∃ｙ（鼻ｙｘ＆長ｙ）＆∀ｚ（～鼻ｚｘ→～長ｚ）］＆［∃ｙ（鼻ｙｘ＆長ｙ）＆∀ｚ（～鼻ｚｘ→～長ｚ）］→象ｘ｝ Ａ
２ （２）∀ｘ（兎ｘ→～象ｘ） Ａ
１ （３） 象ａ→［∃ｙ（鼻ｙａ＆長ｙ）＆∀ｚ（～鼻ｚａ→～長ｚ）］＆［∃ｙ（鼻ｙａ＆長ｙ）＆∀ｚ（～鼻ｚａ→～長ｚ）］→象ａ １ＵＥ
１ （４） ［∃ｙ（鼻ｙａ＆長ｙ）＆∀ｚ（～鼻ｚａ→～長ｚ）］→象ａ ３＆Ｅ
２ （５） 兎ａ→～象ａ ２ＵＥ
６ （６） 兎ａ Ａ
２６ （７） ～象ａ ５６ＭＰＰ
１２６ （８） ～［∃ｙ（鼻ｙａ＆長ｙ）＆ ∀ｚ（～鼻ｚａ→～長ｚ）］ ４７ＭＴＴ
１２６ （９） ～∃ｙ（鼻ｙａ＆長ｙ）∨～∀ｚ（～鼻ｚａ→～長ｚ） ８ド・モルガンの法則
１２６ （ア） ∃ｙ（鼻ｙａ＆長ｙ）→～∀ｚ（～鼻ｚａ→～長ｚ） ９含意の定義
イ （イ） ∃ｙ（鼻ｙａ＆長ｙ） Ａ
１２６イ （ウ） ～∀ｚ（～鼻ｚａ→～長ｚ） アイＭＰＰ
１２６イ （エ） ∃ｚ～（～鼻ｚａ→～長ｚ） ウ量化子の関係
オ（オ） ～（～鼻ｃａ→～長ｃ） Ａ
オ（カ） ～（ 鼻ｃａ∨～長ｃ） オ含意の定義
オ（キ） ～鼻ｃａ＆ 長ｃ カ、ド・モルガンの法則
オ（ク） ∃ｚ（～鼻ｚａ＆ 長ｚ） キＥＩ
１２６イ （ケ） ∃ｚ（～鼻ｚａ＆ 長ｚ） エオクＥＥ
１２６ （コ） ∃ｙ（鼻ｙａ＆長ｙ）→ ∃ｚ（～鼻ｚａ＆ 長ｚ） イケＣＰ
１２ （サ） 兎ａ→［∃ｙ（鼻ｙａ＆長ｙ）→∃ｚ（～鼻ｚａ＆長ｚ）］ ６コＣＰ
１２ （シ）∀ｘ｛兎ｘ→［∃ｙ（鼻ｙｘ＆長ｙ）→∃ｚ（～鼻ｚｘ＆長ｚ）］｝ サＵＩ
従って、
（01）（07）により、
（08）
（ⅰ）∀ｘ｛象ｘ→［∃ｙ（鼻ｙｘ＆長ｙ）＆∀ｚ（～鼻ｚｘ→～長ｚ）］＆［∃ｙ（鼻ｙｘ＆長ｙ）＆∀ｚ（～鼻ｚｘ→～長ｚ）］→象ｘ｝。然るに、
（ⅱ）∀ｘ（兎ｘ→～象ｘ）。従って、
（ⅲ）∀ｘ｛兎ｘ→［∃ｙ（鼻ｙｘ＆長ｙ）→∃ｚ（～鼻ｚｘ＆長ｚ）］｝。
という「推論」、すなわち、
（ⅰ）象が鼻が長い。 然るに、
（ⅱ）兎は象ではない。 従って、
（ⅲ）兎の鼻が長いならば、鼻以外も長い。
という「推論」は、「妥当」である。
ｃｆ.
（画像は、コパイロットが作成）
令和７年６月２５日、毛利太。
