不［有〔人而不（死）〕］≡～∃ｘ（人ｘ＆～死ｘ）

（01）
（ⅰ）
１　　（１）～∃ｘ（人ｘ＆～死ｘ）　　Ａ
１　　（２）∀ｘ～（人ｘ＆～死ｘ）　　１量化子の関係
１　　（３）　　～（人ａ＆～死ａ）　　１ＵＥ
　４　（４）　　　　人ａ　　　　　　　Ａ
　　５（５）　　　　　　　～死ａ　　　Ａ
　４５（６）　　　　人ａ＆～死ａ　　　４５＆Ｉ
１４５（７）　　～（人ａ＆～死ａ）＆
　　　　　　　　　（人ａ＆～死ａ）
１４　（８）　　　　　　～～死ａ　　　５７ＲＡＡ
１４　（９）　　　　　　　　死ａ　　　８ＤＮ
１　　（ア）　　　　人ａ→　死ａ　　　４９ＣＰ
１　　（イ）　∀ｘ（人ｘ→　死ｘ）　　アＵＩ
（ⅱ）
１　　　　（１）　∀ｘ（人ｘ→　死ｘ）　　Ａ
　２　　　（２）　∃ｘ（人ｘ＆～死ｘ）　　Ａ
　　３　　（３）　　　　人ａ＆～死ａ　　　Ａ
　　　４　（４）　　　　人ａ→　死ａ　　　Ａ
　　３　　（５）　　　　人ａ　　　　　　　３＆Ｅ
　　３４　（６）　　　　　　　　死ａ　　　４５ＭＰＰ
　　３　　（７）　　　　　　　～死ａ　　　３＆Ｅ
　　３４　（８）　　　　死ａ＆～死ａ　　　６７＆Ｉ
　　３　　（９）　　～（人ａ→　死ａ）　　４８ＲＡＡ
　　３　　（ア）∃ｘ～（人ｘ→　死ｘ）　　３ＥＩ
　２　　　（イ）∃ｘ～（人ｘ→　死ｘ）　　２３ＡＥＥ
　２　　　（ウ）～∀ｘ（人ｘ→　死ｘ）　　イ量化子の関係
１２　　　（エ）　∀ｘ（人ｘ→　死ｘ）＆
　　　　　　　　～∀ｘ（人ｘ→　死ｘ）　　１ウ＆Ｉ
１　　　　（オ）～∃ｘ（人ｘ＆～死ｘ）　　２エＲＡＡ
従って、
（01）により、
（02）
① ～∃ｘ（人ｘ＆～死ｘ）
② 　∀ｘ（人ｘ→　死ｘ）
に於いて、すなはち、
①（人であるｘで、死なないｘは）存在しない。
② すべてのｘについて（ｘが人ならば、ｘは死ぬ）。
に於いて、
①＝② である。
然るに、
（03）
③ 不_レ有_二人而不_一レ死＝
③ 不［有〔人而不（死）〕］⇒
③ ［〔人而（死）不〕有］不＝
③ ［〔人にして（死せ）不る〕有ら］不＝
③ ［〔人であって（死な）ない者は〕ゐ］ない。
従って、
（02）（03）により、
（04）
① ～∃ｘ（人ｘ＆～死ｘ）
② 　∀ｘ（人ｘ→　死ｘ）
③ 不［有〔人而不（死）〕］
に於いて、
①＝②＝③ である。
令和５年４月６日、毛利太。