2025年4月13日日曜日

「パースの法則」は「排中律」である（Ⅱ）。

（01）パースの法則（パースのほうそく）は哲学者であり論理学者であるチャールズ・サンダース・パースにちなむ論理学における法則である。彼の最初の命題論理の公理化において、この法則を公理に採用した。この公理は、含意と呼ばれるただひとつの結合子を持つ体系における排中律であると考えることもできる。命題計算では、パースの法則は（（Ｐ→Ｑ）→Ｐ）→Ａのことを言う。この意味するところを書き出すと、命題Ｐについて、命題Ｑが存在して、「ＰならばＱ」からＰが真であることが従うときには、Ｐは真でなければならないとなる。とりわけ、Ｑとして偽を選んだ場合には、Ｐから偽が従うときは常にＰが真であるならば、Ｐは真であるとなる（ウィキペディア）。然るに、（02）（ⅰ）１　　（１）　　　～Ｐ∨Ｐ　　　　　　　　Ａ　２　（２）　　　～Ｐ　　　　　　　　　　Ａ　２　（３）　　（～Ｐ∨Ｑ）　　　　　　　２∨Ｉ　２　（４）　　（～Ｐ∨Ｑ）＆～Ｐ　　　　１３＆Ｉ　２　（５）～（～（～Ｐ∨Ｑ）∨Ｐ）　　　４ド・モルガンの法則　２　（６）～（～（～Ｐ∨Ｑ）∨Ｐ）∨Ｐ　５∨Ｉ　　７（７）　　　　　　　　　　　　　Ｐ　Ａ　　７（８）～（～（～Ｐ∨Ｑ）∨Ｐ）∨Ｐ　７∨Ｉ１　　（９）～（～（～Ｐ∨Ｑ）∨Ｐ）∨Ｐ　１２６７８∨Ｅ１　　（ア）　（～（～Ｐ∨Ｑ）∨Ｐ）→Ｐ　９含意の定義１　　（イ）　（　（～Ｐ∨Ｑ）→Ｐ）→Ｐ　ア含意の定義１　　（ウ）　（　（　Ｐ→Ｑ）→Ｐ）→Ｐ　イ含意の定義（ⅱ）１　　（１）　（　（　Ｐ→Ｑ）→Ｐ）→Ｐ　Ａ１　　（２）　（　（～Ｐ∨Ｑ）→Ｐ）→Ｐ　１含意の定義１　　（３）　（～（～Ｐ∨Ｑ）∨Ｐ）→Ｐ　２含意の定義１　　（４）～（～（～Ｐ∨Ｑ）∨Ｐ）∨Ｐ　３含意の定義　５　（５）～（～（～Ｐ∨Ｑ）∨Ｐ）　　　Ａ　５　（６）　　（～Ｐ∨Ｑ）＆～Ｐ　　　　ド・モルガンの法則　５　（７）　　　　　　　　　～Ｐ　　　　６＆Ｅ　５　（８）　　　　　　　　　～Ｐ∨Ｐ　　７∨Ｉ　　９（９）　　　　　　　　　　　　　Ｐ　Ａ　　９（ア）　　　　　　　　　　～Ｐ∨Ｐ　９∨Ｉ１　　（イ）　　　　　　　　　　～Ｐ∨Ｐ　１５８９ア∨Ｅ従って、（01）（02）により、（03） ①（～Ｐ∨Ｐ） ②（（Ｐ→Ｑ）→Ｐ）→Ｐ ① は「排中律（恒真式）」であって、 ② は「パースの法則」　　であって、 ①＝② である。然るに、（04）（ⅲ）１　　（１）　～（～Ｐ∨Ｐ）　　Ａ　２　（２）　　　～Ｐ　　　　　Ａ　２　（３）　　　～Ｐ∨Ｐ　　　２∨Ｉ１２　（４）　～（～Ｐ∨Ｐ）＆　　　　　　　　（～Ｐ∨Ｐ）　　１３＆Ｉ１　　（５）　　～～Ｐ　　　　　２４ＲＡＡ１　　（６）　　　　Ｐ　　　　　５ＤＮ　　７（７）　　　　　　Ｐ　　　Ａ　　７（８）　　　～Ｐ∨Ｐ　　　７∨Ｉ１　７（９）～（～Ｐ∨Ｐ）＆　　　　　　　（～Ｐ∨Ｐ）　　　１８＆Ｉ１　　（ア）　　　　　～Ｐ　　　７９ＲＡＡ１　　（イ）　　　Ｐ＆～Ｐ　　　６ア＆Ｉ　　　（ウ）～～（～Ｐ∨Ｐ）　　１イＲＡＡ　　　（エ）　　　～Ｐ∨Ｐ　　　ウＤＮ（ⅳ）１　　　　（１）　～｛　（　（　Ｐ→Ｑ）→Ｐ）→　Ｐ｝　Ａ１　　　　（２）　～｛　（　（～Ｐ∨Ｑ）→Ｐ）→　Ｐ｝　１含意の定義１　　　　（３）　～｛　（～（～Ｐ∨Ｑ）∨Ｐ）→　Ｐ｝　２含意の定義１　　　　（４）　～｛～（～（～Ｐ∨Ｑ）∨Ｐ）∨　Ｐ｝　３含意の定義１　　　　（５）　　　　（～（～Ｐ∨Ｑ）∨Ｐ）＆～Ｐ　　４ド・モルガンの法則１　　　　（６）　　　　　～（～Ｐ∨Ｑ）∨Ｐ　　　　　　５＆Ｅ　７　　　（７）　　　　　～（～Ｐ∨Ｑ）　　　　　　　　Ａ　７　　　（８）　　　　　　　Ｐ＆～Ｑ　　　　　　　　　７ド・モルガンの法則　７　　　（９）　　　　　　（Ｐ＆～Ｑ）∨Ｐ　　　　　　８∨Ｉ　　ア　　（ア）　　　　　　　　　　　　　Ｐ　　　　　　Ａ　　ア　　（イ）　　　　　　（Ｐ＆～Ｑ）∨Ｐ　　　　　　ア∨Ｉ１　　　　（ウ）　　　　　　（Ｐ＆～Ｑ）∨Ｐ　　　　　　６７９アイ∨Ｅ　　　エ　（エ）　　　　　　（Ｐ＆～Ｑ）　　　　　　　　Ａ　　エ　（オ）　　　　　　　Ｐ　　　　　　　　　　　　エ＆Ｅ　　　　カ（カ）　　　　　　　　　　　　　Ｐ　　　　　　Ａ１　　　　（キ）　　　　　　　　　　　　　Ｐ　　　　　　ウエオカカ∨Ｅ１　　　　（ク）　　　　　　　　　　　　　　　　～Ｐ　　５＆Ｅ１　　　　（ケ）　　　　　　　　　　　　　　Ｐ＆～Ｐ　　キク＆Ｉ　　　　　（コ）～～｛　（　（　Ｐ→Ｑ）→Ｐ）→　Ｐ｝　１ケＲＡＡ　　　　　（サ）　　　　（　（　Ｐ→Ｑ）→Ｐ）→　Ｐ　　コＤＮ（05）背理法（はいりほう、英: proof by contradiction, reduction to the absurd, indirect proof, apagogical argument など、羅: reductio ad absurdum, ＲＡＡ）とは、ある命題Ａを証明したいときに、Ａが偽であることを仮定して、そこから矛盾を導くことによって、Ａが偽であるという仮定が誤り、つまりＡは真であると結論付けることである[1]。帰謬法（きびゅうほう）とも言う（ウィキペディア）。従って、（04）（05）により、（06） ①「排中律（～Ｐ∨Ｐ）」を「否定」すると、「背理法（ＲＡＡ）と二重否定（ＤＮ）」により、 ①「排中律（～Ｐ∨Ｐ）」が「導出」され、 ②「パースの法則｛（（Ｐ→Ｑ）→Ｐ）→Ｐ｝」を「否定」すると、「背理法（ＲＡＡ）と二重否定（ＤＮ）」により、 ②「パースの法則｛（（Ｐ→Ｑ）→Ｐ）→Ｐ｝」が「導出」される。然るに、（07） ①「排中律（～Ｐ∨Ｐ）」を「否定」すると、「背理法（ＲＡＡ）」により、 ①「排中律（～Ｐ∨Ｐ）」が「導出」される。ということは、 ②「排中律（～Ｐ∨Ｐ）」は「否定が、不可能」である。ということに、「他ならない」。従って、（06）（07）により、（08） ①　　　　　　　　　　「排中律（～Ｐ∨Ｐ）」は、「否定が、不可能」であり、 ②「パースの法則｛（（Ｐ→Ｑ）→Ｐ）→Ｐ｝」も、「否定が、不可能」である。という「意味」において、「排中律と、パースの法則」は、「恒真式（トートロジー）」である。然るに、（09） ①（～Ｐ∨Ｐ） ②（（Ｐ→Ｑ）→Ｐ）→Ｐにおいて、 ① は「排中律」　　　であって、 ② は「パースの法則」であって、 ①＝② である。ということからすれば、 ②（（Ｐ→Ｑ）→Ｐ）→Ｐにおける、 ②　　　　Ｑは、「排中律（～Ｐ∨Ｐ）の要素」としては、「不要」である。という、ことになる。然るに、（10）（ⅱ）１　　（１）　（Ｐ→　Ｑ）→Ｐ　　　　Ａ１　　（２）　（～Ｐ∨Ｑ）→Ｐ　　　　１含意の定義１　　（３）～（～Ｐ∨Ｑ）∨Ｐ　　　　２含意の定義　４　（４）～（～Ｐ∨Ｑ）　　　　　　Ａ　４　（５）　　Ｐ＆～Ｑ　　　　　　　４ド・モルガンの法則　４　（６）　　Ｐ　　　　　　　　　　５＆Ｅ　　７（７）　　　　　　　　Ｐ　　　　Ａ１　　（８）　　　　　　　　Ｐ　　　　３４６７７∨Ｅ　　　（９）（（Ｐ→　Ｑ）→Ｐ）→Ｐ　１８ＣＰ（ⅲ）１　　（１）　（Ｐ→　～Ｑ）→Ｐ　　　Ａ１　　（２）　（～Ｐ∨～Ｑ）→Ｐ　　　１含意の定義１　　（３）～（～Ｐ∨～Ｑ）∨Ｐ　　　２含意の定義　４　（４）～（～Ｐ∨～Ｑ）　　　　　Ａ　４　（５）　　　Ｐ＆　Ｑ　　　　　　４ド・モルガンの法則　４　（６）　　　Ｐ　　　　　　　　　５＆Ｅ　　７（７）　　　　　　　　　Ｐ　　　Ａ１　　（８）　　　　　　　　　Ｐ　　　３４６７７∨Ｅ　　　（９）（（Ｐ→～Ｑ）→Ｐ）→Ｐ　１８ＣＰ従って、（01）（10）により、（11） ②├（（Ｐ→　Ｑ）→Ｐ）→Ｐ ③├（（Ｐ→～Ｑ）→Ｐ）→Ｐという「連式（Sequents）」において、 ② が「パースの法則」であるならば、 ③ も「パースの法則」である。従って、（11）により、（12） ②（（Ｐ→　Ｑ）→Ｐ）→Ｐ ③（（Ｐ→～Ｑ）→Ｐ）→Ｐにおいて、すなわち、 ②（（Ｐであるならば、Ｑである）ならばＰである）ならばＰである。 ③（（Ｐであるならば、Ｑでない）ならばＰである）ならばＰである。において、 ② が「パースの法則」であるならば、 ③ も「パースの法則」である。従って、（12）により、（13） ②（（Ｐ→Ｑ）→Ｐ）→Ｐ ②（（Ｐであるならば、Ｑである）ならばＰである）ならばＰである。における、 ② Ｑ ② Ｑである。には、「事実上」、「意味は無い」。従って、（14） ②（（Ｐであるならば、Ｑである）ならばＰである）ならばＰである。における、 ②　　　　　　　　　　Ｑである。には、「意味が無い」にも拘わらず、 ② 　　　　　　　　　Ｑである。に対して、「意味」を「見出そうとする」と、 ②（（Ｐ→Ｑ）→Ｐ）→Ｐ ②（（Ｐであるならば、Ｑである）ならばＰである）ならばＰである。という「恒真式（トートロジー）」は、「奇異」に感じる。という、ことになる。令和７年４月１３日、毛利太。

