（253）（252）の「続き」。（252）を先に読んで下さい。

そのため、
（19）
１　　（キ）　　　　　　　　　　　　　　　　　　　　 長ａ→鼻ａｂ　　　　　　  　エカＣＰ
は、「不可」であるといふ、「姑息な（？）手段」を用ひることにして、次のやうに、「計算」を続けることにする。
（20）
１　　（１） ∀ｘ∀ｙ｛［（鼻ｘｙ＆象ｙ）→長ｘ］＆［長ｘ→（鼻ｘｙ＆象ｙ）］｝　Ａ
１　　（２）　　 ∀ｙ｛［（鼻ａｙ＆象ｙ）→長ａ］＆［長ａ→（鼻ａｙ＆象ｙ）］｝  １ＵＥ
１　　（３）　　　　　　 （鼻ａｂ＆象ｂ）→長ａ　＆　長ａ→（鼻ａｂ＆象ｂ）　　　２ＵＥ
１　　（４）　　　　　　　 鼻ａｂ＆象ｂ  →長ａ                                  ３＆Ｅ
１　　（５）　　　　　　　　　　　　　　　　　　　　 長ａ→  鼻ａｂ＆象ｂ        ３＆Ｅ
　６　（６）　　　　　　　　　　　　　　　　　　　　 長ａ　　　　　　　　　　　　Ａ
１６　（７）　　　　　　　　　　　　　　　　　　　　　　　　 鼻ａｂ＆象ｂ　　　　５６ＭＰＰ
１６　（８）　　　　　　　　　　　　　　　　　　　　　　　　 鼻ａｂ　　　　　　　７＆Ｅ
１６　（９）　　　　　　　　　　　　　　　　　　　　　　　　　　　　 象ｂ　　　　８＆Ｅ
１６　（ア）　　　　　　　　　　　　　　　　　　 　　鼻ａｂ＆長ａ　　　　　　　　６８＆Ｉ
１６　（イ）　　　　　　　　　　　　　　　　　 ∃ｙ（鼻ｙｂ＆長ｙ）　　　　　　　アＥＩ
１　　（ウ）　　　　　　　　　　　　　　 象ｂ→∃ｙ（鼻ｙｂ＆長ｙ）              ９イＣＰ
１　　（エ）　　　　　　　　　　　 ∀ｘ｛象ｘ→∃ｙ（鼻ｙｘ＆長ｙ）}             ウＵＩ
１　　（〃）すべてのｘについて、ｘが象であるならば、あるｙはｘの鼻であって、長い。　ウＵＩ
１　　（〃）象は鼻は長い。　　　　　　　　　　　　　　　　　　　　　　　　　　　 ウＵＩ
然るに、
（21）
１　　　（１）∀ｘ｛象ｘ→∃ｙ（鼻ｙｘ＆長ｙ）＆∀ｚ（長ｚ→鼻ｚｘ）｝　Ａ
１　　　（２）　　　象ａ→∃ｙ（鼻ｙａ＆長ｙ）＆∀ｚ（長ｚ→鼻ｚａ）　　１ＵＥ
　３　　（３）　　　象ａ　　　　　　　　　　　　　　　　　　　　　　　　Ａ
１３　　（４）　　　　　　∃ｙ（鼻ｙａ＆長ｙ）＆∀ｚ（長ｚ→鼻ｚａ）　　２３ＭＰＰ
１３　　（５）　　　　　　∃ｙ（鼻ｙａ＆長ｙ）　　　　　　　　　　　　　４＆Ｅ
　　６　（７）　　　　　　　　　鼻ｂａ＆長ｂ　　　　　　　　　　　　　　Ａ
　　６　（８）　　　　　　　　　鼻ｂａ　　　　　　　　　　　　　　　　　７＆Ｅ
　　６　（９）　　　　　　　　　　　　　長ｂ　　　　　　　　　　　　　　７＆Ｅ
１３　　（ア）　　　　　　　　　　　　　　　　　∀ｚ（長ｚ→鼻ｚａ）　　４＆Ｅ
１３　　（イ）　　　　　　　　　　　　　　　　　　　　長ｂ→鼻ｂａ　　　アＵＥ
１３６　（ウ）　　　　　　　　　　　　　　　　　　　　　　　鼻ｂａ　　　９イＭＰＰ
１３６　（エ）　　　鼻ｂａ＆象ａ　　　　　　　　　　　　　　　　　　　　３ウ＆Ｉ
１３　　（オ）　　　長ｂ→鼻ｂａ＆象ａ　　　　　　　　　　　　　　　　　６エＣＰ
　　　カ（カ）　～（鼻ｂａ＆象ａ）　　　　　　　　　　　　　　　　　　　Ａ
　　　カ（キ）　～（鼻ｂａ＆象ａ）∨長ｂ　　　　　　　　　　　　　　　　カ∨Ｉ　　　　　　　　　　　　
　　　カ（ク）　　（象ｂａ＆象ａ）→長ｂ　　　　　　　　　　　　　　　　ク含意の定義
１３　カ（ケ）　　～長ｂ　　　　　　　　　　　　　　　　　　　　　　　　オクＭＴＴ
１３６カ（コ）　　～長ｂ＆長ｂ　　　　　　　　　　　　　　　　　　　　　９ケ＆Ｉ
１３６　（サ）～～（鼻ｂａ＆象ａ）　　　　　　　　　　　　　　　　　　　カコＲＡＡ
１３６　（シ）　　（鼻ｂａ＆象ａ）　　　　　　　　　　　　　　　　　　　サＤＮ
ｃｆ.
　　　　（カ）　～（鼻ｂａ＆象ａ）　を「仮定」したら、ＲＡＡ（背理法）によって、
　　　　（シ）　　（鼻ｂａ＆鼻ａ）　に「戻された」ため、
　　　　（キ）　～（鼻ｂａ＆象ａ）∨長ｂ　による、　　　　　　　　　　
　　　　（ク）　　（象ｂａ＆象ａ）→長ｂ　は「不可」である。

