（231）「無不知劉老人者（助字弁略）」の述語論理。

（01）
① 士大夫無不知劉老人者＝
① 士大夫無［不〔知（劉老人）〕者］⇒
① 士大夫［〔（劉老人）知〕不者］無＝
① 士大夫にして［〔（劉老人を）知ら〕ざる者］無し＝
① 士大夫であれば、誰もが、劉老人を知ってゐる（助字弁略 改）。
（02）
（α）

１　　（１）～∃ｘ｛士大夫ｘ＆～知（ｘ、劉老人）｝　Ａ
１　　（２）∀ｘ～｛士大夫ｘ＆～知（ｘ、劉老人）｝　１量化子の関係
１　　（３）　　～｛士大夫ａ＆～知（ａ、劉老人）｝　１ＵＥ
　４　（４）　　　　士大夫ａ　　　　　　　　　　　　Ａ
　　５（５）　　　　　　　　　～知（ａ、劉老人）　　Ａ
　４５（６）　　　　士大夫ａ＆～知（ａ、劉老人）　　４５＆Ｉ
１４５（７）～｛士大夫ａ＆～知（ａ、劉老人）｝＆
　　　　　　　｛士大夫ａ＆～知（ａ、劉老人）｝　　　３６＆Ｉ
１４　（８）　　　　　　　　～～知（ａ、劉老人）　　５７ＲＡＡ
１４　（９）　　　　　　　　　　知（ａ、劉老人）　　８ＤＮ
１　　（ア）　　　　士大夫ａ→　知（ａ、劉老人）　　４９ＣＰ
１　　（イ）　∀ｘ｛士大夫ａ→　知（ａ、劉老人）｝　アＵＩ
１　　（〃）すべてのｘについて、ｘが士大夫であるならば、ｘは劉老人を知ってゐる。　アＵＩ
（β）
１　　（１）　∀ｘ｛士大夫ｘ→　知（ｘ、劉老人）｝　Ａ
１　　（２）　　　　士大夫ａ→　知（ａ、劉老人）　　１ＵＥ
　３　（３）　∃ｘ｛士大夫ｘ＆～知（ｘ、劉老人）｝　Ａ
　　４（４）　　　　士大夫ａ＆～知（ａ、劉老人）　　Ａ
　　４（５）　　　　士大夫ａ　　　　　　　　　　　　４＆Ｅ
　　４（６）　　　　　　　　　～知（ａ、劉老人）　　４＆Ｅ
１　４（７）　　　　　　　　　　知（ａ、劉老人）　　２５ＭＰＰ
１　４（８）～知（ａ、劉老人）＆知（ａ、劉老人）　　６７
１３　（９）～知（ａ、劉老人）＆知（ａ、劉老人）　　３４８ＥＥ
１　　（ア）～∃ｘ｛士大夫ｘ＆～知（ｘ、劉老人）｝　３９ＲＡＡ
１　　（〃）あるｘが士大夫であって、そのｘが劉老人を知らない。といふ、そのやうなｘは存在しない。　３９ＲＡＡ
従って、
（02）により、
（03）
（α）～∃ｘ｛士大夫ｘ＆～知（ｘ、劉老人）｝
（β）　∀ｘ｛士大夫ｘ→　知（ｘ、劉老人）｝
に於いて、すなはち、
（α）あるｘが士大夫であって、そのｘが劉老人を知らない。といふ、そのやうなｘは存在しない。
（β）すべてのｘについて、ｘが士大夫であるならば、ｘは劉老人を知ってゐる。
に於いて、
（α）ならば、（β）であって、
（β）ならば、（α）である。
従って、
（02）（03）により、
（04）
（α）～∃ｘ｛士大夫ｘ＆～知（ｘ、劉老人）｝＝あるｘが士大夫であって、そのｘが劉老人を知らない。といふ、そのやうなｘは存在しない。
（β）　∀ｘ｛士大夫ｘ→　知（ｘ、劉老人）｝＝すべてのｘについて、ｘが士大夫であるならば、ｘは劉老人を知ってゐる。
に於いて、
（α）＝（β） である。
従って、
（01）～（04）により
（05）
① 士大夫であれば、誰もが、劉老人を知ってゐる。
② 士大夫であって、劉老人を知らない者は存在しない。
に於いて、
①＝② である。
然るに、
（06）
② 士大夫であって、劉老人を知らない者は存在しない。
といふ、のであれば、
② 士大夫が、存在する。
とは、言ってゐない。
従って、
（05）（06）により、
（07）
① 士大夫であれば、誰もが、劉老人を知ってゐる。
といふ場合も、
① 士大夫が、存在する。
とは、言っていない。
従って、
（07）により、
（08）
③ 人間ならば正直である。⇔
③ ∀ｘ（人間ｘ→正直ｘ）⇔
③ すべてのｘについて、ｘが人間ならば、ｘは正直である。
といふ場合も、
③ 人間が存在する。
とは、言ってゐない。
従って、
（09）
要するに「すべて」という語も「人間」といふ語も、「存在する」ということとは無関係である。そこで「すべての人間は正直である」という文の論理的構造をしめす
　「すべてのｘについて、もしｘが人間ならばｘは正直である」
は命題論理の法則の一つである
　（Ｐ→Ｑ）＝～（Ｐ＆～Ｑ）
をあてはめれば、
　「すべてのｘについて、ｘが人間であってそして正直でないということではない」ということと等値である（沢田允茂、現代論理学入門、1962年、１２２頁）。
といふ、ことになる。
従って、
（10）
例へば、
１　　　（１）∀ｘ｛素敵ｘ＆少女ｘ→∀ｙ（水夫ｙ→愛ｘｙ）｝　Ａ
１　　　（〃）すべてのｘについて、ｘが素敵な少女であるならば、すべてのｙについて、ｙが水夫であるならば、ｘはｙを愛す。　Ａ
　２　　（２）∃ｘ（素敵ｘ＆少女ｘ）＆∃ｙ（水夫ｙ）　　　　　Ａ
　２　　（〃）素敵な少女であるｘが存在し、水夫であるｙが存在する。　Ａ
　２　　（３）∃ｘ（素敵ｘ＆少女ｘ）　　　　　　　　　　　　　２＆Ｅ
　　４　（４）　　　素敵ａ＆少女ａ　　　　　　　　　　　　　　Ａ
　２　　（５）　　　　　　　　　　　　∃ｙ（水夫ｙ）　　　　　２＆Ｅ
　　　６（６）　　　　　　　　　　　　　　　水夫ｂ　　　　　　Ａ
１　　　（７）　　　素敵ａ＆少女ａ→∀ｙ（水夫ｙ→愛ａｙ）　　１ＵＥ
１　４　（８）　　　　　　　　　　　∀ｙ（水夫ｙ→愛ａｙ）　　４７ＭＰＰ
１　４　（９）　　　　　　　　　　　　　　水夫ｂ→愛ａｂ　　　８ＵＥ　　
１　４６（ア）　　　　　　　　　　　　　　　　　　愛ａｂ　　　６９ＭＰＰ
１　４６（イ）　　　　　　　　　　　　　　水夫ｂ＆愛ａｂ　　　６ア＆Ｉ
１　４６（ウ）　　　　　　　　　　　∃ｙ（水夫ｙ＆愛ａｙ）　　イＥＩ
１２４　（エ）　　　　　　　　　　　∃ｙ（水夫ｙ＆愛ａｙ）　　５６ウＥＥ
１２　　（オ）　　　素敵ａ＆少女ａ→∃ｙ（水夫ｙ＆愛ａｙ）　　４エＣＰ
１２　　（カ）∀ｘ｛素敵ｘ＆少女ｘ→∃ｙ（水夫ｙ＆愛ｘｙ）｝　オＵＩ
１２　　（〃）すべてのｘについて、ｘが素敵な少女であるならば、あるｙは水夫であって、ｘはｙを愛す。　オＵＩ
といふ「推論」に於いて、
　２　　（２）∃ｘ（素敵ｘ＆少女ｘ）＆∃ｙ（水夫ｙ）　　　　　Ａ
　２　　（〃）素敵な少女であるｘが存在し、水夫であるｙが存在する。　Ａ
といふ「仮定」を除いてしまへば、
１　　　（１）∀ｘ｛素敵ｘ＆少女ｘ→∀ｙ（水夫ｙ→愛ｘｙ）｝　Ａ
１　　　（〃）すべてのｘについて、ｘが素敵な少女であるならば、すべてのｙについて、ｙが水夫であるならば、ｘはｙを愛す。　Ａ
といふ「仮定」からは、
１２　　（カ）∀ｘ｛素敵ｘ＆少女ｘ→∃ｙ（水夫ｙ＆愛ｘｙ）｝　オＵＩ
１２　　（〃）すべてのｘについて、ｘが素敵な少女であるならば、あるｙは水夫であって、ｘはｙを愛す。　オＵＩ
といふ『結論』を、得ることが、出来ない。
然るに、
（11）
④ All the nice girls love all the sailors.
といふのであれば、
④ All the nice girls も、
④ all the sailors.　 も、「存在」する。
といふ風に、考へられる。
従って、
（10）（11）により、
（12）
その「意味」では、
④ All the nice girls love all the sailors.
⑤ ∀ｘ｛素敵ｘ＆少女ｘ→∀ｙ（水夫ｙ→愛ｘｙ）｝
に於いて、
④＝⑤ ではない。