「返読文字」としての「有（have）」について。

（01）
返読文字とは、そのような「他動詞」や「助動詞」以外に、日本語と逆の語順になる漢字のことです。
入試で頻出となる返読文字は以下です。
① 有無を表す表現　…「有」「無」「多」「少」
（ViCOLLA Magazine）
然るに、
（02）
「有」は「もつ」が原義だから「・・・・がある」にあたり、「・・・・である」ではない。
（中沢希男、同訓異字辞典、1980年、２１頁）
従って、
（01）（02）により、
（03）
「有（返読文字）」は、「他動詞」ではないと、言ふものの、
① 我有父母。
② I have parents.
に於いて、
①＝② であるため、
「有（have）」は、「他動詞」である。
然るに、
（04）
① 有父母。
② have parents.
に於いて、
①＝② であるが、
① は、「漢文」として、「正しい」が、
② は、「英文」として、「正しく」はない。
従って、
（04）により、
（05）
① 有父母（父母あり）。
② 父母有（父母あり）。
といふ「語順」に於いて、
① は、「漢文」として、「正しい」が、
② は、「漢文」として、「正しく」はない。
従って、
（05）により、
（06）
① 　世有伯楽　（世に伯楽有り）。
② 千里馬常有　（千里の馬は常に有り）。
③ 千里馬常有之（千里の馬は常に、之れ有り）。
といふ「語順」に於いて、
② の「語順」は、「漢文」としては、「破格」である。
然るに、
（07）
② 常識、常備、常駐、常在
等がさうであるやうに、
② 常有
が、「名詞」であるならば、
② 千里馬（主語）＋常有（述語）。
であるため、
② 千里馬常有（千里の馬は常に有り）。
であっても、「破格」ではない。
然るに、
（08）
（ⅰ）
１　　（１）　　～∀ｘ（Ｆｘ）　　Ａ
　２　（２）　～∃ｘ（～Ｆｘ）　　Ａ
　　３（３）　　　　　～Ｆａ　　　Ａ
　　３（４）　　∃ｘ（～Ｆｘ）　　３ＥＩ
　２３（５）　～∃ｘ（～Ｆｘ）＆
　　　　　　　　∃ｘ（～Ｆｘ）　　２４＆Ｉ
　２　（６）　　　　～～Ｆａ　　　３ＲＡＡ
　２　（７）　　　　　　Ｆａ　　　６ＤＮ
　２　（８）　　　∀ｘ（Ｆｘ）　　７ＵＩ
１２　（９）　　～∀ｘ（Ｆｘ）＆
　　　　　　　　　∀ｘ（Ｆｘ）　　１８＆Ｉ
１　　（ア）～～∃ｘ（～Ｆｘ）　　２９ＲＡＡ
１　　（イ）　　∃ｘ（～Ｆｘ）　　アＤＮ
（ⅱ）
１　　（１）　　∃ｘ（～Ｆｘ）　　Ａ
　２　（２）　　　∀ｘ（Ｆｘ）　　Ａ
　　３（３）　　　　　～Ｆａ　　　Ａ
　２　（４）　　　　　　Ｆａ　　　２ＵＥ
　２３（５）　　～Ｆａ＆Ｆａ　　　３４＆Ｉ
　　３（６）　　～∀ｘ（Ｆｘ）　　２５ＲＡＡ
１　　（７）　　～∀ｘ（Ｆｘ）　　１３６ＥＥ
従って、
（08）により、
（09）
① ～∀ｘ（Ｆｘ）
② ∃ｘ（～Ｆｘ）
に於いて、すなはち、
① すべてのｘが、Ｆである。といふわけではない。
② 　　あるｘは、Ｆでない。
に於いて、
①＝② である（量化子の関係）。
従って、
（09）により、
（10）
① ～∀ｘ｛千里馬ｘ→∃ｙ（伯楽ｙｘ）｝
② ∃ｘ～｛千里馬ｘ→∃ｙ（伯楽ｙｘ）｝
に於いて、
①＝② である（量化子の関係）。
然るに、
（11）
（ⅰ）
１　（１）～∀ｘ｛千里馬ｘ→∃ｙ（伯楽ｙｘ）｝　Ａ
１　（２）∃ｘ～｛千里馬ｘ→∃ｙ（伯楽ｙｘ）｝　１量化子の関係
　３（３）　　～｛千里馬ａ→∃ｙ（伯楽ｙａ）｝　Ａ
　３（４）　～｛～千里馬ａ∨∃ｙ（伯楽ｙａ）｝　３含意の定義
　３（５）　　　千里馬ａ＆～∃ｙ（伯楽ｙａ）　　４ド・モルガンの法則
　３（６）∃ｘ｛千里馬ｘ＆～∃ｙ（伯楽ｙｘ）｝　５ＥＩ
１　（７）∃ｘ｛千里馬ｘ＆～∃ｙ（伯楽ｙｘ）｝　１３６ＥＥ
（ⅱ）
１　（１）∃ｘ｛千里馬ｘ＆～∃ｙ（伯楽ｙｘ）｝　Ａ
　２（２）　　　千里馬ａ＆～∃ｙ（伯楽ｙａ）　　Ａ
　２（３）　～｛～千里馬ａ∨∃ｙ（伯楽ｙａ）｝　２ド・モルガンの法則
　２（４）　　～｛千里馬ａ→∃ｙ（伯楽ｙａ）｝　３含意の定義
　２（５）∃ｘ～｛千里馬ｘ→∃ｙ（伯楽ｙｘ）｝　４ＥＩ
１　（６）∃ｘ～｛千里馬ｘ→∃ｙ（伯楽ｙｘ）｝　１２５ＥＥ
１　（７）～∀ｘ｛千里馬ｘ→∃ｙ（伯楽ｙｘ）｝　６量化子の関係
従って、
（11）により、
（12）
① ～∀ｘ｛千里馬ｘ→∃ｙ（伯楽ｙｘ）｝
② ∃ｘ｛千里馬ｘ＆～∃ｙ（伯楽ｙｘ）｝
に於いて、すなはち、
① すべてのｘについて、ｘが千里馬であるならば、あるｙがｘの伯楽である。といふわけではない。
② あるｘは、千里馬であって、ｘの伯楽であるｙは、存在しない。
に於いて、すなはち、
① すべての千里馬に対して、伯楽がゐる。といふわけではない。
② 伯楽がゐない所の、千里の馬がゐる。
に於いて、
①＝② である。
然るに、
（13）
千里馬常有、而伯楽不_二常有_一。
千里の馬は常有れども、伯楽は常には有らず。
一日に千里走る名馬はいつもいるのであるが、（これを見わける）伯楽はいつもいるとはかぎらないのである。
◇ 千里馬常有、而伯楽不_二常有_一。
「不_二常～_一」は「常ニハ～ず」と読み、「いつも～とはかぎらない」の意を示す一部否定の形。
全部否定は「常不_二～_一」の形で「常に～ず」と読み、「いつもかならず～ない」の意味をあらわす。
（旺文社、漢文の基礎、1973年、１５３・４・５頁）
従って、
（12）（13）により、
（14）
① 千里馬常有、而伯楽不_二常有_一。
といふ「漢文（部分否定）」は、
① ～∀ｘ｛千里馬ｘ→∃ｙ（伯楽ｙｘ）｝
といふ「述語論理式」に、「相当」する。
令和０３年１０月２７日、毛利太。