2025年4月12日土曜日

「パースの法則」は「排中律」である。

（01）命題計算では、パースの法則は（（Ｐ→Ｑ）→Ｐ）→Ｐのことを言う。この意味するところを書き出すと、命題Ｐについて、命題Ｑが存在して、「ＰならばＱ」からＰが真であることが従うときには、Ｐは真でなければならないとなる。とりわけ、Ｑとして偽を選んだ場合には、Ｐから偽が従うときは常にＰが真であるならば、Ｐは真であるとなる（ウィキペディア）。という「説明」は、「（私には）よく分からない」。然るに、（02）（ⅰ）１　　（１）　（　（　Ｐ→Ｑ）→Ｐ）→Ｐ　Ａ１　　（２）　（　（～Ｐ∨Ｑ）→Ｐ）→Ｐ　１含意の定義１　　（３）　（～（～Ｐ∨Ｑ）∨Ｐ）→Ｐ　２含意の定義１　　（４）～（～（～Ｐ∨Ｑ）∨Ｐ）∨Ｐ　３含意の定義　５　（５）～（～（～Ｐ∨Ｑ）∨Ｐ）　　　Ａ　５　（６）　　（～Ｐ∨Ｑ）＆～Ｐ　　　　ド・モルガンの法則　５　（７）　　　　　　　　　～Ｐ　　　　６＆Ｅ　５　（８）　　　　　　　　　～Ｐ∨Ｐ　　７∨Ｉ　　９（９）　　　　　　　　　　　　　Ｐ　Ａ　　９（ア）　　　　　　　　　　～Ｐ∨Ｐ　９∨Ｉ１　　（イ）　　　　　　　　　　～Ｐ∨Ｐ　１５８９ア∨Ｅ（ⅱ）１　　（１）　　　～Ｐ∨Ｐ　　　　　　　　Ａ　２　（２）　　　～Ｐ　　　　　　　　　　Ａ　２　（３）　　（～Ｐ∨Ｑ）　　　　　　　２∨Ｉ　２　（４）　　（～Ｐ∨Ｑ）＆～Ｐ　　　　１３＆Ｉ　２　（５）～（～（～Ｐ∨Ｑ）∨Ｐ）　　　４ド・モルガンの法則　２　（６）～（～（～Ｐ∨Ｑ）∨Ｐ）∨Ｐ　５∨Ｉ　　７（７）　　　　　　　　　　　　　Ｐ　Ａ　　７（８）～（～（～Ｐ∨Ｑ）∨Ｐ）∨Ｐ　７∨Ｉ１　　（９）～（～（～Ｐ∨Ｑ）∨Ｐ）∨Ｐ　１２６７８∨Ｅ１　　（ア）　（～（～Ｐ∨Ｑ）∨Ｐ）→Ｐ　９含意の定義１　　（イ）　（　（～Ｐ∨Ｑ）→Ｐ）→Ｐ　ア含意の定義１　　（ウ）　（　（　Ｐ→Ｑ）→Ｐ）→Ｐ　イ含意の定義従って、（02）により、（03） ①（（Ｐ→Ｑ）→Ｐ）→Ｐ ②（～Ｐ∨Ｐ）は「排中律」。において、すなわち、 ①（（Ｐであるならば、Ｑである）ならば、Ｐである）ならば、Ｐである。 ②　（Ｐでないか、または、Ｐである）。において、 ①＝② である。従って、（01）（03）により、（04）いずれにせよ、 ①「パースの法則」。 ②「排中律」。において、 ①＝② である。令和７年４月１２日、毛利太。

