―「記事（167）」の「間違ひ」を、正します。―
（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）
① 虎求百獸而食之得狐＝
① 虎求（百獸）而食（之）得（狐）⇒
① 虎（百獸を）求めて（之を）食ひ（狐を）得たり＝
① 虎は、すべてのけだものをつかまえてはこれを食べていたが、（あるとき）狐をつかまえた。
といふ「漢文訓読」は、
① ∃ｙ｛虎ｙ＆∀ｘ［獸ｘ→求ｙｘ＆食ｙｘ＆∃ｚ（狐ｚ＆獸ｚ＆得ｙｚ）］｝＝
① あるｙは虎であり、すべてのｘについて、ｘが獸であるならば、ｙはｘを求めてｘを食らひ、あるｚは狐であり、獸であって、ｙはｚを得る。
といふ「述語論理」に、相当する。