従って、
（21）により、
（22）
１３　　（オ）　　　長ｂ→鼻ｂａ＆象ａ　　　　　　　　　　　　　　　　　６エＣＰ
は、「妥当」であるが、
　　　カ（ク）　　（象ｂａ＆象ａ）→長ｂ　　　　　　　　　　　　　　　　ク含意の定義
は、「妥当」ではない。
従って、
（21）（22）により、
（23）
１　　　（１）∀ｘ｛象ｘ→∃ｙ（鼻ｙｘ＆長ｙ）＆∀ｚ（長ｚ→鼻ｚｘ）｝　Ａ
１　　　（２）　　　象ａ→∃ｙ（鼻ｙａ＆長ｙ）＆∀ｚ（長ｚ→鼻ｚａ）　　１ＵＥ
　３　　（３）　　　象ａ　　　　　　　　　　　　　　　　　　　　　　　　Ａ
１３　　（４）　　　　　　∃ｙ（鼻ｙａ＆長ｙ）＆∀ｚ（長ｚ→鼻ｚａ）　　２３ＭＰＰ
１３　　（５）　　　　　　∃ｙ（鼻ｙａ＆長ｙ）　　　　　　　　　　　　　４＆Ｅ
　　６　（７）　　　　　　　　　鼻ｂａ＆長ｂ　　　　　　　　　　　　　　Ａ
　　６　（８）　　　　　　　　　鼻ｂａ　　　　　　　　　　　　　　　　　７＆Ｅ
　　６　（９）　　　　　　　　　　　　　長ｂ　　　　　　　　　　　　　　７＆Ｅ
１３　　（ア）　　　　　　　　　　　　　　　　　∀ｚ（長ｚ→鼻ｚａ）　　４＆Ｅ
１３　　（イ）　　　　　　　　　　　　　　　　　　　　長ｂ→鼻ｂａ　　　アＵＥ
１３６　（ウ）　　　　　　　　　　　　　　　　　　　　　　　鼻ｂａ　　　９イＭＰＰ
１３６　（エ）　　　　　鼻ｂａ＆象ａ　　　　　　　　　　　　　　　　　　３ウ＆Ｉ
１３　　（オ）　　　　　長ｂ→（鼻ｂａ＆象ａ）　　　　　　　　　　　　　６エＣＰ
１３　　（カ）　　∀ｙ｛長ｂ→（鼻ｂｙ＆象ｙ）｝　　　　　　　　　　　　オＵＩ
１３　　（キ）∀ｘ∀ｙ｛長ｘ→（鼻ｘｙ＆象ｙ）｝　　　　　　　　　　　　カＵＩ
１３　　（〃）すべてのｘと、すべてのｙについて、ｘが長いならば、ｘは鼻であって、ｙは象である。　カＵＩ
１３　　（〃）長いのは、象の鼻である。　　　　　　　　　　　　　　　　　　　　　　　　　　　　　カＵＩ
従って、
（20）（23）により、
（24）
① 　　∀ｘ｛象ｘ→∃ｙ（鼻ｙｘ＆長ｙ）＆∀ｚ（長ｚ→鼻ｚｘ）｝
② ∀ｘ∀ｙ｛長ｘ→（鼻ｘｙ＆象ｙ）｝
③ ∀ｘ∀ｙ｛［（鼻ｘｙ＆象ｙ）→長ｘ］＆［長ｘ→（鼻ｘｙ＆象ｙ）］｝
④ 　　∀ｘ｛象ｘ→∃ｙ（鼻ｙｘ＆長ｙ）}
に於いて、
① ならば、② であり、
③ ならば、④ である。
従って、
（15）（24）により、
（25）
① 象は鼻が長い。⇔
① 象は鼻は長く、鼻以外は長くない。⇔
① ∀ｘ｛象ｘ→∃ｙ（鼻ｙｘ＆長ｙ）＆∀ｚ（長ｚ→鼻ｚｘ）｝。
といふ「等式」は、「正しく」、
② 鼻は象が長い。⇔
② 象の鼻は長いが、象以外の動物の鼻は長くない。⇔
② ∀ｘ∀ｙ｛［（鼻ｘｙ＆象ｙ）→長ｘ］＆［長ｘ→（鼻ｘｙ＆象ｙ）］｝。
といふ「等式」は、「正しい」ものの、
①＝② ではない。
然るに、
（26）
１　（１）∀ｘ｛象ｘ→∃ｙ（鼻ｙｘ＆長ｙ）＆　∀ｚ（長ｚ→鼻ｚｘ）｝
に於いて、
１　（１）　　　　　　　　　　　　　　　　　　∀ｚ（長ｚ→鼻ｚｘ）
　　　　　　　　　　　　　　　　　　　　　　　　を「否定」すると、
１　（１）∀ｘ｛象ｘ→∃ｙ（鼻ｙｘ＆長ｙ）＆～∀ｚ（長ｚ→鼻ｚｘ）｝
然るに、
（27）
（ⅲ）
１　　（１）∀ｘ｛象ｘ→∃ｙ（鼻ｙｘ＆長ｙ）＆～∀ｚ（長ｚ→鼻ｚｘ）｝　Ａ
１　　（２）　　　象ａ→∃ｙ（鼻ｙａ＆長ｙ）＆～∀ｚ（長ｚ→鼻ｚａ）　　１ＵＥ
　３　（３）　　　象ａ　　　　　　　　　　　　　　　　　　　　　　　　　Ａ
１３　（４）　　　　　　∃ｙ（鼻ｙａ＆長ｙ）＆～∀ｚ（長ｚ→鼻ｚａ）　　２３ＭＰＰ
１３　（５）　　　　　　∃ｙ（鼻ｙａ＆長ｙ）　　　　　　　　　　　　　　４＆Ｅ
１３　（６）　　　　　　　　　　　　　　　　　～∀ｚ（長ｚ→鼻ｚａ）　　４＆Ｅ
１３　（７）　　　　　　　　　　　　　　　　　∃ｚ～（長ｚ→鼻ｚａ）　　６量化子の関係
　　８（８）　　　　　　　　　　　　　　　　　　　～（長ｃ→鼻ｃａ）　　Ａ
　　８（９）　　　　　　　　　　　　　　　　　　～（～長ｃ∨鼻ｃａ）　　８含意の定義
　　８（ア）　　　　　　　　　　　　　　　　　　～～長ｃ＆～鼻ｃａ　　　９ド・モルガンの法則
　　８（イ）　　　　　　　　　　　　　　　　　　　　長ｃ＆～鼻ｃａ　　　アＤＮ
　　８（ウ）　　　　　　　　　　　　　　　　　　　　～鼻ｃａ＆長ｃ　　　イ交換法則
　　８（エ）　　　　　　　　　　　　　　　　　∃ｚ（～鼻ｚａ＆長ｚ）　　ウＥＩ
１３　（オ）　　　　　　　　　　　　　　　　　∃ｚ（～鼻ｚａ＆長ｚ）　　７８エＥＥ
１３　（カ）　　　　　　∃ｙ（鼻ｙａ＆長ｙ）＆∃ｚ（～鼻ｚａ＆長ｚ）　　５オ＆Ｉ
１　　（キ）　　　象ａ→∃ｙ（鼻ｙａ＆長ｙ）＆∃ｚ（～鼻ｚａ＆長ｚ）　　３カＣＰ
１　　（ク）∀ｘ｛象ｘ→∃ｙ（鼻ｙｘ＆長ｙ）＆∃ｚ（～鼻ｚｘ＆長ｚ）｝　キＵＩ
１　　（〃）すべてのｘについて、ｘが象であるならば、あるｙはｘの鼻であって、長く、あるｚはｘの鼻でなくて、長い。　キＵＩ
１　　（〃）象は鼻以外も長い。　　　　　　　　　　　　　　　　　　　　　キＵＩ
１　　（〃）象は鼻も長い。　　　　　　　　　　　　　　　　　　　　　　　キＵＩ
（ⅳ）
１　　（１）∀ｘ｛象ｘ→∃ｙ（鼻ｙｘ＆長ｙ）＆∃ｚ（～鼻ｚｘ＆長ｚ）｝　Ａ
１　　（２）　　　象ａ→∃ｙ（鼻ｙａ＆長ｙ）＆∃ｚ（～鼻ｚａ＆長ｚ）　　１ＵＥ
　３　（３）　　　象ａ　　　　　　　　　　　　　　　　　　　　　　　　　Ａ
１３　（４）　　　　　　∃ｙ（鼻ｙａ＆長ｙ）＆∃ｚ（～鼻ｚａ＆長ｚ）　　２３ＭＰＰ
１３　（５）　　　　　　∃ｙ（鼻ｙａ＆長ｙ）　　　　　　　　　　　　　　４＆Ｅ
１３　（６）　　　　　　　　　　　　　　　　　∃ｚ（～鼻ｚａ＆長ｚ）　　４＆Ｅ
　　７（７）　　　　　　　　　　　　　　　　　　　　～鼻ｃａ＆長ｃ　　　Ａ
　　７（８）　　　　　　　　　　　　　　　　　　　　長ｃ＆～鼻ｃａ　　　７交換法則
　　７（９）　　　　　　　　　　　　　　　　　　～～長ｃ＆～鼻ｃａ　　　８ＤＮ
　　７（ア）　　　　　　　　　　　　　　　　　　～（～長ｃ∨鼻ｃａ）　　９ド・モルガンの法則
　　７（イ）　　　　　　　　　　　　　　　　　　　～（長ｃ→鼻ｃａ）　　ア含意の定義
　　７（ウ）　　　　　　　　　　　　　　　　　∃ｚ～（長ｚ→鼻ｚａ）　　イＥＩ
１３　（エ）　　　　　　　　　　　　　　　　　∃ｚ～（長ｚ→鼻ｚａ）　　６７ウＥＥ
１３　（オ）　　　　　　　　　　　　　　　　　～∀ｚ（長ｚ→鼻ｚａ）　　エ量化子の関係
１３　（カ）　　　　　　∃ｙ（鼻ｙａ＆長ｙ）＆～∀ｚ（長ｚ→鼻ｚａ）　　５オ＆Ｉ
１　　（キ）　　　象ａ→∃ｙ（鼻ｙａ＆長ｙ）＆～∀ｚ（長ｚ→鼻ｚａ）　　３カＣＰ
１　　（ク）∀ｘ｛象ｘ→∃ｙ（鼻ｙｘ＆長ｙ）＆～∀ｚ（長ｚ→鼻ｚｘ）｝　キＵＩ
１　　（〃）すべてのｘについて、ｘが象であるならば、あるｙはｘの鼻であって、長く、すべてのｚについて、ｚが長いならば、ｚはｘの鼻である。といふわけではない。　キＵＩ
１　　（〃）象は鼻以外も長い。　　　　　　　　　　　　　　　　　　　　　キＵＩ
１　　（〃）象は鼻も長い。　　　　　　　　　　　　　　　　　　　　　　　キＵＩ
従って、
（27）により、
（28）
③ ∀ｘ｛象ｘ→∃ｙ（鼻ｙｘ＆長ｙ）＆～∀ｚ（長ｚ→鼻ｚｘ）｝＝象は鼻も長い。
④ ∀ｘ｛象ｘ→∃ｙ（鼻ｙｘ＆長ｙ）＆∃ｚ（～鼻ｚｘ＆長ｚ）｝＝象は鼻も長い。
に於いて、
③＝④ である。
（15）（28）により、
（29）
① 象は鼻が長い＝∀ｘ｛象ｘ→∃ｙ（鼻ｙｘ＆長ｙ）＆∀ｚ（長ｚ→鼻ｚｘ）｝。
② 鼻は象が長い＝∀ｘ∀ｙ｛［（鼻ｘｙ＆象ｙ）→長ｘ］＆［長ｘ→（鼻ｘｙ＆象ｙ）］｝。
③ 象は鼻も長い＝∀ｘ｛象ｘ→∃ｙ（鼻ｙｘ＆長ｙ）＆∃ｚ（～鼻ｚｘ＆長ｚ）｝。
である。
従って、
（29）により、
（30）
① 象は鼻以外は長くない＝∀ｘ｛象ｘ→∃ｙ（鼻ｙｘ＆長ｙ）＆∀ｚ（長ｚ→鼻ｚｘ）｝。
③ 象は鼻以外も長い　　＝∀ｘ｛象ｘ→∃ｙ（鼻ｙｘ＆長ｙ）＆∃ｚ（～鼻ｚｘ＆長ｚ）｝。
である。
然るに、
（31）
④ 象は鼻は長い。
といふのであれば、
④ 鼻以外については、長いとも、長くないとも、言ってゐない。
従って、
（29）（30）（31）により、
（32）
① 象は鼻が長い＝∀ｘ｛象ｘ→∃ｙ（鼻ｙｘ＆長ｙ）＆∀ｚ（長ｚ→鼻ｚｘ）｝。
③ 象は鼻も長い＝∀ｘ｛象ｘ→∃ｙ（鼻ｙｘ＆長ｙ）＆∃ｚ（～鼻ｚｘ＆長ｚ）｝。
④ 象は鼻は長い＝∀ｘ｛象ｘ→∃ｙ（鼻ｙｘ＆長ｙ）　　　　　　　　　　　　｝。
である。
従って、
（29）（32）により、
（33）
「順番」を「付け直す」と、
① 象は鼻は長い＝∀ｘ｛象ｘ→∃ｙ（鼻ｙｘ＆長ｙ）　　　　　　　　　　　　｝。
② 象は鼻が長い＝∀ｘ｛象ｘ→∃ｙ（鼻ｙｘ＆長ｙ）＆∀ｚ（長ｚ→鼻ｚｘ）　｝。
③ 象は鼻も長い＝∀ｘ｛象ｘ→∃ｙ（鼻ｙｘ＆長ｙ）＆∃ｚ（～鼻ｚｘ＆長ｚ）｝。
④ 鼻は象が長い＝∀ｘ∀ｙ｛［（鼻ｘｙ＆象ｙ）→長ｘ］＆［長ｘ→（鼻ｘｙ＆象ｙ）］｝。
といふ、ことになる。
（34）
「述語論理」を用ひて、
① 象は鼻は長い。
② 象は鼻が長い。
③ 象は鼻も長い。
④ 鼻は象が長い。
といふ「日本語」を「分析」してゐるわけではない。
（35）
「述語論理」ではなく、「日本語」を用ひて、
① 象は鼻は長い。
② 象は鼻が長い。
③ 象は鼻も長い。
④ 鼻は象が長い。
といふ「日本語」を「分析」した「結果」が、「正しい」か「否」かを、「確認」する際に、「述語論理」を用ひることになる。
そのため、
（36）
「日本語」で考へた「結論」と、「述語論理」で「確認」した「結論」が「違ってゐる」場合は、
　―「何かヲカシイ！！」、初めての「挫折」か？、「大ピンチ！！」―
といふ風に、「狼狽」することになる。