（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）
例えば、
④ 書足以記名姓而已。
という「漢文」が、
④ すべてのｘについて｛ｘが書であるならば、・・・・・・｝。
という「意味」であるならば、
④ 書足以記名姓而已⇒
④ 書は以て名姓を記するに足るのみ。
という「漢文訓読」において、
④ 書 は「主語」である。
令和７年７月５日、毛利太。
