「無Ａ無Ｂ（ＡとしてＢ無きは無し。）」の「述語論理」。

（01）
（ⅰ）
１　（１）　∀ｘ｛親ｘ→　∃ｙ（子ｙｘ＆愛ｘｙ）｝　Ａ
１　（２）　　　　親ａ→　∃ｙ（子ｙａ＆愛ａｙ）　　１ＵＥ
　３（３）　　　　親ａ＆～∃ｙ（子ｙａ＆愛ａｙ）　　Ａ
　３（４）　　　　親ａ　　　　　　　　　　　　　　　３＆Ｅ
１３（５）　　　　　　　　∃ｙ（子ｙａ＆愛ａｙ）　　２４ＭＰＰ
　３（６）　　　　　　　～∃ｙ（子ｙａ＆愛ａｙ）　　３＆Ｅ
１３（７）　　　　　　　　∃ｙ（子ｙａ＆愛ａｙ）＆
　　　　　　　　　　　　～∃ｙ（子ｙａ＆愛ａｙ）　　５６＆Ｉ
１　（８）　　～｛親ａ＆～∃ｙ（子ｙａ＆愛ａｙ）｝　３７ＣＰ
１　（９）∀ｘ～｛親ｘ＆～∃ｙ（子ｙｘ＆愛ｘｙ）｝　８ＵＩ
１　（ア）～∃ｘ｛親ｘ＆～∃ｙ（子ｙｘ＆愛ｘｙ）｝　９量化子の関係
（ⅱ）
１　（１）～∃ｘ｛親ｘ＆～∃ｙ（子ｙｘ＆愛ｘｙ）｝　Ａ
１　（２）∀ｘ～｛親ｘ＆～∃ｙ（子ｙｘ＆愛ｘｙ）｝　１量化子の関係
１　（３）　　～｛親ａ＆～∃ｙ（子ｙａ＆愛ａｙ）｝　２ＵＥ
１　（４）　　　～親ａ∨　∃ｙ（子ｙａ＆愛ａｙ）　　３ド・モルガンの法則
１　（５）　　　　親ａ→　∃ｙ（子ｙａ＆愛ａｙ）　　４含意の定義
１　（６）　∀ｘ｛親ｘ→　∃ｙ（子ｙｘ＆愛ｘｙ）｝　５ＵＩ
従って、
（01）により、
（02）
①   ∀ｘ｛親ｘ→　∃ｙ（子ｙｘ＆愛ｘｙ）｝
② ～∃ｘ｛親ｘ＆～∃ｙ（子ｙｘ＆愛ｘｙ）｝
に於いて、
①＝② である。
従って、
（02）により、
（03）
① すべてのｘについて｛ｘが親であるならば、あるｙ（はｘの子であって、ｘはｙを愛す）。｝
② ある｛ｘが親であって、あるｙ（がｘの子であって、ｘがｙをするといふことが）ない｝といふことはない。
に於いて、
①＝② である。
然るに、
（04）
（ⅰ）
親皆有其所愛之子＝
親皆有〔其所（愛）之子〕⇒
親皆〔其（愛）所之子〕有＝
親皆〔其の（愛する）所の子〕有り。
（ⅱ）
無親無其所愛之子＝
無［親無〔其所（愛）之子〕］⇒
［親〔其（愛）所之子〕無］無＝
［親として〔其の（愛する）所の子〕無きは］無し。
従って、
（04）により、
（05）
① 親皆有其所愛之子。
② 無親無其所愛之子。
に於いて、
①＝② である。
従って、
（01）～（05）により、
（06）
① 親皆有其所愛之子。
② 無親無其所愛之子。
といふ「漢文」は、
①   ∀ｘ｛親ｘ→　∃ｙ（子ｙｘ＆愛ｘｙ）｝
② ～∃ｘ｛親ｘ＆～∃ｙ（子ｙｘ＆愛ｘｙ）｝
といふ「述語論理式」の、「直訳」である。
従って、
（06）により、
（07）
② ～∃ｘ｛親ｘ＆～∃ｙ（子ｙｘ＆愛ｘｙ）｝
といふ「述語論理式」に対する、
② 無親無其所愛之子。
といふ「作例」がさうであるやうに、
② 無Ａ無Ｂ（Ａとして、Ｂ無きは、無し）。
といふ『句形』が有るに、違ひない。
然るに、
（08）
② 子美無一字無来処＝
② 子美無〔一字無（来処）〕⇒
② 子美〔一字（来処）無〕無＝
② 子美は〔一字として（来処）無きは〕無し＝
② 杜甫の詩は一字たりとも典拠の無い字は無い（どんな字にも皆典拠がある）。〈李沂・秋星閣詩話〉
従って、
（08）により、
（09）
② 無一字無来処＝
② 無〔一字無（来処）〕⇒
② 〔一字（来処）無〕無＝
② 〔一字として（来処）無きは〕無し＝
② 一字たりとも典拠の無い字は無い（どんな字にも皆典拠がある）。
従って、
（07）（08）（09）により、
（10）
果たして、
② 無一字無来処。
② 無親無其所愛之子。
といふ「例文」がさうであるやうに、「漢文」には、
② 無Ａ無Ｂ（Ａとして、Ｂ無きは、無し）。
といふ『句形』は、有る。
令和０３年１０月０８日、毛利太。