「虎求百獸而食之得狐。」の「述語論理」。

―「返り点と括弧」に関しては、『「返り点」と「括弧」の関係（https://kannbunn.blogspot.com/2019/01/blog-post_21.html）』他をお読み下さい。―
（01）
① 虎求百獸而食之得狐＝
① 虎求（百獸）而食（之）得（狐）⇒
① 虎（百獸を）求めて（之を）食ひ（狐を）得たり＝
① 虎は、すべてのけだものをつかまえてはこれを食べていたが、（あるとき）狐をつかまえた。
といふ場合の、【百獸】といふのは、
　　　　　　　【百獸】すべてのけだもの。あらゆる獸類（旺文社、漢文の基礎、1973年、４０頁）。
従って、
（01）により、
（02）
① 虎求百獸而食之得狐＝
① 虎百獸を求めて之を食ひ狐を得たり＝
① 虎は、すべてのけだものをつかまえてはこれを食べていたが、（あるとき）狐をつかまえた。
といふのであれば、『虎は狐を食らふ。』
然るに、
（03）
１　　　　（１）　　∃ｘ｛虎ｘ＆∀ｙ（獸ｙ→求ｘｙ＆食ｘｙ）｝　Ａ
　２　　　（２）　　　　　虎ａ＆∀ｙ（獸ｙ→求ａｙ＆食ａｙ）　　Ａ
　２　　　（３）　　　　　虎ａ　　　　　　　　　　　　　　　　　２＆Ｅ
　２　　　（４）　　　　　　　　∀ｙ（獸ｙ→求ａｙ＆食ａｙ）　　２＆Ｅ
　２　　　（５）　　　　　　　　　　　獸ｂ→求ａｂ＆食ａｂ　　　４ＵＥ
　　６　　（６）　　∃ｘ∃ｙ（虎ｘ＆狐ｙ＆獸ｙ＆得ｘｙ）　　　　Ａ
　　　７　（７）　　　　∃ｙ（虎ａ＆狐ｙ＆獸ｙ＆得ａｙ）　　　　Ａ
　　　　８（８）　　　　　　　虎ａ＆狐ｂ＆獸ｂ＆得ａｂ　　　　　Ａ
　　　　８（９）　　　　　　　　　　狐ｂ　　　　　　　　　　　　８＆Ｅ
　　　　８（ア）　　　　　　　　　　　　　獸ｂ　　　　　　　　　８＆Ｅ
　２　　８（イ）　　　　　　　　　　　　　　求ａｂ＆食ａｂ　　　５アＭＰＰ
　２　　８（ウ）　　　　　　　　　　　　　　　　　　　食ａｂ　　イ＆Ｅ
　２　　８（エ）　　　　　虎ａ＆狐ｂ　　　　　　　　　　　　　　３９＆Ｉ
　２　　８（オ）　　　　　虎ａ＆狐ｂ＆食ａｂ　　　　　　　　　　ウエ＆Ｉ
　２　　８（カ）　　∃ｙ（虎ａ＆狐ｙ＆食ａｙ）　　　　　　　　　オＥＩ
　２　７　（キ）　　∃ｙ（虎ａ＆狐ｙ＆食ａｙ）　　　　　　　　　７８カＥＥ
　２　７　（ク）∃ｘ∃ｙ（虎ｘ＆狐ｙ＆食ｘｙ）　　　　　　　　　キＥＩ
１　６　　（ケ）∃ｘ∃ｙ（虎ｘ＆狐ｙ＆食ｘｙ）　　　　　　　　　１２クＥＥ
従って、
（03）により、
（04）
（１）あるｘは虎であって、すべてのｙについて、ｙが獸であるならば、ｘはｙを求めてこれを食らふ。　と「仮定」して、
（６）あるｘは虎であって、あるｙは狐であって獸であり、ｘはｙを得る。　と「仮定」すると、
（ケ）あるｘは虎であって、あるｙは狐であり、ｘはｙを食らふ。　といふ『結論』を得る。
従って、
（02）（03）（04）により、
（05）
① 虎求百獸而食之得狐＝
① 虎百獸を求めて之を食ひ狐を得たり＝
① 虎は、すべてのけだものをつかまえてはこれを食べていたが、（あるとき）狐をつかまえた。
といふ「漢文訓読」は、
② ∃ｘ｛虎ｘ＆∀ｙ（獸ｙ→求ｘｙ＆食ｘｙ）｝＆∃ｘ∃ｙ（虎ｘ＆狐ｙ＆獸ｙ＆得ｘｙ）．
といふ「述語論理」に、「翻訳」される。
然るに、
（06）
１　　　　（１）∀ｙ｛獸ｙ→∃ｘ（虎ｘ＆求ｘｙ＆食ｘｙ）｝　Ａ
１　　　　（２）　　　獸ｂ→∃ｘ（虎ｘ＆求ｘｂ＆食ｘｂ）　　１ＵＥ
　３　　　（３）　　∃ｘ∃ｙ（虎ｘ＆狐ｙ＆獸ｙ＆得ｘｙ）　　Ａ
　　４　　（４）　　　　∃ｙ（虎ａ＆狐ｙ＆獸ｙ＆得ａｙ）　　Ａ
　　　５　（５）　　　　　　　虎ａ＆狐ｂ＆獸ｂ＆得ａｂ　　　Ａ
　　　５　（６）　　　　　　　虎ａ　　　　　　　　　　　　　Ａ
　　　５　（７）　　　　　　　　　　狐ｂ　　　　　　　　　　５＆Ｅ
　　　５　（８）　　　　　　　　　　　　　獸ｂ　　　　　　　５＆Ｅ
１　　５　（９）　　　　　　∃ｙ（虎ｘ＆求ｘｂ＆食ｘｂ）　　２８ＭＰＰ
　　　　ア（ア）　　　　　　　　　虎ａ＆求ａｂ＆食ａｂ　　　Ａ
　　　　ア（イ）　　　　　　　　　　　　　　　　食ａｂ　　　ア＆Ｅ
　　　５　（ウ）　  　　　虎ａ＆狐ｂ　　　　　　　　　　　　６７＆Ｉ
　　　５ア（エ）　　　　　虎ａ＆狐ｂ＆食ａｂ　　　　　　　　イウ＆Ｉ
　　　５ア（オ）　　∃ｙ（虎ａ＆狐ｙ＆食ａｙ）　　　　　　　エＥＩ
１　　５　（カ）　　∃ｙ（虎ａ＆狐ｙ＆食ａｙ）　　　　　　　９アオＥＥ
１　　５　（キ）∃ｘ∃ｙ（虎ｘ＆狐ｙ＆食ｘｙ）　　　　　　　カＥＩ
１　４　　（ク）∃ｘ∃ｙ（虎ｘ＆狐ｙ＆食ｘｙ）　　　　　　　４５キＥＥ
１３　　　（ケ）∃ｘ∃ｙ（虎ｘ＆狐ｙ＆食ｘｙ）　　　　　　　３４クＥＥ
従って、
（06）により、
（07）
（１）すべてのｙについて、ｙが獸であるならば、あるｘは虎であり、ｘはｙを求めてこれを食らふ。　と「仮定」して、
（３）あるｘは虎であって、あるｙは狐であって獸であり、ｘはｙを得る。　と「仮定」すると、
（ケ）あるｘは虎であって、あるｙは狐であり、ｘはｙを食らふ。　といふ『結論』を得る。
従って、
（02）（06）（07）により、
（08）
① 虎求百獸而食之得狐＝
① 虎百獸を求めて之を食ひ狐を得たり＝
① 虎は、すべてのけだものをつかまえてはこれを食べていたが、（あるとき）狐をつかまえた。
といふ「漢文訓読」は、
③ ∀ｙ｛獸ｙ→∃ｘ（虎ｘ＆求ｘｙ＆食ｘｙ）｝＆∃ｘ∃ｙ（虎ｘ＆狐ｙ＆獸ｙ＆得ｘｙ）．
といふ「述語論理」に、「翻訳」される。
従って、
（05）（08）により、
（09）
① 虎求百獸而食之得狐＝
① 虎百獸を求めて之を食ひ狐を得たり＝
① 虎は、すべてのけだものをつかまえてはこれを食べていたが、（あるとき）狐をつかまえた。
といふ「漢文訓読」は、
② ∃ｘ｛虎ｘ＆∀ｙ（獸ｙ→求ｘｙ＆食ｘｙ）｝＆∃ｘ∃ｙ（虎ｘ＆狐ｙ＆獸ｙ＆得ｘｙ）．
③ ∀ｙ｛獸ｙ→∃ｘ（虎ｘ＆求ｘｙ＆食ｘｙ）｝＆∃ｘ∃ｙ（虎ｘ＆狐ｙ＆獸ｙ＆得ｘｙ）．
といふ、「ニ通りの、述語論理」に、「翻訳」される。
然るに、
（10）
（ａ）
１　　（１）　∃ｘ｛虎ｘ＆∀ｙ（獸ｙ→求ｘｙ＆食ｘｙ）｝　Ａ
　２　（２）　　　　虎ａ＆∀ｙ（獸ｙ→求ａｙ＆食ａｙ）　　Ａ
　２　（３）　　　　虎ａ　　　　　　　　　　　　　　　　　２＆Ｅ
　２　（４）　　　　　　　∀ｙ（獸ｙ→求ａｙ＆食ａｙ）　　２＆Ｅ
　２　（５）　　　　　　　　　　獸ｂ→求ａｂ＆食ａｂ　　　４ＵＥ
　　６（６）　　　　　　　　　　獸ｂ　　　　　　　　　　　Ａ
　２６（７）　　　　　　　　　　　　求ａｂ＆食ａｂ　　　５６ＭＰＰ
　２６（８）　　　　　　　　　　虎ａ＆求ａｂ＆食ａｂ　　　３７＆Ｉ
　２６（９）　　　　　　　∃ｘ（虎ｘ＆求ｘｂ＆食ｘｂ）　　８ＥＩ
　２　（ア）　　　　獸ｂ→∃ｘ（虎ｘ＆求ｘｂ＆食ｘｂ）　　６９ＣＰ
　２　（イ）　∀ｙ｛獸ｙ→∃ｘ（虎ｘ＆求ｘｙ＆食ｘｙ）｝　アＵＩ
１　　（ウ）　∀ｙ｛獸ｙ→∃ｘ（虎ｘ＆求ｘｙ＆食ｘｙ）｝　１２イＥＥ
（ｂ）
１　　（１）　∀ｙ｛獸ｙ→∃ｘ（虎ｘ＆求ｘｙ＆食ｘｙ）｝　Ａ
１　　（２）　　　　獸ｂ→∃ｘ（虎ｘ＆求ｘｂ＆食ｘｂ）　　１ＵＥ
　３　（３）　　　　獸ｂ　　　　　　　　　　　　　　　　　Ａ
１３　（４）　　　　　　　∃ｘ（虎ｘ＆求ｘｂ＆食ｘｂ）　　２３ＭＰＰ
　　５（５）　　　　　　　　　　虎ａ＆求ａｂ＆食ａｂ　　　Ａ
　　５（６）　　　　　　　　　　虎ａ　　　　　　　　　　　５＆Ｅ
　　５（７）　　　　　　　　　　　　　求ａｂ＆食ａｂ　　　５＆Ｅ
１３　（８）　　　　　　　　　　　　　求ａｂ＆食ａｂ　　　４５７ＥＥ
１　　（９）　　　　　　　　　　獸ｂ→求ａｂ＆食ａｂ　　　３８ＣＰ
１　　（ア）　　　　　　　∀ｙ（獸ｙ→求ａｙ＆食ａｙ）　　９ＵＩ
１　５（イ）　　　　虎ａ＆∀ｙ（獸ｙ→求ａｙ＆食ａｙ）　　６ア＆Ｉ
１　５（ウ）　∃ｘ｛虎ｘ＆∀ｙ（獸ｙ→求ｘｙ＆食ｘｙ）｝　イＥＩ
１　　（エ）　∃ｘ（虎ｘ＆求ｘｂ＆食ｘｂ）→
　　　　　　　∃ｘ｛虎ｘ＆∀ｙ（獸ｙ→求ｘｙ＆食ｘｙ）｝　５ウＣＰ
従って、
（10）により、
（11）
（ａ）∃ｘ｛虎ｘ＆∀ｙ（獸ｙ→求ｘｙ＆食ｘｙ）｝
（ｂ）∀ｙ｛獸ｙ→∃ｘ（虎ｘ＆求ｘｙ＆食ｘｙ）｝
に於いて、
（ａ）ならば（ｂ）であるが、
（ｂ）ならば（ａ）ある。ではない。
従って、
（11）により、
（12）
（ａ）∃ｘ｛虎ｘ＆∀ｙ（獸ｙ→求ｘｙ＆食ｘｙ）｝
（ｂ）∀ｙ｛獸ｙ→∃ｘ（虎ｘ＆求ｘｙ＆食ｘｙ）｝
に於いて、
（ａ）＝（ｂ） ではない。
従って、
（12）により、
（13）
① 虎求百獸而食之得狐＝
① 虎百獸を求めて之を食ひ狐を得たり＝
① 虎は、すべてのけだものをつかまえてはこれを食べていたが、（あるとき）狐をつかまえた。
といふ「漢文訓読」は、
② ∃ｘ｛虎ｘ＆∀ｙ（獸ｙ→求ｘｙ＆食ｘｙ）｝＆∃ｘ∃ｙ（虎ｘ＆狐ｙ＆獸ｙ＆得ｘｙ）．
③ ∀ｙ｛獸ｙ→∃ｘ（虎ｘ＆求ｘｙ＆食ｘｙ）｝＆∃ｘ∃ｙ（虎ｘ＆狐ｙ＆獸ｙ＆得ｘｙ）．
といふ、「ニ通りの、述語論理」に、「翻訳」されるものの、その一方で、
② ∃ｘ｛虎ｘ＆∀ｙ（獸ｙ→求ｘｙ＆食ｘｙ）｝
③ ∀ｙ｛獸ｙ→∃ｘ（虎ｘ＆求ｘｙ＆食ｘｙ）｝
に於いて、
②＝③ である。
といふ、わけではない。
従って、
（04）（07）（12）により、
（14）
（ａ）あるｘは虎であって、すべてのｙについて、ｙが獸であるならば、ｘはｙを求めてこれを食らふ。
（ｂ）すべてのｙについて、ｙが獸であるならば、あるｘは虎であり、　ｘはｙを求めてこれを食らふ。
といふ「日本語」に於いても、
（ａ）＝（ｂ） ではない。
然るに、
（15）
（ａ）
１（１）∀ｘ｛∀ｙ（Ｆｘｙ）｝　Ａ
１（２）　　　∀ｙ（Ｆａｙ）　　１ＵＥ
１（３）　　　　　　Ｆａｂ　　　２ＵＥ
１（４）　　　∀ｘ（Ｆｘｂ）　　３ＵＩ
１（５）∀ｙ｛∀ｘ（Ｆｘｙ）　　４ＵＩ
（ｂ）
１（１）∀ｙ｛∀ｘ（Ｆｘｙ）｝　Ａ
１（２）　　　∀ｘ（Ｆｘｂ）　　１ＵＥ
１（３）　　　　　　Ｆａｂ　　　１ＵＥ
１（４）　　　∀ｙ（Ｆａｙ）　　３ＵＩ
１（５）∀ｘ｛∀ｙ（Ｆｘｙ）｝　４ＵＩ
 ｃｆ.