「論理学の３原則」は「恒真式」である。

（01）１　　　（１）　～（Ｐ＆～Ｑ）　　Ａ　２　　（２）　～（～Ｐ∨Ｑ）　　Ａ　　３　（３）　　　～Ｐ　　　　　Ａ　　３　（４）　　　～Ｐ∨Ｑ　　　３∨Ｉ　２３　（５）　～（～Ｐ∨Ｑ）＆　　　　　　　　　（～Ｐ∨Ｑ）　　１４＆Ｉ　２　　（６）　　～～Ｐ　　　　　３ＲＡＡ　２　　（７）　　　　Ｐ　　　　　９ＤＮ　　　８（８）　　　　　　Ｑ　　　Ａ　　　８（９）　　　～Ｐ∨Ｑ　　　８∨Ｉ１　　８（ア）　～（～Ｐ∨Ｑ）＆　　　　　　　　　（～Ｐ∨Ｑ）　　１９＆Ｉ１　　　（イ）　　　　　～Ｑ　　　８アＲＡＡ１２　　（ウ）　　　Ｐ＆～Ｑ　　　７イ＆Ｉ１２　　（エ）　～（Ｐ＆～Ｑ）＆　　　　　　　　　（Ｐ＆～Ｑ）　　１ウ＆Ｉ１　　　（オ）～～（～Ｐ∨Ｑ）　　２エＲＡＡ１　　　（カ）　　　～Ｐ∨Ｑ　　　オＤＮ（ⅱ）１　　　（１）　～Ｐ∨　Ｑ　　Ａ　２　　（２）　　Ｐ＆～Ｑ　　Ａ　　３　（３）　～Ｐ　　　　　Ａ　２　　（４）　　Ｐ　　　　　２＆Ｅ　２３　（５）　～Ｐ＆Ｐ　　　３４＆Ｉ　　３　（６）～（Ｐ＆～Ｑ）　２５ＲＡＡ　　　７（７）　　　　　Ｑ　　Ａ　２　　（８）　　　　～Ｑ　　２＆Ｅ　２　７（９）　　Ｑ＆～Ｑ　　７８＆Ｉ　　　７（ア）～（Ｐ＆～Ｑ）　２９ＲＡＡ１　　　（イ）～（Ｐ＆～Ｑ）　１３６７ア∨Ｅ従って、（01）により、（02） ① ～（Ｐ＆～Ｑ） ②　～Ｐ∨　Ｑにおいて、 ①＝② は、「ド・モルガンの法則」である。然るに、（03）（ⅱ）１　　（１）　～Ｐ∨　Ｑ　　　Ａ１　　（２）～（Ｐ＆～Ｑ）　　１ド・モルガンの法則　３　（３）　　Ｐ　　　　　　Ａ　　４（４）　　　　～Ｑ　　　Ａ　３４（５）　　Ｐ＆～Ｑ　　　３４＆Ｉ１３４（６）～（Ｐ＆～Ｑ）＆　　　　　　　（Ｐ＆～Ｑ）　　２５＆Ｉ１３　（７）　　　～～Ｑ　　　４６ＲＡＡ１３　（８）　　　　　Ｑ　　　７ＤＮ１　　（９）　　Ｐ→　Ｑ　　　３８ＣＰ（ⅲ）１　（１）　　Ｐ→　Ｑ　　Ａ　２（２）　　Ｐ＆～Ｑ　　Ａ　２（３）　　Ｐ　　　　　２＆Ｅ１２（４）　　　　　Ｑ　　１３ＭＰＰ　２（５）　　　　～Ｑ　　２＆Ｅ１２（６）　　Ｑ＆～Ｑ　　４５＆Ｉ１　（７）～（Ｐ＆～Ｑ）　２６ＲＡＡ１　（８）　～Ｐ∨　Ｑ　　７ド・モルガンの法則従って、（03）により、（04） ② ～Ｐ∨Ｑ ③ 　Ｐ→Ｑにおいて、 ②＝③ は、「含意の定義」である。従って、（02）（04）により、（05） ① ～（Ｐ＆～Ｑ） ②　～Ｐ∨　Ｑ ③　　Ｐ→　Ｑにおいて、 ①＝② 　　であって、　　②＝③ であるため、 ①＝②＝③ である。従って、（05）により、（06） ① ～（Ｐ＆～Ｑ） ②　～Ｐ∨　Ｑ ③ Ｐ→　Ｑにおいて、Ｑ＝Ｐという「代入（置き換え）」を行うと、 ① ～（Ｐ＆～Ｐ） ②　～Ｐ∨　Ｐ ③ Ｐ→　Ｐにおいて、すなわち、 ①（Ｐであって、Ｐでない）ということは無い。 ② Ｐでないか、または、Ｐである。 ③　Ｐであるならば、Ｐである。において、すなわち ① 矛盾律。 ② 排中律。 ③ 同一律。において、 ①＝②＝③ である。然るに、（07）（ⅰ）１（１）～～（Ｐ＆～Ｐ）　Ａ１（２）　　　Ｐ＆～Ｐ　　１ＤＮ　（３）　～（Ｐ＆～Ｐ）　２ＲＡＡ（ⅱ）１（１）　～（～Ｐ∨Ｐ）　Ａ１（２）　　　Ｐ＆～Ｐ　　１ド・モルガンの法則　（３）～～（～Ｐ∨Ｐ）　２ＲＡＡ　（４）　　　～Ｐ∨Ｐ　　３ＤＮ（ⅲ）１　（１）　～（Ｐ→Ｐ）　　Ａ　２（２）　　～Ｐ∨Ｐ　　　Ａ　２（３）　　　Ｐ→Ｐ　　　２含意の定義１２（４）　～（Ｐ→Ｐ）＆　　　　　　　（Ｐ→Ｐ）　　１３＆Ｉ１　（５）～（～Ｐ∨Ｐ）　　２４ＲＡＡ１　（６）　　Ｐ＆～Ｐ　　　５ド・モルガンの法則　　（７）～～（Ｐ→Ｐ）　　１６ＲＡＡ　　（８）　　　Ｐ→Ｐ　　　７ＤＮ従って、（06）（07）により、（08） ① ～（Ｐ＆～Ｐ） ②　～Ｐ∨　Ｐ ③ Ｐ→　Ｐを「否定」すると、すなはち、 ① 矛盾律。 ② 排中律。 ③ 同一律。を「否定」すると、「矛盾（Ｐ＆～Ｐ）」が生じるため、「背理法（ＲＡＡ）」により、 ① 矛盾律。 ② 排中律。 ③ 同一律。となる。従って、（08）により、（09） ① 矛盾律。 ② 排中律。 ③ 同一律。は、「偽」であることが「不可能」であり、それ故、「論理学の３原則」である所の、 ① 矛盾律。 ② 排中律。 ③ 同一律。は、「恒真式（トートロジー）」である。令和７年４月１２日、毛利太。

