「鼻は象が長い」の「述語論理」（其の？）。

（01）
― しばらく、「返り点」に関する「記事」を書いてゐません。「返り点と括弧」に関しては、
（α）「返り点」と「括弧」に付いて。　：（https://kannbunn.blogspot.com/2017/12/blog-post_11.html）
（β）「返り点」と「括弧」の条件。　　：（https://kannbunn.blogspot.com/2017/12/blog-post_15.html）
（γ）「返り点」と「括弧」の条件（Ⅱ）：（https://kannbunn.blogspot.com/2017/12/blog-post_16.html）
（δ）「返り点」は、下には戻らない。　：（https://kannbunn.blogspot.com/2017/12/blog-post_20.html）
（ε）「下中上点」等が必要な「理由」。：（https://kannbunn.blogspot.com/2017/12/blog-post_22.html）
（ζ）「返り点・モドキ」について。　　：（https://kannbunn.blogspot.com/2017/12/blog-post_24.html）⇒
　Ｗｅｂ上には存在しますが、何故か、アクセス出来ません。
（η）「一二点・上下点」に付いて。　　：（https://kannbunn.blogspot.com/2017/12/blog-post_26.html）
（θ）「括弧」の「順番」。　　　　　　：（https://kannbunn.blogspot.com/2018/01/blog-post.html）
（ι）「返り点」と「括弧」の関係　　　：（https://kannbunn.blogspot.com/2019/01/blog-post_21.html）
等々、「その他」を、お読み下さい。―

