（01）
１ （１）∀ｘ｛大野ｘ→ ∃ｙ（私ｙ＆ｘ＝ｙ）｝ Ａ
１ （２） 大野ａ→ ∃ｙ（私ｂ＆ａ＝ｙ） １ＵＩ
３ （３） ∀ｙ（私ｙ→ａ≠ｙ） Ａ
３ （４） 私ｂ→ａ≠ｂ ３ＵＥ
３ （５） ～私ｂ∨ａ≠ｂ ４含意の定義
３ （６） ～（私ｂ＆ａ＝ｂ） ５ド・モルガンの法則
３ （７） ∀ｙ～（私ｙ＆ａ＝ｙ） ６ＵＩ<br>
３ （８） ～∃ｙ（私ｙ＆ａ＝ｙ） ７量化子の関係
１３ （９） ～大野ａ ２８ＭＴＴ
１ （ア） ∀ｙ（私ｙ→ａ≠ｙ）→～大野ａ ３９ＣＰ
イ （イ） 私ｂ→ａ≠ｂ Ａ
イ （ウ） ∀ｙ（私ｙ→ａ≠ｙ） イＵＩ
１ イ （エ） ～大野ａ アウＭＰＰ
１ （オ） 私ｂ→ａ≠ｂ →～大野ａ イエＣＰ
カ（カ） 私ｂ＆ａ≠ｂ Ａ
カ（キ） 私ｂ カ＆Ｅ
１ カ（ク） ａ≠ｂ →～大野ａ オキＭＰＰ
カ（カ） ａ≠ｂ カ＆Ｅ
１ カ（ケ） ～大野ａ クカＭＰＰ
１ （コ） 私ｂ＆ａ≠ｂ →～大野ａ カケＣＰ
１ （サ） ∀ｙ（私ｙ＆ａ≠ｙ →～大野ａ） コＵＩ
１ （シ）∀ｘ∀ｙ（私ｙ＆ｘ≠ｙ →～大野ｘ） サＵＩ
（02）
１ （１）～∀ｘ∀ｙ（私ｙ＆ｘ≠ｙ →～大野ｘ） Ａ
１ （２）∃ｘ～∃ｙ（私ｙ＆ｘ≠ｙ →～大野ｘ） 量化子の関係
１ （３）∃ｘ∃ｙ～（私ｙ＆ｘ≠ｙ →～大野ｘ） 量化子の関係
４ （４） ∃ｙ～（私ｙ＆ａ≠ｙ →～大野ａ） Ａ
５（５） ～（私ｂ＆ａ≠ｂ →～大野ａ） Ａ
５（６） ～［～（私ｂ＆ａ≠ｂ）∨～大野ａ］ ５含意の定義
５（７） ～～（私ｂ＆ａ≠ｂ＆～～大野ａ） ６ド・モルガンの法則
５（８） （私ｂ＆ａ≠ｂ＆ 大野ａ） ７ＤＮ
５（９） ∃ｙ（私ｙ＆ａ≠ｙ＆ 大野ａ） ８ＥＩ
４ （ア） ∃ｙ（私ｙ＆ａ≠ｙ＆ 大野ａ） ４５９ＥＥ
４ （イ） ∃ｘ∃ｙ（私ｙ＆ｘ≠ｙ＆ 大野ｘ） アＥＩ
１ （ウ） ∃ｘ∃ｙ（私ｙ＆ｘ≠ｙ＆ 大野ｘ） １４イＥＥ
従って、
（01）（02）により、
（03）
② ∀ｘ｛大野ｘ→∃ｙ（私ｙ＆ｘ＝ｙ）｝
③ ∀ｘ∀ｙ（私ｙ＆ｘ≠ｙ→～大野ｘ）
④ ∃ｘ∃ｙ（私ｙ＆ｘ≠ｙ＆ 大野ｘ）
に於いて、
②と③は「対偶（Contraposition）」であり、
④は③の「否定」、すなはち、②の「否定」である。
従って、
（03）により、
（04）
② すべてのｘについて、ｘが大野であるならば、あるｙは私であって、ｘはｙに等しい。
③ すべてのｘと、すべてのｙについて、ｙが私であり、ｘとｙが等しくなければ、ｘは大野ではない。
④ あるｘとあるｙについて、ｙは私であり、ｘとｙは等しくはなく、ｙは大野である。
に於いて、
②と③は「対偶（Contraposition）」であり、
④は③の「否定」、すなはち、②の「否定」である。
従って、
（04）により、
（05）
② 大野は私です。
③ 私以外は大野ではない。
④ 私も大野です。
に於いて、
②と③は「対偶（Contraposition）」であり、
④は③の「否定」、すなはち、②の「否定」である。
然るに、
（06）
命題「AならばB」の真偽とその対偶「BでないならAでない」の真偽とは必ず一致する(すなわち真理値が等しい）。
（ウィキペディア）
従って、
（05）（06）により、
（07）
② 大野は私です（大野ならば私です）＝∀ｘ｛大野ｘ→∃ｙ（私ｙ＆ｘ＝ｙ）｝。
③ 私以外は大野ではない（私でなければ大野ではない）＝∀ｘ∀ｙ（私ｙ＆ｘ≠ｙ→～大野ｘ）。
といふ「対偶（Contraposition）」は、「必然的に、等しい」。
然るに、
（08）
（３） 未知と既知
この組み合わせは次のような場合に現われる。
私が大野です。
これは、「大野さんはどちらですか」というような問いに対する答えとして使われる。つまり文脈において、「大野」なる人物はすでに登場していて既知である。ところが、それが実際にどの人物なのか、その帰属する先が未知である。その未知の対象を「私」と表現して、それをガで承けた。それゆえこの形は、
大野は私です。
に置きかえてもほぼ同じ意味を表わすといえる（大野晋、日本語の文法を考える、1978年、３４頁）。
従って、
（07）（08）により、
（09）
① 私が大野です。
② 大野は私です。
③ 私以外は大野ではない。
に於いて、
①＝②＝③
といふ「等式」が、成立する。
従って、
（07）（08）（09）により、
（10）
（ⅰ）私以外は大野ではない。
（ⅱ）私以外も大野である。
と言ふ「必要」がある場合には、それぞれ、
（ⅰ）私が大野です（大野は私です）。
（ⅱ）私も大野です。
と言ひ、さうではない場合には、
（ⅲ）私は大野です。
と言ふ、ことになる。
然るに、
（11）
（１） 既知と未知
私は大野です。
という文は、檀の上に立って私なるものが聴衆に見えている。それで、私なる存在については相手もこれをみて知っている、すると、それを既知扱いにして「私は大野です」という。この「大野です」という部分は実は未知の部分にあたり、「私は（ダレカトイウト）大野です」の意味である。
（大野晋、日本語の文法を考える、1978年、２４・２５頁）
従って、
（11）により、
（12）
① 私（既知）は大野（未知）です。
である。
然るに、
（13）
① 私（既知）は大野（未知）です。
であるならば、
① 大野（未知）＝私の名前（未知）
である。
従って、
（12）（13）により、
（14）
② 私の名前（未知）は大野（未知）です。
③ あなたの名前（は未知だから）は何（未知）ですか（と質問する）。
である。
ｃｆ.
③ What（未知） is your name（未知でなければ質問しない）?
従って、
（12）（13）（14）により、
（15）
① 私（既知）は大野（未知）です。
② 私の名前（未知）は大野（未知）です。
③ あなたの名前（未知）は 何（未知）ですか。
である。
従って、
（15）により、
（16）
（１）Ａ（既知）はＢ（未知）である。
といふことには、ならない。