2025年4月11日金曜日

「含意（Ｐならば、Ｑである）」について。

（01）１　　　　　　　　　　　（１）　～Ｐ　　　　　　Ａ１　　　　　　　　　　　（２）　～Ｐ∨　Ｑ　　　１∨Ｉ　３　　　　　　　　　　（３）　　Ｐ＆～Ｑ　　　Ａ　　４　　　　　　　　　（４）　～Ｐ　　　　　　Ａ　３　　　　　　　　　　（５）　　Ｐ　　　　　　３＆Ｅ　３４　　　　　　　　　（６）　～Ｐ＆Ｐ　　　　４５＆Ｉ　　４　　　　　　　　　（７）～（Ｐ＆～Ｑ）　　３６ＲＡＡ　　　８　　　　　　　　（８）　　　　　Ｑ　　　Ａ　３　　　　　　　　　　（９）　　　　～Ｑ　　　３＆Ｅ　３　８　　　　　　　　（ア）　　Ｑ＆～Ｑ　　　８９＆Ｉ　　　８　　　　　　　　（イ）～（Ｐ＆～Ｑ）　　３アＲＡＡ１　　　　　　　　　　　（ウ）～（Ｐ＆～Ｑ）　　２４７８イ∨Ｅ　　　　エ　　　　　　　（エ）　　Ｐ　　　　　　Ａ　　　　　オ　　　　　　（オ）　　　　～Ｑ　　　Ａ　　　　エオ　　　　　　（カ）　　Ｐ＆～Ｑ　　　エオ＆Ｉ１　　　エオ　　　　　　（キ）～（Ｐ＆～Ｑ）＆　　　　　　　　　　　　　　　　（Ｐ＆～Ｑ）　　ウカ＆Ｉ１　　　エ　　　　　　　（ク）　　　～～Ｑ　　　オキＲＡＡ１　　　エ　　　　　　　（ケ）　　　　　Ｑ　　　クＤＮ１　　　　　　　　　　　（コ）　　Ｐ→　Ｑ　　　エケＣＰ１　　　　　　　　　　　（サ）　～Ｐ∨～Ｑ　　　１∨Ｉ　　　　　　シ　　　　　（シ）　　Ｐ＆　Ｑ　　　Ａ　　　　　　　ス　　　　（ス）　～Ｐ　　　　　　Ａ　　　　　　シ　　　　　（セ）　　Ｐ　　　　　　シ＆Ｅ　　　　　　シス　　　　（ソ）　～Ｐ＆Ｐ　　　　シス＆Ｉ　　　　　　　ス　　　　（タ）～（Ｐ＆　Ｑ）　　シソＲＡＡ　　　　　　　　チ　　　（チ）　　　　～Ｑ　　　Ａ　　　　　　シ　　　　　（ツ）　　　　　Ｑ　　　シ＆Ｅ　　　　　　シ　チ　　　（テ）　　～Ｑ＆Ｑ　　　チツ＆Ｉ　　　　　　　　チ　　　（ト）～（Ｐ＆　Ｑ）　　シテＲＡＡ１　　　　　　　　　　　（ナ）～（Ｐ＆　Ｑ）　　サスタチト∨Ｅ　　　　　　　　　ニ　　（ニ）　　Ｐ　　　　　　Ａ　　　　　　　　　　ヌ　（ヌ）　　　　　Ｑ　　　Ａ　　　　　　　　　ニヌ　（ネ）　　Ｐ＆　Ｑ　　　ニヌ＆Ｉ１　　　　　　　　ニヌ　（ノ）～（Ｐ＆　Ｑ）＆　　　　　　　　　　　　　　　　（Ｐ＆　Ｑ）　　ナネ＆Ｉ１　　　　　　　　ニ　　（ハ）　　　　～Ｑ　　　ヌノＲＡＡ１　　　　　　　　　　　（ヒ）　　Ｐ→～Ｑ　　　ニハＣＰ然るに、（01）により、（02）１　（１）～Ｐ　　　　Ａ１　（２）～Ｐ∨　Ｑ　１∨Ｉ１　（３）　Ｐ→　Ｑ　２含意の定義１　（４）～Ｐ∨～Ｑ　１∨Ｉ１　（５）　Ｐ→～Ｑ　４含意の定義従って、（01）（02）により、（03） ① ～Ｐ├ Ｐ→　Ｑ ② ～Ｐ├ Ｐ→～Ｑという「連式（Sequents）」は、両方とも、「妥当」である。従って、（03）により、（04） ③ Ｐ→Ｑにおいて、 ③ Ｐが「偽」であるならば、 ③ Ｑの「真偽」に関わらず、 ③ Ｐ→Ｑ自体は、「真」である。然るに、（04）により、（05） ③ Ｐ→Ｑにおいて、 ③ Ｐが　「偽」であるならば、 ③ Ｑは、「真」であるかも知れないし、 ③ Ｑは、「偽」であるかも知れない。従って、（05）により、（06） ③ Ｐ→Ｑ（Ｐならば、Ｑである）。において、 ③ Ｐが「偽」であるならば、 ③ Ｑの「真偽」は「不明」である。ということに、なるものの、このことは、「日本語の感覚」として、「極めて、当然」である。従って、（06）により、（07）含意の x → y は、日本語で表現すると、「x ならば y 」ということですね。これは、x が成り立つなら y が成り立つ、ということですけど、では、x が成り立たないときはどうなるのかというと、 y が何でもＯＫということです。この点、通常日本語の感覚の「～ならば」と論理学の「～ならば」と異なるので、注意が必要です。たとえば、「もし雨ならば、家に居る」という文について、普通の日本語の意味で考えますと、もし晴れだったならば外出するのだろう、ということになるはずです。しかし、論理学の文脈ですと、「晴れ」ならば、前提が成り立たないわけですから、何でもありになるのです。（ヤフー！知恵袋）という「説明」は、「（どちらかと言うと、）間違い」である。令和７年４月１１日、毛利太。

2025年4月8日火曜日

「恒真式の否定」は「矛盾」である。

