―「昨日の記事」を補足します。―
―「返り点と括弧」に関しては、
（α）「返り点」と「括弧」に付いて。 ：（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）
① Ｐ→Ｑ（ＰならばＱである。）
に於いて、「逆も真である」ならば、そのときに限って、「ＰとＱは、等しい。」
従って、
（01）により、
（02）
①（Ｈ＆Ｚ→Ｎ）＆（Ｎ→Ｈ＆Ｚ）
②（Ｈ＆Ｚ→Ｎ）＆（Ｎ→Ｈ ）
③（Ｈ＆Ｚ→Ｎ）＆（Ｎ→ Ｚ）
に於いて、
① ならば、そのときに限って、「Ｈ＆Ｚは、Ｎに等しい（Ｎは、Ｈ＆Ｚに等しい）。」
従って、
（02）により、
（03）
②（Ｈ＆Ｚ→Ｎ）＆（Ｎ→Ｈ＆Ｚ）├（Ｈ＆Ｚ→Ｎ）＆（Ｎ→Ｈ ）
といふ「連式」は、
②「Ｈ＆Ｚが、Ｎに等しい。」ならば「Ｈ＆Ｚは、Ｎに等しくない。」
といふ風に、「主張」してゐる。
然るに、
（04）
１ （１）（Ｈ＆Ｚ→Ｎ）＆（Ｎ→Ｈ＆Ｚ） Ａ
１ （〃） Ｈ＆Ｚは、Ｎに等しい。 Ａ
１ （２） Ｈ＆Ｚ→Ｎ １＆Ｅ
１ （３） Ｎ→Ｈ＆Ｚ １＆Ｅ
４（４） Ｎ Ａ
１４（５） Ｈ＆Ｚ ３４ＭＰＰ
１４（６） Ｈ ５＆Ｅ
１ （７） Ｎ→Ｈ ４６ＣＰ
１ （８）（Ｈ＆Ｚ→Ｎ）＆（Ｎ→Ｈ ） ２７＆Ｉ
１ （〃） Ｈ＆Ｚは、Ｎに等しくない。 ２７＆Ｉ
といふ「計算」は、
②（Ｈ＆Ｚ→Ｎ）＆（Ｎ→Ｈ＆Ｚ）├（Ｈ＆Ｚ→Ｎ）＆（Ｎ→Ｈ ）
といふ「連式」が、「正しい」といふことを、示してゐる。
従って、
（03）（04）により、
（05）
１ （１）（Ｈ＆Ｚ→Ｎ）＆（Ｎ→Ｈ＆Ｚ） Ａ
１ （〃） Ｈ＆Ｚは、Ｎに等しい。 Ａ
１ （２） Ｈ＆Ｚ→Ｎ １＆Ｅ
１ （３） Ｎ→Ｈ＆Ｚ １＆Ｅ
４（４） Ｎ Ａ
１４（５） Ｈ＆Ｚ ３４ＭＰＰ
１４（６） Ｈ ５＆Ｅ
１ （７） Ｎ→Ｈ ４６ＣＰ
１ （８）（Ｈ＆Ｚ→Ｎ）＆（Ｎ→Ｈ ） ２７＆Ｉ
１ （〃） Ｈ＆Ｚは、Ｎに等しくない。 ２７＆Ｉ
といふ「計算」は、
②「Ｈ＆Ｚが、Ｎに等しい。」ならば「Ｈ＆Ｚは、Ｎに等しくない。」
といふ風に、「主張」してゐる。
然るに、
（06）
②「Ｈ＆Ｚが、Ｎに等しい。」ならば「Ｈ＆Ｚは、Ｎに等しくない。」
といふ「主張」は、
②「Ａ＝Ｂ である。」ならば「Ａ＝Ｂ ではない。」
といふことなので、「矛盾」に、他ならない。
従って、
（05）（06）により、
（07）
１ （１）（Ｈ＆Ｚ→Ｎ）＆（Ｎ→Ｈ＆Ｚ） Ａ
１ （〃） Ｈ＆Ｚは、Ｎに等しい。 Ａ
１ （２） Ｈ＆Ｚ→Ｎ １＆Ｅ
１ （３） Ｎ→Ｈ＆Ｚ １＆Ｅ
４（４） Ｎ Ａ
１４（５） Ｈ＆Ｚ ３４ＭＰＰ
といふ「計算」は、「受け入れざる」を得ないが、
１４（６） Ｈ ５＆Ｅ
１ （７） Ｎ→Ｈ ４６ＣＰ
１ （８）（Ｈ＆Ｚ→Ｎ）＆（Ｎ→Ｈ ） ２７＆Ｉ
１ （〃） Ｈ＆Ｚは、Ｎに等しくない。 ２７＆Ｉ
といふ「計算」は、「受け入れる」ことは、出来ない。
然るに、
（08）
１ （１）（Ｈ＆Ｚ→Ｎ）＆（Ｎ→Ｈ＆Ｚ） Ａ
に於いて、
Ｈ＝鼻ｘｙ
Ｚ＝象ｙ
Ｎ＝長
といふ「代入（置換）」を行ふと、
１ （１）（鼻ｘｙ＆象ｙ→長）＆（長→鼻ｘｙ＆象ｙ） Ａ
従って、
（07）（08）により、
（09）
１ （１）鼻は象が長い。 Ａ
１ （〃）∀ｘ∀ｙ｛［（鼻ｘｙ＆象ｙ）→長ｘ］＆［長ｘ→（鼻ｘｙ＆象ｙ）］｝ Ａ
１ （２） ∀ｙ｛［（鼻ａｙ＆象ｙ）→長ａ］＆［長ａ→（鼻ａｙ＆象ｙ）］｝ １ＵＥ
１ （３） （鼻ａｂ＆象ｂ）→長ａ ＆ 長ａ→（鼻ａｂ＆象ｂ） ２ＵＥ
１ （４） 鼻ａｂ＆象ｂ →長ａ ３＆Ｅ
１ （５） 長ａ→ 鼻ａｂ＆象ｂ ３＆Ｅ
６ （６） 長ａ Ａ
１６ （７） 鼻ａｂ＆象ｂ ５６ＭＰＰ
１６ （８） 鼻ａｂ ７＆Ｅ
１６ （９） 象ｂ ８＆Ｅ
１６ （ア） 鼻ａｂ＆長ａ ６８＆Ｉ
１６ （イ） ∃ｙ（鼻ｙｂ＆長ｙ） アＥＩ
１ （ウ） 象ｂ→∃ｙ（鼻ｙｂ＆長ｙ） ９イＣＰ
エ（エ） 長ａ Ａ
１ エ（オ） 鼻ａｂ＆象ｂ ５エＭＰＰ
といふ「計算」は、「受け入れざる」を得ないが、
１ エ（カ） 鼻ａｂ オ＆Ｅ
１ （キ） 長ａ→鼻ａｂ エカＣＰ
１ （ク） ∀ｚ（長ｚ→鼻ｚｂ） キＵＩ
１ （ケ） 象ｂ→∃ｙ（鼻ｙｂ＆長ｙ）＆∀ｚ（長ｚ→鼻ｚｂ） ウク＆Ｉ
１ （コ）∀ｘ｛象ｘ→∃ｙ（鼻ｙｘ＆長ｙ）＆∀ｚ（長ｚ→鼻ｚｘ）｝ ケＵＩ
１ （〃）象は鼻が長い。 ケＵＩ
といふ「計算」は、「受け入れる」ことは、出来ない。
然るに、
（10）
１ （ウ） 象ｂ→∃ｙ（鼻ｙｂ＆長ｙ） ９イＣＰ
１ （エ） ∀ｘ｛象ｘ→∃ｙ（鼻ｙｘ＆長ｙ）｝ ウＵＩ
１ （〃）象は鼻は長い。 ウＵＩ
従って、
（07）～（10）により、
（11）
① 鼻は象が長い。
② 象は鼻は長い。
③ 象は鼻が長い。
に於いて、
① ならば、② であるが、
① ならば、③ ではない。
然るに、
（12）
「日本語」で以て、
① 鼻は象が長い。
② 象は鼻は長い。
③ 象は鼻が長い。
といふ「日本語」を「分析」すると、
① ならば、② であるが、
① ならば、③ ではない。
然るに、
（13）
１ エ（カ） 鼻ａｂ オ＆Ｅ
１ （キ） 長ａ→鼻ａｂ エカＣＰ
１ （ク） ∀ｚ（長ｚ→鼻ｚｂ） キＵＩ
１ （ケ） 象ｂ→∃ｙ（鼻ｙｂ＆長ｙ）＆∀ｚ（長ｚ→鼻ｚｂ） ウク＆Ｉ
１ （コ）∀ｘ｛象ｘ→∃ｙ（鼻ｙｘ＆長ｙ）＆∀ｚ（長ｚ→鼻ｚｘ）｝ ケＵＩ
１ （〃）象は鼻が長い。 ケＵＩ
といふ「計算結果」を、「受け入れる」とすると、
① 鼻は象が長い。
② 象は鼻は長い。
③ 象は鼻が長い。
といふ「日本語」を「分析」すると、
① ならば、② ではあるが、
① ならば、③ でもある。
といふ、ことになる。
従って、
（12）（13）により、
（14）
「日本語」 による「分析」と、
「述語計算」の「結果」が、「矛盾」してしまい、それ故、
―「何かヲカシイ！！」、初めての「挫折」か？、「大ピンチ！！」―
といふ風に、「狼狽」する。
然るに、
（07）（08）（09）により、
（15）
１ エ（カ） 鼻ａｂ オ＆Ｅ
１ （キ） 長ａ→鼻ａｂ エカＣＰ
１ （ク） ∀ｚ（長ｚ→鼻ｚｂ） キＵＩ
１ （ケ） 象ｂ→∃ｙ（鼻ｙｂ＆長ｙ）＆∀ｚ（長ｚ→鼻ｚｂ） ウク＆Ｉ
１ （コ）∀ｘ｛象ｘ→∃ｙ（鼻ｙｘ＆長ｙ）＆∀ｚ（長ｚ→鼻ｚｘ）｝ ケＵＩ
１ （〃）象は鼻が長い。 ケＵＩ
といふ「計算」は、「受け入れる必要」は無い。
従って、
（14）
「日本語」 による「分析」と、
「述語計算」の「結果」が、「矛盾」する。
―「何かヲカシイ！！」、初めての「挫折」か？、「大ピンチ！！」―
といふ「大ピンチ」は、実際には、「ピンチ」ではなかった。といふ、ことになる。
令和元年０６月１０日、毛利太。
0 件のコメント:
コメントを投稿