（01）
①｛象の鼻、兎の鼻、犬の鼻｝であるならば、
① 象の鼻が長い。
従って、
（02）
①｛象の鼻、兎の鼻、犬の鼻｝に於いて、
① 象の鼻が長い。
といふことは、
①｛象の鼻｝は長い。
①｛兎の鼻｝は長くない。
①｛犬の鼻｝は長くない。
といふ、ことである。
従って、
（01）（02）により、
（03）
①｛象、兎、犬｝に於いて、
① 象の鼻が長い。
といふことは、
① 象の鼻は長く、象以外の鼻は長くない。
といふ、ことである。
従って、
（01）（02）（03）により、
（04）
① 象の鼻が長い。⇔
① 象の鼻は長く、象以外の鼻は長くない。⇔
① ∀ｘ∀ｙ｛象ｘ＆鼻ｙｘ→長ｙ＆～象ｘ＆鼻ｙｘ→～長ｙ｝⇔
① すべてのｘとｙについて、ｘが象であり、ｙがｘの鼻であるならば、ｙは長く、ｘが象ではなくて、ｙがｘの鼻であるならば、ｙは長くない。
然るに、
（05）
（ⅱ）
１ （１）～∀ｘ∀ｙ｛象ｘ＆鼻ｙｘ→長ｙ＆～象ｘ＆鼻ｙｘ→～長ｙ｝ Ａ
１ （２）∃ｘ～∀ｙ｛象ｘ＆鼻ｙｘ→長ｙ＆～象ｘ＆鼻ｙｘ→～長ｙ｝ １量化子の関係
１ （３）∃ｘ∃ｙ～｛象ｘ＆鼻ｙｘ→長ｙ＆～象ｘ＆鼻ｙｘ→～長ｙ｝ ２量化子の関係
４ （４） ∃ｙ～｛象ａ＆鼻ｙａ→長ｙ＆～象ａ＆鼻ｙａ→～長ｙ｝ Ａ
５ （５） ～｛象ａ＆鼻ｂａ→長ｙ＆～象ａ＆鼻ｂａ→～長ｂ｝ Ａ
５ （６） ～（象ａ＆鼻ｂａ→長ｙ）∨～（～象ａ＆鼻ｂａ→～長ｂ） ５ド・モルガンの法則
５ （７） （象ａ＆鼻ｂａ→長ｙ）→～（～象ａ＆鼻ｂａ→～長ｂ） ６含意の定義
８ （８） （象ａ＆鼻ｂａ→長ｙ） Ａ
５８ （９） ～（～象ａ＆鼻ｂａ→～長ｂ） ７８ＭＰＰ
ア （ア） ～（～象ａ＆鼻ｂａ）∨～長ｂ） Ａ
ア （イ） ～象ａ＆鼻ｂａ→～長ｂ ア含意の定義
５８ア （ウ） ～（～象ａ＆鼻ｂａ→～長ｂ）＆
～象ａ＆鼻ｂａ→～長ｂ ９イ＆Ｉ
５８ （エ） ～［～（～象ａ＆鼻ｂａ）∨～長ｂ］ アウＲＡＡ
５８ （オ） （～象ａ＆鼻ｂａ）＆ 長ｂ エ、ド・モルガンの法則
５８ （カ） （～象ａ＆鼻ｂａ ＆ 長ｂ） オ結合法則
５ （キ） （象ａ＆鼻ｂａ→長ｂ）→（～象ａ＆鼻ｂａ＆ 長ｂ） ８カＣＰ
５ （ク） ∃ｙ｛（象ａ＆鼻ｙａ→長ｙ）→（～象ａ＆鼻ｙａ＆ 長ｙ）｝ キＥＩ
４ （ケ） ∃ｙ｛（象ａ＆鼻ｙａ→長ｙ）→（～象ａ＆鼻ｙａ＆ 長ｙ）｝ ４５クＥＥ
４ （コ）∃ｘ∃ｙ｛（象ａ＆鼻ｙｘ→長ｙ）→（～象ａ＆鼻ｙｘ＆ 長ｙ）｝ ケＥＩ
１ （サ）∃ｘ∃ｙ｛（象ｘ＆鼻ｙｘ→長ｙ）→（～象ｘ＆鼻ｙｘ＆ 長ｙ）｝ ３４コＥＥ
（ⅲ）
１ （１）∃ｘ∃ｙ｛（象ｘ＆鼻ｙｘ→長ｙ）→（～象ｘ＆鼻ｙｘ＆ 長ｙ）｝ Ａ
２ （２） ∃ｙ｛（象ａ＆鼻ｙａ→長ｙ）→（～象ａ＆鼻ｙａ＆ 長ｙ）｝ Ａ
３ （３） （象ａ＆鼻ｂａ→長ｂ）→（～象ａ＆鼻ｂａ＆ 長ｂ） Ａ
４ （４） （象ａ＆鼻ｂａ→長ｂ） ３４ＭＰＰ
３４ （５） （～象ａ＆鼻ｂａ＆ 長ｂ） ３４ＣＰ
６ （６） ～象ａ＆鼻ｂａ→～長ｂ Ａ
３４ （７） ～象ａ＆鼻ｂａ ５＆Ｅ
３４６ （８） ～長ｂ ６７ＭＰＰ
６ （９） 長ｂ ５＆Ｅ
３４６ （ア） ～長ｂ＆長ｂ ８９＆Ｉ
３４ （イ） ～（～象ａ＆鼻ｂａ→～長ｂ） ６ＲＡＡ
３ （ウ） （象ａ＆鼻ｂａ→長ｂ）→～（～象ａ＆鼻ｂａ→～長ｂ） ４イＣＰ
３ （エ） ～（象ａ＆鼻ｂａ→長ｂ）∨～（～象ａ＆鼻ｂａ→～長ｂ） ウ含意の定義
３ （オ） ～｛象ａ＆鼻ｂａ→長ｙ ＆ ～象ａ＆鼻ｂａ→～長ｂ｝ エ、ド・モルガンの法則
３ （カ） ∃ｙ～｛象ａ＆鼻ｙａ→長ｙ＆～象ａ＆鼻ｙａ→～長ｙ｝ オＥＩ
２ （キ） ∃ｙ～｛象ａ＆鼻ｙａ→長ｙ＆～象ａ＆鼻ｙａ→～長ｙ｝ ２３カＥＩ
２ （ク）∃ｘ∃ｙ～｛象ｘ＆鼻ｙｘ→長ｙ＆～象ｘ＆鼻ｙｘ→～長ｙ｝ キＥＩ
１ （ケ）∃ｘ∃ｙ～｛象ｘ＆鼻ｙｘ→長ｙ＆～象ｘ＆鼻ｙｘ→～長ｙ｝ １２クＥＥ
１ （コ）∃ｘ～∀ｘ｛象ｘ＆鼻ｙｘ→長ｙ＆～象ｘ＆鼻ｙｘ→～長ｙ｝ ケ量化子の関係
１ （サ）～∀ｘ∀ｙ｛象ｘ＆鼻ｙｘ→長ｙ＆～象ｘ＆鼻ｙｘ→～長ｙ｝ コ量化子の関係
従って、
（05）により、
（06）
② ～∀ｘ∀ｙ｛ 象ｘ＆鼻ｙｘ→長ｙ ＆ ～象ｘ＆鼻ｙｘ→～長ｙ ｝
③ ∃ｘ∃ｙ｛（象ｘ＆鼻ｙｘ→長ｙ）→（～象ｘ＆鼻ｙｘ＆ 長ｙ）｝
に於いて、
②＝③ である。
従って、
（04）（05）（06）により、
（07）
① 象の鼻が長い。
② ～∀ｘ∀ｙ｛ 象ｘ＆鼻ｙｘ→長ｙ ＆ ～象ｘ＆鼻ｙｘ→～長ｙ ｝。
③ ∃ｘ∃ｙ｛（象ｘ＆鼻ｙｘ→長ｙ）→（～象ｘ＆鼻ｙｘ＆ 長ｙ）｝。
に於いて、
① の「否定」は、
② であり、
②＝③ である。
然るに、
（08）
③ ∃ｘ∃ｙ｛（象ｘ＆鼻ｙｘ→長ｙ）→（～象ｘ＆鼻ｙｘ＆長ｙ）｝⇔
③ あるｘとｙについて、ｘが象であり、ｙがｘの鼻であるならば、ｙは長い。ならば、ｘは象ではなくて、ｙはｘの鼻であって、ｙは長い。
といふことは、
③ 象の鼻が長いならば、象以外にも、鼻の長い動物がゐる。
といふ、ことである。
従って、
（07）（08）により、
（09）
① 象の鼻が長い。
③ 象以外にも、鼻の長い動物がゐる。
に於いて、
① と ③ は、「矛盾」する。
従って、
（09）により、
（10）
① 象の鼻が長い。
③ 象の鼻は長く、象以外に、鼻の長い動物はゐない。
に於いて、
①＝③ である。
従って、
（10）により、
（11）
① 象の鼻が長い。
といふ「日本語」は、
③ 象の鼻は長く、象以外に、鼻の長い動物はゐない。
といふ、「意味」である。
従って、
（11）により、
（12）
｛象、兎、犬、貔｝に於いて、
① 象の鼻が長い。
といふのであれば、
③ 貔の鼻は、長くはない。
従って、
（12）により、
（13）
｛象、兎、犬、熊｝に於いて、
① 象の鼻が長い。
といふのであれば、
③ 熊の鼻は、長くはない。
（14）
「明日」は、
② 象は鼻が長い。⇔
② 象は鼻は長く、鼻以外は長くない。⇔
② ∀ｘ｛象ｘ→∃ｙ（鼻ｙｘ＆長ｙ）＆∀ｚ（～鼻ｚｘ→～長ｚ）｝⇔
② すべてのｘについて、ｘが象であるならば、あるｙはｘの鼻であって長く、すべてのｚについて、ｚがｘの鼻でないならば、ｚは長くない。
の、「否定」を「計算」してみます。