（01）（ⅰ）１（１）　　　Ｐ　　　　Ａ１（２）　　　Ｐ∨Ｑ　　１∨Ｉ　（３）Ｐ→（Ｐ∨Ｑ）　１２ＣＰ（ⅱ）１（１）（Ｐ＆Ｑ）　　　Ａ１（２）　　　Ｑ　　　　１＆Ｅ　（３）（Ｐ＆Ｑ）→Ｑ　１２ＣＰ（ⅲ）１　（１）　　　　Ｐ　　　　　　　Ａ　２（２）　　　　Ｐ→Ｑ　　　　　Ａ１２（３）　　　　　　　　　Ｑ　　１２ＭＰＰ１　（４）　　　（Ｐ→Ｑ）→Ｑ　　２３ＣＰ　　（５）Ｐ→（（Ｐ→Ｑ）→Ｑ）　１４ＣＰ従って、（01）により、（02） ① Ｐ→（Ｐ∨Ｑ） ②（Ｐ＆Ｑ）→Ｑ ③ Ｐ→（（Ｐ→Ｑ）→Ｑ）という「論理式」、すなわち、 ① Ｐならば（Ｐか、またはＱである）。 ②（ＰであってＱである）ならばＱである。 ③　Ｐならば（（ＰならばＱ）ならばＱ）という「論理式」は、「恒真式（トートロジー）」である。従って、（02）により、（03） ① Ｐ→（Ｐ∨Ｑ） ②（Ｐ＆Ｑ）→Ｑ ③ Ｐ→（（Ｐ→Ｑ）→Ｑ）の「否定」である所の、 ① 　～｛Ｐ→（Ｐ∨Ｑ）｝ ② ～｛（Ｐ＆Ｑ）→Ｑ｝ ③ 　～｛Ｐ→（（Ｐ→Ｑ）→Ｑ）｝という「論理式」は、「矛盾」であるに「違いない」。然るに、（04）（ⅰ）１　（１）　～（Ｐ→（Ｐ∨Ｑ））　　Ａ　２（２）　　～Ｐ∨（Ｐ∨Ｑ）　　　Ａ　２（３）　　　Ｐ→（Ｐ∨Ｑ）　　　２含意の定義１２（４）　～（Ｐ→（Ｐ∨Ｑ））＆　　　　　　　（Ｐ→（Ｐ∨Ｑ）　　　１３＆Ｉ１　（５）～｛～Ｐ∨（Ｐ∨Ｑ）｝　　２４ＲＡＡ１　（６）　　Ｐ＆～（Ｐ∨Ｑ）　　　５ド・モルガンの法則１　（７）　　Ｐ　　　　　　　　　　６＆Ｅ１　（８）　　　　～（Ｐ∨Ｑ）　　　６＆Ｅ１　（９）　　　　～Ｐ＆～Ｑ　　　　８ド・モルガンの法則１　（ア）　　　　～Ｐ　　　　　　　９＆Ｅ１　（イ）　　Ｐ＆～Ｐ　　　　　　　７ア＆Ｉ（ⅱ）１　（１）　～（Ｐ＆Ｑ→　　Ｑ）　　Ａ　２（２）　～（Ｐ＆Ｑ）∨　Ｑ　　　Ａ　２（３）　　　Ｐ＆Ｑ→　　Ｑ　　　２含意の定義１２（４）　～（Ｐ＆Ｑ→　　Ｑ）＆　　　　　　　（Ｐ＆Ｑ→　　Ｑ）　　１３＆Ｉ１　（５）～｛～（Ｐ＆Ｑ）∨Ｑ｝　　２４ＲＡＡ１　（６）　　（Ｐ＆Ｑ）＆～Ｑ　　　５ド・モルガンの法則１　（７）　　　Ｐ＆Ｑ　　　　　　　６＆Ｅ１　（８）　　　　　Ｑ　　　　　　　７＆Ｅ１　（９）　　　　　　　　～Ｑ　　　６＆Ｅ１　（ア）　　　　　　Ｑ＆～Ｑ　　　８９＆Ｉ（ⅲ）１　　（１）　～｛Ｐ→（（Ｐ→Ｑ）→　Ｑ）｝　　Ａ　２　（２）　　～Ｐ∨（（Ｐ→Ｑ）→　Ｑ）　　　Ａ　２　（３）　　　Ｐ→（（Ｐ→Ｑ）→　Ｑ）　　　２含意の定義１２　（４）　～｛Ｐ→（（Ｐ→Ｑ）→　Ｑ）｝＆　　　　　　　　｛Ｐ→（（Ｐ→Ｑ）→　Ｑ）｝　　１３＆Ｉ１　　（５）～｛～Ｐ∨（（Ｐ→Ｑ）→　Ｑ）｝　　２４ＲＡＡ１　　（６）　　Ｐ＆～（（Ｐ→Ｑ）→　Ｑ）　　　５ド・モルガンの法則１　　（７）　　　　～（（Ｐ→Ｑ）→　Ｑ）　　　６＆Ｅ　　８（８）　　　　　～（Ｐ→Ｑ）∨　Ｑ　　　　Ａ　　８（９）　　　　　　（Ｐ→Ｑ）→　Ｑ　　　　８含意の定義１　８（ア）　　　　～（（Ｐ→Ｑ）→　Ｑ）＆　　　　　　　　　　　（（Ｐ→Ｑ）→　Ｑ）　　　７９＆Ｉ１　　（イ）　　　～（～（Ｐ→Ｑ）∨　Ｑ）　　　８アＲＡＡ１　　（ウ）　　　　　　（Ｐ→Ｑ）＆～Ｑ　　　　イ、ド・モルガンの法則１　　（エ）　　Ｐ　　　　　　　　　　　　　　　６＆Ｅ１　　（オ）　　　　　　　Ｐ→Ｑ　　　　　　　　ウ＆Ｅ１　　（カ）　　　　　　　　　　　　～Ｑ　　　　ウ＆Ｅ１　　（キ）　　　　　　　　　Ｑ　　　　　　　　エオＭＰＰ１　　（ク）　　　　　　　　　Ｑ＆～Ｑ　　　　　カキ＆Ｉ従って、（03）（04）により、（05） ① Ｐ→（Ｐ∨Ｑ） ②（Ｐ＆Ｑ）→Ｑ ③ Ｐ→（（Ｐ→Ｑ）→Ｑ）の「否定」である所の、 ① 　～｛Ｐ→（Ｐ∨Ｑ）｝ ② ～｛（Ｐ＆Ｑ）→Ｑ｝ ③ 　～｛Ｐ→（（Ｐ→Ｑ）→Ｑ）｝は、３つとも、「矛盾」である。従って、（05）により、（06） ① Ｐ→（Ｐ∨Ｑ） ②（Ｐ＆Ｑ）→Ｑ ③ Ｐ→（（Ｐ→Ｑ）→Ｑ）の「否定」である所の、 ① 　～｛Ｐ→（Ｐ∨Ｑ）｝ ② ～｛（Ｐ＆Ｑ）→Ｑ｝ ③ 　～｛Ｐ→（（Ｐ→Ｑ）→Ｑ）｝は、「背理法（ＲＡＡ）」により、 ① 　～～｛Ｐ→（Ｐ∨Ｑ）｝ ② ～～｛（Ｐ＆Ｑ）→Ｑ｝ ③ 　～～｛Ｐ→（（Ｐ→Ｑ）→Ｑ）｝である。然るに、（06）により、（07） ① 　～～｛Ｐ→（Ｐ∨Ｑ）｝ ② ～～｛（Ｐ＆Ｑ）→Ｑ｝ ③ 　～～｛Ｐ→（（Ｐ→Ｑ）→Ｑ）｝は、「二重否定（ＤＮ）」により、 ① Ｐ→（Ｐ∨Ｑ） ②（Ｐ＆Ｑ）→Ｑ ③ Ｐ→（（Ｐ→Ｑ）→Ｑ）である。従って、（02）（05）（06）（07）（08） ① Ｐ→（Ｐ∨Ｑ） ②（Ｐ＆Ｑ）→Ｑ ③ Ｐ→（（Ｐ→Ｑ）→Ｑ）という「論理式」は、「恒真式（トートロジー）」であって、これらの「恒真式」は、「否定」をすると、「背理法と二重否定」により、 ① Ｐ→（Ｐ∨Ｑ） ②（Ｐ＆Ｑ）→Ｑ ③ Ｐ→（（Ｐ→Ｑ）→Ｑ）という「論理式」になる。従って、（09） ① Ｐ→（Ｐ∨Ｑ） ②（Ｐ＆Ｑ）→Ｑ ③ Ｐ→（（Ｐ→Ｑ）→Ｑ）という「論理式」は、「恒真式（トートロジー）」であって、これらの「恒真式」は、「否定」が、「出来ない」。従って、（09）（10） ① Ｐ→（Ｐ∨Ｑ） ②（Ｐ＆Ｑ）→Ｑ ③ Ｐ→（（Ｐ→Ｑ）→Ｑ）という「論理式」は、「否定が出来ない」という「意味」において、「恒に、真である」。（11）（ⅰ）１　　　　　（１）　～Ｐ∨　Ｑ　　Ａ　２　　　　（２）　　Ｐ＆～Ｑ　　Ａ　　３　　　（３）　～Ｐ　　　　　Ａ　２　　　　（４）　　Ｐ　　　　　２＆Ｅ　２３　　　（５）　～Ｐ＆　Ｐ　　３４＆Ｉ　　３　　　（６）～（Ｐ＆～Ｑ）　２５ＲＡＡ　　　７　　（７）　　　　　Ｑ　　Ａ　２　　　　（８）　　　　～Ｑ　　２＆Ｅ　２　７　　（９）　　Ｑ＆～Ｑ　　７８＆Ｉ　　　７　　（ア）～（Ｐ＆～Ｑ）　２９ＲＡＡ１　　　　　（イ）～（Ｐ＆～Ｑ）　１３６７ア∨Ｅ　　　　ウ　（ウ）　　Ｐ　　　　　Ａ　　　　　エ（エ）　　　　～Ｑ　　Ａ　　　　ウエ（オ）　　Ｐ＆～Ｑ　　ウエ＆Ｉ１　　　ウエ（カ）～（Ｐ＆～Ｑ）＆　　　　　　　　　　（Ｐ＆～Ｑ）　イオ＆Ｉ１　　　ウ　（キ）　　　～～Ｑ　　エカＲＡＡ１　　　ウ　（ク）　　　　　Ｑ　　キＤＮ１　　　　　（ケ）　　Ｐ→　Ｑ　　ウクＣＰ（ⅱ）１　　　　（１）　　　Ｐ→　Ｑ　　　Ａ　２　　　（２）　　　Ｐ＆～Ｑ　　　Ａ　２　　　（３）　　　Ｐ　　　　　　２＆Ｅ１２　　　（４）　　　　　　Ｑ　　　１３ＭＰＰ　２　　　（５）　　　　　～Ｑ　　　２＆Ｅ１２　　　（６）　　　Ｑ＆～Ｑ　　　４５＆Ｉ１　　　　（７）　～（Ｐ＆～Ｑ）　　２６ＲＡＡ　　８　　（８）　～（～Ｐ∨Ｑ）　　Ａ　　　９　（９）　　　～Ｐ　　　　　Ａ　　　９　（ア）　　　～Ｐ∨Ｑ　　　９∨Ｉ　　８９　（イ）　～（～Ｐ∨Ｑ）＆　　　　　　　　　　（～Ｐ∨Ｑ）　　７ア＆Ｉ　　８　　（ウ）　　～～Ｐ　　　　　９イＲＡＡ　　８　　（エ）　　　　Ｐ　　　　　ウＤＮ　　　　オ（オ）　　　　　　Ｑ　　　Ａ　　　　オ（カ）　　　～Ｐ∨Ｑ　　　オ∨Ｉ　　８　オ（キ）　～（～Ｐ∨Ｑ）＆　　　　　　　　　　（～Ｐ∨Ｑ）　　８カ＆Ｉ　　８　　（ク）　　　　　～Ｑ　　　オキＲＡＡ　　８　　（ケ）　　　Ｐ＆～Ｑ　　　エク＆Ｉ１　８　　（コ）　～（Ｐ＆～Ｑ）＆　　　　　　　　　　（Ｐ＆～Ｑ）　　７ケ＆Ｉ１　　　　（サ）～～（～Ｐ∨Ｑ）　　８コＲＡＡ１　　　　（シ）　　　～Ｐ∨Ｑ　　　サＤＮ従って、（11）により、（12） ① 　Ｐ→Ｑ ② ～Ｐ∨Ｑにおいて、 ①＝② は、「含意の定義」である。然るに、（13）（ⅲ）１　　（１）～（Ｐ∨　Ｑ）　　Ａ　２　（２）　　Ｐ　　　　　　Ａ　２　（３）　　Ｐ∨　Ｑ　　　２∨Ｉ１２　（４）～（Ｐ∨　Ｑ）＆　　　　　　　（Ｐ∨　Ｑ）　　１３＆Ｉ１　　（５）　～Ｐ　　　　　　２４ＲＡＡ　　６（６）　　　　　Ｑ　　　Ａ　　６（７）　　Ｐ∨　Ｑ　　　６∨Ｉ１　６（８）～（Ｐ∨　Ｑ）＆　　　　　　　（Ｐ∨　Ｑ）　　１７＆Ｉ１　　（９）　　　　～Ｑ　　　６８ＲＡＡ１　　（ア）　～Ｐ＆～Ｑ　　　５９＆Ｉ（ⅳ）１　　　（１）　　～Ｐ＆～Ｑ　　　Ａ　２　　（２）　　　Ｐ∨　Ｑ　　　Ａ１　　　（３）　　～Ｐ　　　　　　１＆Ｅ　　４　（４）　　　Ｐ　　　　　　Ａ１　４　（５）　　～Ｐ＆Ｐ　　　　３４＆Ｉ　　４　（６）～（～Ｐ＆～Ｑ）　　４５ＲＡＡ１　　　（７）　　　　　～Ｑ　　　１＆Ｅ　　　８（８）　　　　　　Ｑ　　　Ａ１　　８（９）　　　～Ｑ＆Ｑ　　　７８＆Ｉ　　　８（ア）～（～Ｐ＆～Ｑ）　　１９ＲＡＡ　２　　（イ）～（～Ｐ＆～Ｑ）　　２４６８ア∨Ｅ１２　　（ウ）　（～Ｐ＆～Ｑ）＆　　　　　　　～（～Ｐ＆～Ｑ）　　１イ＆Ｉ１　　　（エ）　～（Ｐ∨　Ｑ）　　２ウＲＡＡ従って、（13）により、（14） ③ ～（Ｐ∨　Ｑ） ④ 　～Ｐ＆～Ｑにおいて、 ③＝④ は、「ド・モルガンの法則」である。従って、（12）（14）により、（15） ① 　　Ｐ→Ｑ ② 　～Ｐ∨Ｑ ③ ～（Ｐ∨　Ｑ） ④ 　～Ｐ＆～Ｑにおいて、 ①＝② は、「含意の定義」である。 ③＝④ は、「ド・モルガンの法則」である。令和７年４月８日、毛利太。

