「千里馬常有」の「述語論理」と「雜説（韓愈）」の「有」の「語順」。

―「先ほどの記事」の「続き」を書きます。―
―「返り点と括弧」に関しては、
（α）「返り点」と「括弧」に付いて。　：（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）。
等々、「その他、諸々」を、お読み下さい。今となっては、どのやうなことを書いて、どのやうなことを書かなかったのか、ハッキリとは、覚えてはゐません。―
（32）
存在を表わす動詞として、古代語においても、「有」と「在」と常用されている。しかし、その存在するものと、存在する場所という単語の語順は、次のように全く反対である。
　Ａ式　場所語―有―存在物
　　例　机上有書（机上に書あり）
　Ｂ式　存在物―在―場所語
　　例　書在机上（書、机上にあり）
（鈴木直治、中国語と漢文、1975年、３４６頁）
従って、
（32）により、
（33）
① 伯楽不常有＝伯楽は常にはあらず。
② 伯楽不常在＝伯楽は常にはあらず。
であれば、
① は、「マチガイ」であって、
② が、「タダシイ」はずであるが、
「韓愈（雜説）」の「原文」では、何故か、
② ではなく、
① になってゐる。
然るに、
（34）
③ 臣弑其君者有之＝臣にして其の君を弑する者、之有り。
のやうな「倒置」であるならば、
① 伯楽不常有　＝伯楽は常にはあらず。
ではなく、
① 伯楽不常有之＝伯楽は常には、之有らず。
になってゐても、ヲカシクはない。
然るに、
（35）
④ 常在、常住、常識、常勝、常備、・・・・・。
等は、すべて、「名詞」である。
従って、
（35）により、
（36）
④ 常在、常住、常識、常勝、常備、・・・・・。
だけでなく、
④ 常有
の場合も、「名詞」なのかも知れない。
従って、
（36）により、
（37）
④ 千里馬常有＝千里の馬は常にあり。
の場合も、
④ 千里馬常有＝千里の馬は常有である。
といふ「名詞文」として、
④ 千里馬常有＝千里（形容詞）＋馬（名詞）＋常有（名詞）。
といふ「語順」なのかも、知れないし、さうであれば、
④ 千里馬常有＝千里馬は常有である。
といふ「語順」は、「漢文として、普通である」。
然るに、
（38）
「韓愈」自身は、
存在を表わす動詞として、古代語においても、「有」と「在」と常用されている。しかし、その存在するものと、存在する場所という単語の語順は、全く反対である。
といふことを、どうでも良いと思ってゐたのかも、知れない。
然るに、
（39）
仮に、さうであるならば、
① 伯楽不常有＝伯楽は常にはあらず。
④ 千里馬常有＝千里の馬は常にあり。
といふ「それ」は、固より、
① 伯楽不常在＝伯楽は常にはあらず。
④ 千里馬常在＝千里の馬は常にあり。
である。といふことになる。
然るに、
（40）
（ⅰ）
１　　（１）∀ｘ｛馬ｘ→∃ｙ（千里ｘｙ）｝　　　　Ａ
１　　（２）　　　馬ａ→∃ｙ（千里ｘｙ）　　　　　１ＵＥ
　３　（３）　　　馬ａ　　　　　　　　　　　　　　Ａ
１３　（４）　　　　　　　　　∃ｙ（千里ｘｙ）　　２３ＭＰＰ
　　５（５）　　　　　　　　　　　　千里ａｂ　　　Ａ
　３５（６）　　　　　　　　　馬ａ＆千里ａｂ　　　３５＆Ｉ
　３５（７）　　　　　　∃ｙ（馬ａ＆千里ａｙ）　　６ＥＩ
１３　（８）　　　　　　∃ｙ（馬ａ＆千里ａｙ）　　４５７ＥＥ
１　　（９）　　　馬ａ→∃ｙ（馬ａ＆千里ａｙ）　　３８ＣＰ
１　　（ア）∀ｘ｛馬ｘ→∃ｙ（馬ｘ＆千里ｘｙ）｝　９ＵＩ
（ⅱ）
１　　（１）∀ｘ｛馬ｘ→∃ｙ（馬ｘ＆千里ｘｙ）｝　Ａ
１　　（２）　　　馬ａ→∃ｙ（馬ａ＆千里ａｙ）　　１ＵＥ
　３　（３）　　　馬ａ　　　　　　　　　　　　　　Ａ
１３　（４）　　　　　　∃ｙ（馬ａ＆千里ａｙ）　　２３ＭＰＰ
　　５（５）　　　　　　　　　馬ａ＆千里ａｂ　　　Ａ
　　５（６）　　　　　　　　　　　　千里ａｂ　　　５＆Ｅ
　　５（７）　　　　　　　　　∃ｙ（千里ａｙ）　　６ＥＩ
１３　（８）　　　　　　　　　∃ｙ（千里ａｙ）　　４５７ＥＥ
１　　（９）　　　　　　馬ａ→∃ｙ（千里ｘｙ）　　３８ＣＰ
１　　（ア）　　　∀ｘ｛馬ｘ→∃ｙ（千里ｘｙ）｝　９ＵＩ
従って、
（41）
（ⅰ）∀ｘ｛馬ｘ→　　　∃ｙ（千里ｘｙ）｝＝すべてのｘについて、ｘが馬であるならば、あるｙは、ｘの千里である。
（ⅱ）∀ｘ｛馬ｘ→∃ｙ（馬ｘ＆千里ｘｙ）｝＝すべてのｘについて、ｘが馬であるならば、あるｙは、馬である所のｘの千里である。
に於いて、
（ⅰ）＝（ⅱ） である。
然るに、
（42）
（ⅱ）∀ｘ｛馬ｘ→∃ｙ（馬ｘ＆千里ｘｙ）｝＝すべてのｘについて、ｘが馬であるならば、あるｙは、馬である所のｘの千里である。
といふことは、
（ⅱ）「馬の集合」の中には、「千里の馬」が、「必ずゐる」。
といふ「意味」である。
然るに、
（43）
（ⅱ）「馬の集合」の中には、「千里の馬」が、「必ずゐる」。
といふことは、
（ⅱ）千里の馬は、常に有る。
といふことである。
然るに、
（44）
（ⅱ）∀ｘ｛馬ｘ→∃ｙ（馬ｘ＆千里ｘｙ）｝＝すべてのｘについて、ｘが馬であるならば、あるｙは、馬である所のｘの千里である。
とするよりも、
（ⅲ）∀ｘ｛馬ｘ→∃ｙ（千里馬ｙ）｝　　　＝すべてのｘについて、ｘが馬であるならば、あるｙは、千里の馬である。
とする方が、「簡単（計算が楽）」なので、以下では、
（ⅲ）∀ｘ｛馬ｘ→∃ｙ（千里馬ｙ）｝　　　＝すべてのｘについて、ｘが馬であるならば、あるｙは、千里の馬である。
であると、する。
従って、
（28）（41）（44）により、
（45）
④ 千里馬常有而伯楽不常有＝
④ 千里馬常有而伯楽不(常有）⇒
④ 千里の馬は常に有れども伯楽は常には有らず。
といふ「漢文・訓読」は、
④ ∀ｘ｛馬ｘ→∃ｙ（千里馬ｙ）｝＆～∀ｚ（馬喰ｚ→伯楽ｚ）＝
④ すべてのｘについて、ｘが馬であるならば、あるｙは、千里の馬であり、＆すべてのｚについて、ｚが馬喰であるならば、ｚは伯楽である。といふわけではない。
といふ「述語論理・訓読」に、相当する。
令和元年０５月０９日、毛利太。