（E.J.レモン 著、武生治一郎・浅野楢英 訳、論理学初歩、1973年、１６３頁改）
従って、
（15）により、
（16）
（ａ）∀ｘ｛∀ｙ（Ｆｘｙ）｝
（ｂ）∀ｙ｛∀ｘ（Ｆｘｙ）｝
に於いて、
（ａ）ならば（ｂ）であり、
（ｂ）ならば（ａ）である。
従って、
（16）により、
（17）
（ａ）∀ｘ｛∀ｙ（Ｆｘｙ）｝
（ｂ）∀ｙ｛∀ｘ（Ｆｘｙ）｝
に於いて、
（ａ）＝（ｂ） である。
然るに、
（18）
（ａ）
１　（１）∃ｘ｛∀ｙ（Ｆｘｙ）｝　Ａ
　２（２）　　　∀ｙ（Ｆａｙ）　　Ａ
　２（３）　　　　　　Ｆａｂ　　　２ＵＩ
　２（４）　　　∃ｘ（Ｆｘｂ）　　３ＥＩ
１　（５）　　　∃ｘ（Ｆｘｂ）　　１３４ＥＥ
１　（６）∀ｙ｛∃ｘ（Ｆｘｙ｝　　５ＵＩ
（ｂ）
１　（１）∀ｙ｛∃ｘ（Ｆｘｙ）｝　Ａ
１　（２）　　　∃ｘ（Ｆｘｂ）　　１ＵＥ
　３（３）　　　　　　Ｆａｂ　　　Ａ
　３（４）　　　∀ｙ（Ｆａｙ）　　３ＵＩ？
　３（５）∃ｘ｛∀ｙ（Ｆｘｙ）｝　４ＥＩ
１　（６）∃ｘ｛∀ｙ（Ｆｘｙ）｝　２３５ＥＥ
然るに、
（19）
ただ一つの誤った段階は、（ｂ）の（４）である。（３）は、「ｂ」を含み、その結果ＵＩの制限が破られている点が誤りである。
（E.J.レモン 著、武生治一郎・浅野楢英 訳、論理学初歩、1973年、１６６頁改）
従って、
（18）（19）により、
（20）
（ａ）∃ｘ｛∀ｙ（Ｆｘｙ）｝
（ｂ）∀ｙ｛∃ｘ（Ｆｘｙ）｝
に於いて、
（ａ）ならば（ｂ）であるが、
（ｂ）ならば（ａ）ある。ではない。
従って、
（20）により、
（21）
（ａ）∃ｘ｛∀ｙ（Ｆｘｙ）｝
（ｂ）∀ｙ｛∃ｘ（Ｆｘｙ）｝
に於いて、
（ａ）＝（ｂ） ではない。
従って、
（21）により、
（22）
（ａ）∃ｘ｛∀ｙ（Ｆｘｙ）｝＝ある人は、すべての人の親である。
（ｂ）∀ｙ｛∃ｘ（Ｆｘｙ）｝＝すべての人は、ある人の子である。
に於いて、
（ａ）＝（ｂ） ではない。
従って、
（12）（14）（22）により、
（23）
（ａ）∃ｘ｛∀ｙ（Ｆｘｙ）｝＝ある人は、すべての人の親である。
（ｂ）∀ｙ｛∃ｘ（Ｆｘｙ）｝＝すべての人は、ある人の子である。
に於いて、
（ａ）＝（ｂ） ではなく、
（ａ）∃ｘ｛虎ｘ＆∀ｙ（獸ｙ→求ｘｙ＆食ｘｙ）｝＝あるｘは虎であって、すべてのｙについて、ｙが獸であるならば、ｘはｙを求めてこれを食らふ。
（ｂ）∀ｙ｛獸ｙ→∃ｘ（虎ｘ＆求ｘｙ＆食ｘｙ）｝＝すべてのｙについて、ｙが獸であるならば、あるｘは虎であり、　ｘはｙを求めてこれを食らふ。
に於いて、
（ａ）＝（ｂ） ではない。
然るに、
（01）（23）により、
（24）
（ａ）∃ｘ｛虎ｘ＆∀ｙ（獸ｙ→求ｘｙ＆食ｘｙ）｝＝あるｘは虎であって、すべてのｙについて、ｙが獸であるならば、ｘはｙを求めてこれを食らふ。
（ｂ）∀ｙ｛獸ｙ→∃ｘ（虎ｘ＆求ｘｙ＆食ｘｙ）｝＝すべてのｙについて、ｙが獸であるならば、あるｘは虎であり、　ｘはｙを求めてこれを食らふ。
に於いて、
（ａ）の場合は、
（ａ）少なくとも、「一頭の虎」がゐて、その「一頭の虎」が、「単独で、１００獣を求め、これを食らふ。」
といふ「意味」であるが、
（ｂ）の場合は、
（ｂ）例えば、　　「二頭の虎」がゐて、その「二頭の虎」が、それぞれ「５０獸」づつ、「５０獸＋５０獸＝１００獸を求めて、これを食らふ。」
といふ「意味」であることも、「可能」である。
従って、
（24）により、
（25）
（ａ）∃ｘ｛虎ｘ＆∀ｙ（獸ｙ→求ｘｙ＆食ｘｙ）｝＝あるｘは虎であって、すべてのｙについて、ｙが獸であるならば、ｘはｙを求めてこれを食らふ。
（ｂ）∀ｙ｛獸ｙ→∃ｘ（虎ｘ＆求ｘｙ＆食ｘｙ）｝＝すべてのｙについて、ｙが獸であるならば、あるｘは虎であり、　ｘはｙを求めてこれを食らふ。
に於いて、確かに、
（ａ）＝（ｂ） ではない。
然るに、
（26）
① 虎求百獸而食之＝
① 虎求（百獸）而食（之）⇒
① 虎（百獸を）求めて（之を）食ふ＝
① 虎は、すべてのけだものをつかまえてはこれを食べていた。
といふのであれば、
（ａ）少なくとも、「一頭の虎」がゐて、その「一頭の虎」が、「単独で、１００獣を求め、これを食らふ。」
といふ「意味」であって、
（ｂ）例えば、　　「二頭の虎」がゐて、その「二頭の虎」が、それぞれ「５０獸」づつ、「５０獸＋５０獸＝１００獸を求めて、これを食らふ。」
といふ「意味」ではない。
従って、
（25）（26）により、
（27）
① 虎求百獸而食之＝
① 虎求（百獸）而食（之）⇒
① 虎（百獸を）求めて（之を）食ふ＝
① 虎は、すべてのけだものをつかまえてはこれを食べていた。
といふ「漢文訓読」は、
① ∃ｘ｛虎ｘ＆∀ｙ（獸ｙ→求ｘｙ＆食ｘｙ）｝＝あるｘは虎であって、すべてのｙについて、ｙが獸であるならば、ｘはｙを求めてｙを食らふ。
といふ「述語論理」に、相当する。
然るに、
（28）
１　　（１）∃ｙ｛虎ｙ＆∀ｘ［獸ｘ→求ｙｘ＆食ｙｘ＆∃ｚ（狐ｚ＆獸ｚ＆得ｙｚ）］｝　Ａ
　２　（２）　　　虎ｂ＆∀ｘ［獸ｘ→求ｂｘ＆食ｂｘ＆∃ｚ（狐ｚ＆獸ｚ＆得ｂｚ）］　　Ａ
　２　（３）　　　虎ｂ　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　２＆Ｅ
　２　（４）　　　　　　∀ｘ［獸ｘ→求ｂｘ＆食ｂｘ＆∃ｚ（狐ｚ＆獸ｚ＆得ｂｚ）］　　３ＵＥ
　２　（５）　　　　　　　　　獸ａ→求ｂａ＆食ｂａ＆∃ｚ（狐ｚ＆獸ｚ＆得ｂｚ）　　　４ＵＥ
　２　（６）　　　　　　　　　獸ａ→求ｂａ＆食ｂａ　　　　　　　　　　　　　　　　　５＆Ｅ
　２　（７）　　　　　　　　　　　　　　　　　　　　∃ｚ（狐ｚ＆獸ｚ＆得ｂｚ）　　　６＆Ｅ
　　８（８）　　　　　　　　　　　　　　　　　　　　　　　狐ａ＆獸ａ＆得ｂａ　　　　Ａ
　　８（９）　　　　　　　　　　　　　　　　　　　　　　　狐ａ　　　　　　　　　　　８＆Ｅ　　　　
　　８（ア）　　　　　　　　　　　　　　　　　　　　　　　　　　獸ａ　　　　　　　　８＆Ｅ
　２８（イ）　　　　　　　　　　　　求ｂａ＆食ｂａ　　　　　　　　　　　　　　　　　６アＭＰＰ
　２８（ウ）　　　　　　　　　　　　　　　　食ｂａ　　　　　　　　　　　　　　　　　イ＆Ｅ
　２８（エ）　　　　　虎ｂ＆狐ａ　　　　　　　　　　　　　　　　　　　　　　　　　　３９＆Ｉ　　　　　　　　　　　　　
　２８（オ）　　　　　虎ｂ＆狐ａ＆食ｂａ　　　　　　　　　　　　　　　　　　　　　　エオ＆Ｉ
　２８（カ）　　∃ｘ（虎ｂ＆狐ｘ＆食ｂｘ）　　　　　　　　　　　　　　　　　　　　　オＥＩ
　２　（キ）　　∃ｘ（虎ｂ＆狐ｘ＆食ｂｘ）　　　　　　　　　　　　　　　　　　　　　７８カＥＥ
　２　（ク）∃ｙ∃ｘ（虎ｙ＆狐ｘ＆食ｙ
ｘ）　　　　　　　　　　　　　　　　　　　　　キＥＩ
１　　（ケ）∃ｙ∃ｘ（虎ｙ＆狐ｘ＆食ｙｘ）　　　　　　　　　　　　　　　　　　　　　１２クＥＥ
然るに、
（29）
　２　（７）　　　　　　　　　　　　　　　　　　　　∃ｚ（狐ｚ＆獸ｚ＆得ｂｚ）　　　６＆Ｅ
　　８（８）　　　　　　　　　　　　　　　　　　　　　　　狐ａ＆獸ａ＆得ｂａ　　　　Ａ
　　８（９）　　　　　　　　　　　　　　　　　　　　　　　狐ａ＆獸ａ　　　　　　　　８＆Ｅ
　　８（ア）　　　　　　　　　　　　　　　　　　　　∃ｚ（狐ｚ＆獸ｚ）　　　　　　　９ＥＩ
　２　（イ）　　　　　　　　　　　　　　　　　　　　∃ｚ（狐ｚ＆獸ｚ）　　　　　　　２８アＥＥ
　２　（〃）　　　　　　　　　　　　　　　　　　　　ある狐は獸である。　　　　　　　２８アＥＥ
然るに、
（30）
獸の変域（ドメイン）＝｛ａ、ｂ、ｃ、ｄ｝
とするならば、
∀ｘ（      獸ｘ）＝（      獸ａ）＆（　　　獸ｂ）＆（　　　獸ｃ）＆（　　　獸ｄ）　　
∃ｚ（狐ｚ＆獸ｚ）＝（狐ａ＆獸ａ）∨（狐ｂ＆獸ｂ）∨（狐ｃ＆獸ｃ）∨（狐ｄ＆獸ｄ）
従って、
（28）（29）（30）により、
（31）
　２　（４）　　　　　　∀ｘ［獸ｘ→求ｂｘ＆食ｂｘ＆∃ｚ（狐ｚ＆獸ｚ＆得ｂｚ）］　　３ＵＥ
　２　（５）　　　　　　　　　獸ａ→求ｂａ＆食ｂａ＆∃ｚ（狐ｚ＆獸ｚ＆得ｂｚ）　　　４ＵＥ
　２　（６）　　　　　　　　　獸ａ→求ｂａ＆食ｂａ　　　　　　　　　　　　　　　　　５＆Ｅ
　２　（７）　　　　　　　　　　　　　　　　　　　　∃ｚ（狐ｚ＆獸ｚ＆得ｂｚ）　　　６＆Ｅ
　　８（８）　　　　　　　　　　　　　　　　　　　　　　　狐ａ＆獸ａ＆得ｂａ　　　　Ａ（７の代表的選言項）
に於ける、（８）に、「問題」はない。
従って、
（28）～（31）により、
（32）
（１）あるｙは虎であり、すべてのｘについて、ｘが獸であるならば、ｙはｘを求めてこれを食らひ、あるｚは狐であって、獸であり、ｙはｚを得る。　といふ風に「仮定」すると、
（ケ）あるｘは虎であって、あるｙは狐であり、ｘはｙを食らふ。　といふ『結論』を得る。
従って、
（01）（28）（32）により、
（33）
① 虎求百獸而食之得狐＝
① 虎求（百獸）而食（之）得（狐）⇒
① 虎（百獸を）求めて（之を）食ひ（狐を）得たり＝
① 虎は、すべてのけだものをつかまえてはこれを食べていたが、（あるとき）狐をつかまえた。
といふ「漢文訓読」は、
① ∃ｙ｛虎ｙ＆∀ｘ［獸ｘ→求ｙｘ＆食ｙｘ＆∃ｚ（狐ｚ＆獸ｚ＆得ｙｚ）］｝＝
① あるｙは虎であり、すべてのｘについて、ｘが獸であるならば、ｙはｘを求めてｘを食らひ、あるｚは狐であって、獸であり、ｙはｚを得る。
といふ「述語論理」に、相当する。
平成３１年０４月１２日、毛利太。