2025年4月5日土曜日

「控訴理由書」の「述語論理」と『法論理学』。

（01）

民事訴訟法規則第１８２条１項

控訴状に第一審判決の取消し又は変更を求める事由の具体的な記載がないときは、控訴人は

控訴の提起後五十日以内に、これらを記載した書面を控訴裁判所に提出しなければならない。

控訴理由書とは、控訴した後、第一審判決の取消または変更を求める具体的事由を記載して

裁判所に提出する書面のことです（横浜ロード法律事務所）。

従って、

（02）

控訴は、五十日以内に、書面で行い、かつ、理由を付さ無ければならない。

という「命題」は、「真」である。

然るに、

（03）*

良くは、知らないのですが、

ほうろんりがく　legal logic

法の領域に応用された現代論理学をいう。現代論理学が記号の使用によって思考の分析の用具としてきわめて有効なものとなっているため、各領域でその応用がみられるが、法領

域への応用は１９５０年のU・クルークの『法論理学』に始まる（コトバンク）。

然るに、

（04）

１　　　　　　　　（１）　∀ｘ｛控ｘ→五（ｘ）＆∃ｙ（書ｙｘ）＆∃ｚ（理ｚｘ）｝　Ａ

１　　　　　　　　（２）　　　　控ａ→五（ａ）＆∃ｙ（書ｙａ）＆∃ｚ（理ｚａ）　　１ＵＥ　　　