（ａ）
１　　  （１）　　　　∀ｘ∀ｙ（鼻ｙｘ＆長ｙ→象ｘ）　Ａ
１　　  （２）　　　　　　∀ｙ（鼻ｙａ＆長ｙ→象ａ）　１ＵＥ
１　　  （３）　　　　　　　　　鼻ｂａ＆長ｂ→象ａ　　２ＵＥ
　４　  （４）　　　　　　　　　　　　　　　～象ａ　　Ａ
　　５  （５）　　　　　　　　　鼻ｂａ＆長ｂ　　　　　Ａ
１　５  （６）　　　　　　　　　　　　　　　　象ａ　　３５ＭＰＰ
１４５  （７）　　　　　　　　　　　　～象ａ＆象ａ　　４６＆Ｉ
１４　  （８）　　　　　　　～（鼻ｂａ＆長ｂ）　　　　５７ＲＡＡ
１４　  （９）　　　　　　　　～鼻ｂａ∨～長ｂ　　　　８ド・モルガンの法則
１４　　（ア）　　　　　　　　　鼻ｂａ→～長ｂ　　　　９含意の定義
１　　　（イ）　　　　　～象ａ→鼻ｂａ→～長ｂ　　　　４アＣＰ
　　　ウ（ウ）　　　　　～象ａ＆鼻ｂａ　　　　　　　　Ａ
　　　ウ（エ）　　　　　～象ａ　　　　　　　　　　　　ウ＆Ｅ
１　　ウ（オ）　　　　　　　　　鼻ｂａ→～長ｂ　　　　イエＭＰＰ
　　　ウ（カ）　　　　　　　　　鼻ｂａ　　　　　　　　ウ＆Ｅ
１　　ウ（キ）　　　　　　　　　　　　　～長ｂ　　　　オカＭＰＰ
１　　　（ク）　　　　　～象ａ＆鼻ｂａ→～長ｂ　　　　ウキＣＰ
１　　　（ケ）　　∀ｙ｛～象ａ＆鼻ｙａ→～長ｙ｝　　　クＵＩ
１　　　（コ）∀ｘ∀ｙ｛～象ｘ＆鼻ｙｘ→～長ｙ｝　　　ケＵＩ
（ｂ）
１　　　（１）∀ｘ∀ｙ｛～象ｘ＆鼻ｙｘ→～長ｙ｝　　　Ａ
１　　　（２）　　∀ｙ｛～象ａ＆鼻ｙａ→～長ｙ｝　　　１ＵＥ
１　　　（３）　　　　　～象ａ＆鼻ｂａ→～長ｂ　　　　２ＵＥ
　４　　（４）　　　　　　　　　鼻ｂａ＆　長ｂ　　　　Ａ
　４　　（５）　　　　　　　　　鼻ｂａ　　　　　　　　４＆Ｅ
　４　　（６）　　　　　　　　　　　　　　長ｂ　　　　４＆Ｅ
　　７　（７）　　　　　～象ａ　　　　　　　　　　　　Ａ
　４７　（８）　　　　　～象ａ＆鼻ｂａ　　　　　　　　５７＆Ｅ
１４７　（９）　　　　　　　　　　　　　～長ｂ　　　　３８ＭＰＰ
１４７　（ア）　　　　　　　　　　長ｂ＆～長ｂ　　　　６９＆Ｉ
１４　　（イ）　　　　～～象ａ　　　　　　　　　　　　７アＲＡＡ
１４　　（ウ）　　　　　　象ａ                        イＤＮ
１　　　（エ）　　　　　　　鼻ｂａ＆長ｂ→象ａ　　　　４ウＣＰ
１　　　（オ）　　　　∀ｙ（鼻ｙａ＆長ｙ→象ａ）　　　エＵＩ
１　　　（カ）　　∀ｘ∀ｙ（鼻ｙｘ＆長ｙ→象ｘ）　　　オＵＩ
従って、
（01）により、
（02）
（ａ）∀ｘ∀ｙ（　鼻ｙｘ＆長ｙ→　象ｘ）
（ｂ）∀ｘ∀ｙ（～象ｘ＆鼻ｙｘ→～長ｙ）
に於いて、
（ａ）＝（ｂ） である。
従って、
（02）により、
（03）
｛象、兎、キリン｝であるとして、
① すべてのｘとｙについて、ｙがｘの鼻であって、ｙが長いならば、ｘは象である。
② すべてのｘとｙについて、ｙがｘの耳であって、ｙが長いならば、ｘは兎である。
③ すべてのｘとｙについて、ｙがｘの首であって、ｙが長いならば、ｘはキリンである。
といふ「命題」は、
④ すべてのｘとｙについて、ｘが象ではなく、　　ｙがｘの鼻であるならば、ｙは長くない。
⑤ すべてのｘとｙについて、ｘが兎ではなく、　　ｙがｘの耳であるならば、ｙは長くない。
⑥ すべてのｘとｙについて、ｘがキリンではなく、ｙがｘの首であるならば、ｙは長くない。
といふ「命題」に、「等しい」。
然るに、
（04）
｛象、兎、キリン｝であるとして、
① すべてのｘとｙについて、ｙがｘの鼻であって、ｙが長いならば、ｘは象である。
④ すべてのｘとｙについて、ｘが象ではなく、ｙがｘの鼻であるならば、ｙは長くない。
といふことは、
① 鼻が（の）長いのは象である。
④ 象の鼻以外は長くない。
といふことである。
然るに、
（05）
｛象、兎、キリン｝であるとして、
① 鼻が（の）長いのは象である。
④ 象の鼻以外は長くない。
といふことは「真（本当）」であり、
然るに、
（06）
① 鼻が（連体助詞）長いのは象である。
といふことは、
① 鼻は（係助詞）象が（格助詞）長い。
といふ、ことである。
従って、
（05）（06）により、
（07）
｛象、兎、キリン｝であるとして、
① 鼻は象が長い。
② 耳は兎が長い。
③ 首はキリンが長い。
④ 象の鼻以外は長くない。
⑤ 兎の耳以外は長くない。
⑥ キリンの首以外は長くない。
に於いて、
①＝④ であって、
②＝⑤ であって、
③＝⑥ である。
従って、
（07）により、
（08）
｛象、兎、キリン｝であるとして、
① 鼻は象が長い。
② 耳は兎が長い。
③ 首はキリンが長い。
④ 象の鼻以外は長くない。
⑤ 兎の耳以外は長くない。
⑥ キリンの首以外は長くない。
に於いて、
①＝④ であって、
②＝⑤ であって、
③＝⑥ である。
従って、
（08）により、
（09）
｛象、兎、キリン｝であるとして、
① 象の鼻が長い。
② 兎の耳が長い。
③ キリンの首が長い。
④ 象の鼻以外は長くない。
⑤ 兎の耳以外は長くない。
⑥ キリンの首以外は長くない。
に於いて、
①＝④ であって、
②＝⑤ であって、
③＝⑥ である。
従って、
（09）により、
（10）
｛象、兎、キリン｝であるとして、
① 象の鼻が長い。
② 兎の耳が長い。
③ キリンの首が長い。
④ 象の鼻は長く、象の鼻以外は長くない。
⑤ 兎の耳は長く、兎の耳以外は長くない。
⑥ キリンの首は長く、キリンの首以外は長くない。
に於いて、
①＝④ であって、
②＝⑤ であって、
③＝⑥ である。
従って、
（10）により、
（11）
① ＡがＢである。
② ＡはＢであり、Ａ以外はＢでない。
に於いて、
①＝② である。
令和元年１２月０３日、毛利太。