「無不知愛其親者」の「述語論理」。

―「昨日（令和元年１０月０７日）の記事」を書き直します。―
― しばらく、「返り点」に関する「記事」を書いてゐません。「返り点と括弧」に関しては、
（α）「返り点」と「括弧」に付いて。　：（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）
② 無_二Ａ不_一レＢ　［読み］ＡトシテＢセざルハなシ ：Ａは体言、Ｂは用言の未然形
（天野 成之、漢文子本語辞典、1999年、３２４頁）
従って、
（01）（02）により、
（03）
② 無孩提之童不知愛其親者＝
② 無_下孩提之童不_レ知_レ愛_二其親_一者_上＝
② 無｛孩提之童不［知〔愛（其親）〕］者｝⇒
② ｛孩提之童［〔（其親）愛〕知］不者｝無＝
② ｛孩提の童として［〔（其の親を）愛するを〕知ら］不り者｝無し＝
② 二、三歳の幼児でも自分の親を愛することを知らない者はゐない。
従って、
（01）（02）（03）により、
（04）
① 孩提之童無｛不［知〔愛（其親）〕］者｝＝ 孩提の童も、　　其の親を愛するを知ら不る者無し。
② 無｛孩提之童不［知〔愛（其親）〕］者｝＝ 孩提の童として、其の親を愛するを知ら不る者無し。
に於いて、
①＝② である。
然るに、
（05）
（ⅰ）
１　（１）　∀ｘ｛Ｆｘ→～∃ｙ（Ｇｙｘ＆～Ｈｘｙ）｝　Ａ
１　（２）　　　　Ｆａ→～∃ｙ（Ｇｙａ＆～Ｈａｙ）　　１ＵＥ
　３（３）　　　　Ｆａ＆　∃ｙ（Ｇｙａ＆～Ｈａｙ）　　Ａ
１３（４）　　　　Ｆａ　　　　　　　　　　　　　　　　３＆Ｅ
１３（５）　　　　　　　～∃ｙ（Ｇｙａ＆～Ｈａｙ）　　２４ＭＰＰ
　３（６）　　　　　　　　∃ｙ（Ｇｙａ＆～Ｈａｙ）　　３＆Ｅ
１３（７）　　　　　　　～∃ｙ（Ｇｙａ＆～Ｈａｙ）＆
　　　　　　　　　　　　　∃ｙ（Ｇｙａ＆～Ｈａｙ）　　５６＆Ｉ
１　（８）　　～｛Ｆａ＆　∃ｙ（Ｇｙａ＆～Ｈａｙ）｝　３７ＲＡＡ
１　（９）∀ｘ～｛Ｆｘ＆　∃ｙ（Ｇｙｘ＆～Ｈｘｙ）｝　８ＵＩ
１　（ア）～∃ｘ｛Ｆｘ＆　∃ｙ（Ｇｙｘ＆～Ｈｘｙ）｝　９量化子の関係
（ⅱ）
１　（１）～∃ｘ｛Ｆｘ＆　∃ｙ（Ｇｙｘ＆～Ｈｘｙ）｝　Ａ
１　（２）∀ｘ～｛Ｆｘ＆　∃ｙ（Ｇｙｘ＆～Ｈｘｙ）｝　１量化子の関係
１　（３）　　～｛Ｆａ＆　∃ｙ（Ｇｙａ＆～Ｈａｙ）｝　２ＵＥ
１　（４）　　　～Ｆａ∨～∃ｙ（Ｇｙａ＆～Ｈａｙ）　　３ド・モルガンの法則
１　（５）　　　　Ｆａ→～∃ｙ（Ｇｙａ＆～Ｈａｙ）　　４含意の定義
１　（６）　∀ｘ｛Ｆｘ→～∃ｙ（Ｇｙｘ＆～Ｈｘｙ）｝　５ＵＩ
従って、
（05）により、
（06）
①   ∀ｘ｛Ｆｘ→～∃ｙ（Ｇｙｘ＆～Ｈｘｙ）｝
② ～∃ｘ｛Ｆｘ＆　∃ｙ（Ｇｙｘ＆～Ｈｘｙ）｝
に於いて、
①＝② である。
従って、
（06）により、
（07）
①   ∀ｘ｛Ｆｘ→～∃ｙ（Ｇｙｘ＆～Ｈｘｙ）｝
② ～∃ｘ｛Ｆｘ＆　∃ｙ（Ｇｙｘ＆～Ｈｘｙ）｝
に於いて、
Ｆ＝孩提之童
Ｇ＝親
Ｈ＝知愛
とすると、
①　 ∀ｘ｛孩提之童ｘ→～∃ｙ（親ｙｘ＆～知愛ｘｙ）｝
② ～∃ｘ｛孩提之童ｘ＆　∃ｙ（親ｙｘ＆～知愛ｘｙ）｝
に於いて、すなはち、
① すべてのｘについて、ｘが二歳や三歳の幼児であるならば、あるｙがｘの親であって、ｘがｙを愛することを知らない、といふことは無い。
② ｘが二歳や三歳の幼児であって、あるｙがｘの親であって、ｘがｙをｙを愛することを知らないといふ、そのやうなｘは存在しない（無い）。
に於いて、
①＝② である。
従って、
（04）（07）により、
（08）
① 孩提之童無｛不［知〔愛（其親）〕］者｝
② 無｛孩提之童不［知〔愛（其親）〕］者｝
といふ「語順」の「漢文」は、
①　 ∀ｘ｛孩提之童ｘ→～∃ｙ（親ｙｘ＆～知愛ｘｙ）｝
② ～∃ｘ｛孩提之童ｘ＆　∃ｙ（親ｙｘ＆～知愛ｘｙ）｝
といふ「語順」の「述語論理式」に相当する。
令和元年１０月０８日、毛利太。