　３　　　　　　　（３）　　　　　　　　　　　　　　　　　　　～∃ｚ（理ｚａ）　　Ａ

　３　　　　　　　（４）　　｛～五（ａ）Ｖ～∃ｙ（書ｙａ）｝Ｖ～∃ｚ（理ｚａ）　　３ＶＩ

　　５　　　　　　（５）　　　　　　　五（ａ）＆∃ｙ（書ｙａ）＆∃ｚ（理ｚａ）　　Ａ

　　　６　　　　　（６）　　｛～五（ａ）Ｖ～∃ｙ（書ｙａ）｝　　　　　　　　　　　Ａ

　　　　７　　　　（７）　　　～五（ａ）　　　　　　　　　　　　　　　　　　　　　Ａ

　　５　　　　　　（８）　　　　　　　五（ａ）　　　　　　　　　　　　　　　　　　５＆Ｅ

　　５　７　　　　（９）　　　～五（ａ）＆五（ａ）　　　　　　　　　　　　　　　　７８＆Ｉ

　　　　７　　　　（ア）　　　　　～｛五（ａ）＆∃ｙ（書ｙａ）＆∃ｚ（理ｚａ｝　　５９ＲＡＡ

　　　　　イ　　　（イ）　　　　　　　　　～∃ｙ（書ｙａ）　　　　　　　　　　　　Ａ

　　５　　　　　　（ウ）　　　　　　　　　　∃ｙ（書ｙａ）　　　　　　　　　　　　５＆Ｅ

　　５　　イ　　　（エ）　　　　　　　　　～∃ｙ（書ｙａ）＆∃ｙ（書ｙａ）　　　　イウ＆Ｉ

　　　　　イ　　　（オ）　　　　　～｛五（ａ）＆∃ｙ（書ｙａ）＆∃ｚ（理ｚａ）｝　５エＲＡＡ

　　　６　　　　　（カ）　　　　　～｛五（ａ）＆∃ｙ（書ｙａ）＆∃ｚ（理ｚａ）｝　６７アイオＶＥ

　　　　　　キ　　（キ）　　　　　　　　　　　　　　　　　　　～∃ｚ（理ｚａ）　　Ａ

　　５　　　　　　（ク）　　　　　　　　　　　　　　　　　　　　∃ｚ（理ｚａ）　　５＆E

　　５　　　キ　　（ケ）　　　　　　　　　　　～∃ｚ（理ｚａ）＆∃ｚ（理ｚａ）　　キク＆Ｉ

　　　　　　キ　　（コ）　　　　　～｛五（ａ）＆∃ｙ（書ｙａ）＆∃ｚ（理ｚａ）｝　５ケＲＡＡ

　３　　　　　　　（サ）　　　　　～｛五（ａ）＆∃ｙ（書ｙａ）＆∃ｚ（理ｚａ）｝　４６カキコＶＥ

１３　　　　　　　（シ）　　　～控ａ　　　　　　　　　　　　　　　　　　　　　　　２サＭＴＴ

１　　　　　　　　（ス）　　　　　～∃ｚ（理ｚａ）→～控ａ　　　　　　　　　　　　３シＣＰ

　　　　　　　セ　（セ）　　　　　∀ｚ（～理ｚａ）　　　　　　　　　　　　　　　　Ａ

　　　　　　　セ　（ソ）　　　　　～∃ｚ（理ｚａ）　　　　　　　　　　　　　　　　セ量化子の関係

１　　　　　　セ　（タ）　　　　　　　　　　　　　　～控ａ　　　　　　　　　　　　スソＭＰＰ

１　　　　　　　　（チ）　　　　　∀ｚ（～理ｚａ）→～控ａ　　　　　　　　　　　　セタＣＰ

　　　　　　　　ツ（ツ）　　∀ｘ｛∀ｚ（～理ｚｘ）｝　　　　　　　　　　　　　　　Ａ

　　　　　　　　ツ（テ）　　　　　∀ｚ（～理ｚａ）　　　　　　　　　　　　　　　　ツＵＥ

１　　　　　　　ツ（ト）　　　　　　　　　　　　　　～控ａ　　　　　　　　　　　　チテＭＰＰ

１　　　　　　　ツ（ナ）　　　　　　　　　　　∀ｘ（～控ｘ）　　　　　　　　　　　トＵＩ

１　　　　　　　ツ（ニ）　　　　　　　　　　　～∃ｘ（控ｘ）　　　　　　　　　　　ナ量化子の関係

従って、

（04）により、

（05）

控＝控訴である。

五＝５０日以内である。

書＝書面である。

理＝理由である。

として、

① ∀ｘ｛控ｘ→五（ｘ）＆∃ｙ（書ｙｘ）＆∃ｚ（理ｚｘ）｝。然るに、

② ∀ｘ｛∀ｚ（～理ｚｘ）｝。従って、

➂ ～∃ｘ（控ｘ）。

という「三段論法」、すなわち、

① すべてのｘについて｛ｘが控訴であるならば、ｘは５０日以内であって、あるｙはｘのための書面であって、あるｚはｘのための理由である｝。然るに、

② いかなるｘ｛と、いかなるｚであっても、（ｚがｘの理由であることはない）｝。従って、

③（控訴であるｘ）は存在しない。

という「三段論法」、すなわち、

① 控訴は、５０日以内に、書面で行い、かつ、理由が無ければならない。然るに、

② 控訴には、理由が無い。従って、

③ 控訴は、　無効である。

という「三段論法」は、「妥当」である。

然るに、

（06）*

独立行政法人医薬品医療機器総合機構法施行規則

