（01）
① 僕は鰻だ＝すべてのｘについて、ｘが僕ならば、あるｙは鰻であって、ｘはｙを食べる。
② 僕が鰻だ＝すべてのｘについて、ｘが僕ならば、あるｙは鰻であって、ｘはｙを食べ、すべてのｚについて、ｚが僕ならば、ｘとｙは、「同一人物」である（∴ 僕以外は鰻を食べない）。
③ 僕も鰻だ＝すべてのｘについて、ｘが僕ならば、あるｙは鰻であって、ｘはｙを食べ、すべてのｚについて、ｚが僕ならば、ｘとｙは、「同一人物」である。といふわけではない（∴ 僕以外も鰻を食べる）。
従って、
（02）
① 僕は鰻だ＝∀ｘ｛僕ｘ→∃ｙ（鰻ｙ＆食ｘｙ）｝
② 僕が鰻だ＝∀ｘ｛僕ｘ→∃ｙ（鰻ｙ＆食ｘｙ）＆ ∀ｚ（僕ｚ→ｘ＝ｙ）｝
③ 僕も鰻だ＝∀ｘ｛僕ｘ→∃ｙ（鰻ｙ＆食ｘｙ）＆～∀ｚ（僕ｚ→ｘ＝ｙ）｝
といふ「等式」が、成立する。
然るに、
（03）
（ⅰ）
１ （１）∀ｘ｛ 僕ｘ→∃ｙ（鰻ｙ＆ 食ｘｙ）｝ Ａ
１ （２） 僕ａ→∃ｙ（鰻ｙ＆ 食ａｙ） １ＵＥ
３ （３） ～∃ｙ（鰻ｙ＆ 食ａｙ） Ａ
１３ （４） ～僕ａ ２３ＭＴＴ
１ （５） ～∃ｙ（鰻ｙ＆ 食ａｙ）→～僕ａ ３４ＣＰ
６ （６） ∃ｙ（鰻ｙ→～食ａｙ） Ａ
７（７） 鰻ｂ→～食ａｂ Ａ
７（８） ～鰻ｂ∨～食ａｂ ７含意の定義
７（９） ～（鰻ｂ＆ 食ａｂ） ８ド・モルガンの法則
７（ア） ∀ｙ～（鰻ｙ＆ 食ａｙ） ９ＵＩ
７（イ） ～∃ｙ（鰻ｙ＆ 食ａｂ） ア量化子の関係
６ （ウ） ～∃ｙ（鰻ｙ＆ 食ａｂ） ６７イＥＥ
１ ６ （エ） ～僕ａ ５ウＭＰＰ
１ （オ） ∃ｙ（鰻ｙ→～食ａｙ）→～僕ａ ６エＣＰ
１ （カ）∀ｘ｛∃ｙ（鰻ｙ→～食ｘｙ）→～僕ｘ｝ オＵＩ
（ⅱ）
１ （１）∀ｘ｛∃ｙ（鰻ｙ→～食ｘｙ）→～僕ｘ｝ Ａ
１ （２） ∃ｙ（鰻ｙ→～食ａｙ）→～僕ａ １ＵＥ
３ （３） 僕ａ Ａ
３ （４） ～～僕ａ ３ＤＮ
１３ （５） ～∃ｙ（鰻ｙ→～食ａｙ） ２４ＭＴＴ
１３ （６） ∀ｙ～（鰻ｙ→～食ａｙ） ５量化子の関係
１３ （７） ～（鰻ｂ→～食ａｂ） ６ＵＥ
１３ （８） ～（～鰻ｂ∨～食ａｂ） ７含意の定義
１３ （９） ～～鰻ｂ＆～～食ａｂ ８ド・モルガンの法則
１３ （ア） 鰻ｂ＆ 食ａｂ ９ＤＮ
１３ （イ） ∃ｙ（鰻ｙ＆ 食ａｙ） ア ＥＩ
１ （ウ） 僕ａ→∃ｙ（鰻ｙ＆ 食ａｙ） ３イＣＰ
１ （エ）∀ｘ｛僕ｘ→∃ｙ（鰻ｙ＆ 食ｘｙ）｝ ウＵＩ
従って、
（03）により、
（04）
① ∀ｘ｛ 僕ｘ→∃ｙ（鰻ｙ＆ 食ｘｙ）｝
② ∀ｘ｛∃ｙ（鰻ｙ→～食ｘｙ）→～僕ｘ｝
に於いて、両者は「対偶」であって、それ故、
①＝② である。
従って、
（04）により、
（05）
① すべてのｘについて、ｘが僕ならば、あるｙは鰻であって、ｘはｙを食べる。
② すべてのｘについて、あるｙが鰻であるとして、ｘがｙを食べないのであれば、ｘは僕ではない。
に於いて、両者は「対偶」であって、それ故、
①＝② である。
従って、
（05）により、
（06）
① 僕ならば、ウナギを食べる。
② ウナギを食べないのであれば、僕ではない。
に於いて、両者は「対偶」であって、それ故、
①＝② である。
然るに、
（07）
① I will have ウナギ。 を、
① I am an eel. と、訳すことは、出来ない。
然るに、
（08）
③ ウナギは魚だ ＝∀ｘ（ 鰻ｘ→ 魚ｘ）＝すべてのｘについて、ｘが鰻であるならば、ｘは魚である。
④ 魚でないなら鰻ではない＝∀ｘ（～魚ｘ→～鰻ｘ）＝すべてのｘについて、ｘが魚でないならば、ｘは鰻でない。
であれば、そのまま、
③ Eel is a fish.
④ Such that is not a fish is not an eel.
といふ風に、訳すことが出来る。
（09）
① 僕は鰻だ ＝∀ｘ｛僕ｘ→∃ｙ（鰻ｙ＆食ｘｙ）｝＝すべてのｘについて、ｘが僕ならば、あるｙは鰻であって、ｘはｙを食べる。
③ ウナギは魚だ＝∀ｘ（鰻ｘ→魚ｘ） ＝すべてのｘについて、ｘが鰻であるならば、ｘは魚である。
の場合は、両方とも、
① ＡはＢだ。
③ ＡはＢだ。
といふ「文型」をしてゐるものの、
① は、「省略形」であって、
③ は、「省略形」ではなく、「完全形」である。
（01）
① コンニャクは太らない。
② ∀ｘ｛蒟蒻ｘ→∃ｙ（人間ｙ＆食ｙｘ＆～太ｙ）｝。
③ すべてのｘについて、ｘが蒟蒻であるならば、あるｙは人間であり、ｙはｘを食べ、ｙは太らない。
に於いて、
①＝②＝③ である。
然るに、
（02）
（ⅰ）
１ （１）∀ｘ｛蒟蒻ｘ→ ∃ｙ（人間ｙ＆食ｙｘ＆～太ｙ）｝ Ａ
１ （２） 蒟蒻ａ→ ∃ｙ（人間ｙ＆食ｙａ＆～太ｙ） １ＵＥ
３ （３） ～∃ｙ（人間ｙ＆食ｙａ＆～太ｙ） Ａ
１３ （４） ～蒟蒻ａ ２３ＭＴＴ
１ （５） ～∃ｙ（人間ｙ＆食ｙａ＆～太ｙ）→～蒟蒻ａ ３４ＣＰ
６ （６） ∃ｙ（人間ｙ＆食ｙａ→ 太ｙ） Ａ
７（７） 人間ｂ＆食ｂａ→ 太ｂ Ａ
７（８） ～（人間ｂ＆食ｂａ）∨太ｂ ７含意の定義
７（９） ～人間ｂ∨～食ｂａ ∨太ｂ ８ド・モルガンの法則
７（ア） ～（人間ｂ＆食ｂａ＆～太ｂ） ９ド・モルガンの法則
６ （イ） ～（人間ｂ＆食ｂａ＆～太ｂ） ６７アＥＥ
６ （ウ） ∀ｙ～（人間ｙ＆食ｙａ＆～太ｙ） イＵＩ
６ （エ） ～∃ｙ（人間ｙ＆食ｙａ＆～太ｙ） ウ量化子の関係
１ ６ （オ） ～蒟蒻ａ ５エＭＰＰ
１ （カ） ∃ｙ（人間ｙ＆食ｙａ→ 太ｙ）→～蒟蒻ａ ６オＣＰ
１ （キ）∀ｘ｛∃ｙ（人間ｙ＆食ｙｘ→ 太ｙ）→～蒟蒻ｘ｝ １ＵＩ
（ⅱ）
１ （１）∀ｘ｛∃ｙ（人間ｙ＆食ｙｘ→ 太ｙ）→～蒟蒻ｘ｝ Ａ
１ （２） ∃ｙ（人間ｙ＆食ｙａ→ 太ｙ）→～蒟蒻ａ １ＵＥ
３ （３） 蒟蒻ａ Ａ
３ （４） ～～蒟蒻ａ ３ＤＮ
１３ （５） ～∃ｙ（人間ｙ＆食ｙａ→ 太ｙ） ２３ＭＰＰ
１３ （６） ∀ｙ～（人間ｙ＆食ｙａ→ 太ｙ） ５量化子の関係
１３ （７） ～（人間ｂ＆食ｂａ→ 太ｂ） ６ＵＥ
１３ （８） ～［～（人間ｂ＆食ｂａ）∨太ｂ］ ７含意の定義
１３ （９） ～～（人間ｂ＆食ｂａ）＆～太ｂ ８ド・モルガンの法則
１３ （ア） （人間ｂ＆食ｂａ）＆～太ｂ ９ＤＮ
１３ （イ） 人間ｂ＆食ｂａ ＆～太ｂ ア結合法則
１３ （ウ） ∃ｙ（人間ｙ＆食ｙａ ＆～太ｂ） イＥＩ
１ （エ） 蒟蒻ａ→∃ｙ（人間ｙ＆食ｙａ ＆～太ｙ） ３ウＣＰ
１ （オ）∀ｘ｛蒟蒻ｘ→∃ｙ（人間ｙ＆食ｙｘ ＆～太ｙ）｝ エＵＩ
従って、
（02）により、
（03）
① ∀ｘ｛蒟蒻ｘ→∃ｙ（人間ｙ＆食ｙｘ＆～太ｙ）｝
② ∀ｘ｛∃ｙ（人間ｙ＆食ｙｘ→太ｙ）→～蒟蒻ｘ｝
に於いて、両者は「対偶」であって、それ故、
①＝② である。
従って、
（03）により、
（04）
① すべてのｘについて、ｘが蒟蒻であるならば、あるｙは人間であって、ｙはｘを食べ、ｙは太らない。
② すべてのｘについて、あるｙは人間であり、ｙがｘを食べたとして、ｙが太るのであれば、ｘは蒟蒻ではない。
に於いて、両者は「対偶」であって、それ故、
①＝② である。
従って、
（04）により、
（05）
① コンニャクは、それを食べても、人間は太らない。
② それを食べた人間が、太るのであれば、コンニャクではない。
に於いて、両者は「対偶」であって、それ故、
①＝② である。
従って、
（05）により、
（06）
① コンニャクは 太らない。
といふ「日本語」は、
① コンニャクは（、それを食べても、人間は）太らない。
といふ、「意味」である。
（07）
② コンニャク（に限って、それを食べても、人間は）太らない。
であれば、
② コンニャクが太らない。
であって、「述語論理式」は、
② ∀ｘ｛蒟蒻ｘ→∃ｙ（人間ｙ＆食ｙｘ＆～太ｙ）＆∃ｙ（人間ｙ＆食ｙｘ＆～太ｙ）→蒟蒻ｘ｝
である。
（08）
③ コンニャク（に限らず、それを食べても、人間は）太らない。
であれば、
③ コンニャクも太らない。
であって、「述語論理式」は、
③ ∀ｘ｛蒟蒻ｘ→∃ｙ（人間ｙ＆食ｙｘ＆～太ｙ）＆～［∃ｙ（人間ｙ＆食ｙｘ＆～太ｙ）→蒟蒻ｘ］｝
である。
従って、
（01）（07）（08）により、
（09）
① コンニャクは太らない。
② コンニャクが太らない。
③ コンニャクも太らない。
の「論理式」は、順番に、
① ∀ｘ｛蒟蒻ｘ→∃ｙ（人間ｙ＆食ｙｘ＆～太ｙ）｝
② ∀ｘ｛蒟蒻ｘ→∃ｙ（人間ｙ＆食ｙｘ＆～太ｙ）＆ ∃ｙ（人間ｙ＆食ｙｘ＆～太ｙ）→蒟蒻ｘ｝
③ ∀ｘ｛蒟蒻ｘ→∃ｙ（人間ｙ＆食ｙｘ＆～太ｙ）＆～［∃ｙ（人間ｙ＆食ｙｘ＆～太ｙ）→蒟蒻ｘ］｝
である。