第五十条　裁決は、書面で行い、かつ、理由を付さなければならない。

然るに、

（07）

１　　（１）　∀ｘ｛裁ｘ→∃ｙ（書ｙｘ）＆　∃ｚ（理ｚｘ）｝　Ａ

１　　（２）　　　　裁ａ→∃ｙ（書ｙａ）＆　∃ｚ（理ｚａ）　　１ＵＥ

　３　（３）　　　　　　　　　　　　　　　～∃ｚ（理ｚａ）　　Ａ

　３　（４）　　　　　　～∃ｚ（理ｚａ）Ｖ～∃ｚ（理ｚａ）　　３ＶＩ

　３　（５）　　　　　～｛∃ｙ（書ｙａ）＆　∃ｚ（理ｚａ）｝　４ド・モルガンの法則

１３　（６）　　　～裁ａ　　　　　　　　　　　　　　　　　　　２５ＭＴＴ

１　　（７）　　　～∃ｚ（理ｚａ）→～裁ａ　　　　　　　　　　３６ＣＰ

　　８（８）∀ｘ｛∀ｚ（～理ｚｘ）｝　　　　　　　　　　　　　Ａ

　　８（９）　　　∀ｚ（～理ｚａ）　　　　　　　　　　　　　　８ＵＥ

　　８（ア）　　　～∃ｚ（理ｚａ）　　　　　　　　　　　　　　９量化子の関係

１　８（イ）　　　　　　　　　　　　～裁ａ　　　　　　　　　　７アＭＰＰ

１　８（ウ）　　　　　　　　　∀ｘ（～裁ｘ）　　　　　　　　　イＵＩ

１　８（エ）　　　　　　　　　～∃ｘ（裁ｘ）　　　　　　　　　ウ量化子の関係

従って、

（01）～（07）により、

（08）

① 控訴理由書の提出は、５０日以内に、書面で行い、かつ、理由が無ければならない。然るに、

② 控訴理由書に、理由が無い。従って、

➂ 控訴理由書は、無効である。

という「三段論法」が、「妥当」である。

という「理由」により、『法論理学』からすれば、「当然」、

① 裁決は、書面で行い、かつ、理由が無ければならない。然るに、

② 裁決に、理由が無い。従って、

➂ 裁決は、無効である。

という「三段論法」も、「妥当」である（？、問題提起・質問３７）。

然るに、

（09）*

裁決に付された理由に誤りがあった場合に、当該裁決の対象とされた原処分について、請求されたとおりの処分をすることが義務付けられるという法的効果を認めるべき旨を定めた規定は関係法令上見当たらない。また、被告のした本件不支給決定に対する不服申立て手続において裁決庁である厚生労働大臣がした裁決に付された理由に誤りがあるという手続的な瑕

疵が、本件不支給決定の違法事由となると解釈すべき法的根拠もおよそ見出し難い。

という「解釈（第１審判決、１１頁）」は、「要約」すると、

（ⅰ）「理由が、どれだけ、間違いであった」としても、

（ⅱ）「間違いが、許容されない」という、

（ⅲ）「法的根拠（法的効果）」は「無い」。

という「意味」である（？、「控訴理由書」の、問題提起・質問９）。

然るに、

「控訴理由書（の補足）」の（07）により、

（10）

「裁決」に関する限り、

（ⅰ）「どれだけ、間違いが有った」としても、

（ⅱ）「行政側の、間違い」は「常に、許容される」。

とするならば、実質的に、

（ⅲ）「被告の主張」は、「常に正しく」、

（ⅳ）「原告の主張」は、「常に間違い」である。

ということになる（？、「控訴理由書（の補足）」の、問題提起・質問３２）。

ものの、そのようなことは、「有るはずが無い」。

然るに、

「控訴理由書」の（64）（65）により、

（11）

一　原子炉施設の安全性に関する被告行政庁の判断の適否が争われる原子炉設置許可処分の取消訴訟における裁判所の審理、判断は、原子力委員会若しくは原子炉安全専門審査会の専門技術的な調査審議及び判断を基にしてされた被告行政庁の判断に不合理な点があるか否かという観点から行われるべきであって、現在の科学技術水準に照らし、右調査審議において用いられた具体的審査基準に不合理な点があり、あるいは当該原子炉施設が右の具体的審査基準に適合するとした原子力委員会若しくは原子炉安全専門審査会の調査審議及び判断の過程に看過し難い過誤、欠落があり、被告行政庁の判断がこれに依拠してされたと認められる場合には、被告行政庁の右判断に不合理な点があるものとして、右判断に基づく原子炉設置許可処分は違法と解すべきである。

二　原子炉施設の安全性に関する被告行政庁の判断の適否が争われる原子炉設置許可処分の取消訴訟においては、右判断に不合理な点があることの主張、立証責任は、本来、原告

が負うべきものであるが、

被告行政庁の側において、まず、原子力委員会若しくは原子炉安全専門審査会の調査審議において用いられた具体的審査基準並びに調査審議及び判断の過程等、被告行政庁の判断に不合理な点のないことを相当の根拠、資料に基づき主張、立証する必要があり、被告行政庁が右主張、立証を尽くさない場合には、被告行政庁がした右判断に不合理な点がある

ことが事実上推認される（平成4年10月29日、最高裁判所第一小法廷）。

とい言うのであれば、すなわち、

「集団（住民）を原告」とした、

「行政訴訟」における、被告行政庁の判断には、不合理な点が、有ってはならない。

（最高裁判所）

と言うのであれば、当然、

「個人を原告」とした、

「行政訴訟」における、被告行政庁の裁決にも、不合理な点が、有ってはならない。

（地方裁判所）

ということに、ならざるを得ない（？、問題提起・質問７）。

然るに、

（12）

原告としては、行政訴訟を含めて、

岡口　民事訴訟は自白しちゃえば、嘘でも本当になってしまうんですね。だから、変に

裁判所が介入するのは不公平だと思っているんです。私のように相対的真実でいいと思

っている人間は、絶対的真実を追求しようとはあまり思わないということです。

中村　弁護士は基本的にそう考えますね。

（岡口基一・中村誠、裁判官！当職そこが知りたかったのです、2017年、４１頁）

ということが、「実際にそうであること」を「期待」します。

その上で、

（13）*

副作用の原因となった医薬品を特定、

当該医薬品によりどのような副作用が生じたか、

当該副作用がどのように原告父の死亡に影響したか。

ということについては、

「第５準備書面（令和６年５月２２日）」で示した通り、

① 添付文書の記載から判断すると、

② 副作用の原因となった医薬品は、フェブリクである。

③ 当該医薬品により生じた副作用は、（急性）腎不全である。

④ フェブリクの副作用である所の、

⑤ 急性腎不全を発症した際には、

⑥ 血液を希釈する所の、点滴の効果として、

⑦ 輸血が検討される程の、重度の貧血であったが、

⑧ 生成ＡＩの「回答」からも分かる通り、

⑨ 貧血に急性腎不全が加わると、より一層、

⑩ 非閉塞性腸管虚血（ＮＯＭＩ）を発症し易くなる上に、

⑪ ＣＴ検査報告書には、実際に、

⑫ ＮＯＭＩの可能性は挙がるという、記載が有る。

ということを、「主張」します。

毛利太（8:03 2025/04/05）

登録: 投稿 (Atom)