（779）「私が大野です」⇔「大野は私です」⇔「私以外は大野ではない」。

（01）
１  　　　（１）　∃ｘ｛私ｘ＆∀ｙ（大野ｙ→ｘ＝ｙ）｝ Ａ
 ２ 　　　（２）  　　私ａ＆∀ｙ（大野ｙ→ａ＝ｙ）  Ａ
 ２ 　　　（３）   　私ａ              ２＆Ｅ
 ２ 　　　（４）      　∀ｙ（大野ｙ→ａ＝ｙ）  ２＆Ｅ
 ２ 　　　（５）         　 大野ｂ→ａ＝ｂ   ４ＵＥ
　　６　　　（６）　　　　　　　　　　大野ｂ　　　　　　　Ａ
　２６　　　（７）　　　　　　　　　　　　　　ａ＝ｂ　　　５６ＭＰＰ
　２６　　　（８）　　　　　　　　　　大野ａ　　　　　　　６７＝Ｅ
　２６　　　（９）　　　　　　　　　　私ａ＆大野ａ　　　　３＆Ｉ
　２　　　　（ア）　　　　　　　　大野ｂ→私ａ＆大野ａ　　６９ＣＰ
　　　イ　　（イ）　　　　　　　　　　　私ａ→～大野ａ　　Ａ
　　　イ　　（ウ）　　　　　　　　　　～私ａ∨～大野ａ　　イ含意の定義
　　　イ　　（エ）　　　　　　　　　　～（私ａ＆大野ａ）　ウ、ド・モルガンの法則
　２　イ　　（オ）　　　　　　　～大野ｂ　　　　　　　　　アエＭＴＴ
　２　　　　（カ）　　　　（私ａ→～大野ａ）→～大野ｂ　　イオＣＰ
　　　　キ　（キ）　　　～（私ａ＆　大野ａ）　　　　　　　Ａ
　　　　キ　（ク）　　　　～私ａ∨～大野ａ　　　　　　　　ク、ド・モルガンの法則
　　　　キ　（ケ）　　　　（私ａ→～大野ａ）　　　　　　　ク含意の定義
　２　　キ　（コ）　　　　　　　　　　　　　　～大野ｂ　　カケＭＰＰ
　２　　　　（サ）　　　～（私ａ＆　大野ａ）→～大野ｂ　　キコＣＰ
　　　　　シ（シ）　　　　　　　　　　　　　　　大野ｂ　　Ａ
　　　　　シ（ス）　　　　　　　　　　　　　～～大野ｂ　　スＤＮ
　２　　　シ（セ）　　～～（私ａ＆　大野ａ）　　　　　　　サスＭＴＴ
　２　　　シ（ソ）　　　　（私ａ＆　大野ａ）　　　　　　　セＤＮ
　２　　　　（タ）　　　　　大野ｂ→（私ａ＆大野ａ）　　　シソＣＰ
　２　　　　（チ）　　∀ｙ｛大野ｙ→（私ａ＆大野ａ）｝　　タＵＩ（２にｂは無い）
　２　　　　（ツ）∃ｘ∀ｙ｛大野ｙ→（私ｘ＆大野ｘ）｝　　チＥＩ
１　　　　　（テ）∃ｘ∀ｙ｛大野ｙ→（私ｘ＆大野ｘ）｝　　１２ツＥＥ
従って、
（01）により、
（02）
① ∃ｘ｛私ｘ＆∀ｙ（大野ｙ→ｘ＝ｙ）｝
② ∃ｘ∀ｙ｛大野ｙ→（私ｘ＆大野ｘ）｝
に於いて、すなはち、
① あるｘは｛私であって、すべてのｙについて（ｙが大野であるならば、ｘはｙである）。｝
② あるｘとすべてのｙについて｛ｙが大野ならば（ｘは私であって、大野である）。｝
に於いて、
① ならば、② である。
然るに、
（03）
① ∃ｘ｛私ｘ＆∀ｙ（大野ｙ→ｘ＝ｙ）｝
② ∃ｘ∀ｙ｛大野ｙ→（私ｘ＆大野ｘ）｝
に於いて、
① には「＝」があるが、
② には「＝」が無い。
従って、
（04）
① ならば、② である。
と「同時」に、
② ならば、① である。
としても、そのことを「証明」する『術（＝に関する、規則）』が無い。
然るに、
（05）
（ⅰ）
１    （１）∃ｘ｛私ｘ＆ ∀ｙ（大野ｙ→ｘ＝ｙ）｝ Ａ
 ２   （２）   私ａ＆ ∀ｙ（大野ｙ→ａ＝ｙ）  Ａ
 ２   （３）   私ａ               ２＆Ｅ
 ２   （４）       ∀ｙ（大野ｙ→ａ＝ｙ）  ２＆Ｅ
 ２   （５）           大野ｂ→ａ＝ｂ   ４ＵＥ
 ２   （６）         ～大野ｂ∨ａ＝ｂ   ５含意の定義

   ７  （７）          大野ｂ＆ａ≠ｂ   Ａ
   ８ （８）         ～大野ｂ       Ａ（６選言枝、右）
  ７  （９）          大野ｂ       ７＆Ｅ
  ７８ （ア）         ～大野ｂ＆大野ｂ   ８９＆Ｉ
    ８ （イ）        ～（大野ｂ＆ａ≠ｂ）  ７アＲＡＡ
　　　　ウ（ウ）　　　　　　　　　　　　　　ａ＝ｂ　　　Ａ（６選言枝、左）
  ７  （エ）              ａ≠ｂ   ７＆Ｉ
  ７ ウ（オ）          ａ＝ｂ＆ａ≠ｂ   ウエ＆Ｉ
    ウ（カ）        ～（大野ｂ＆ａ≠ｂ）  ７オＲＡＡ
 ２   （キ）        ～（大野ｂ＆ａ≠ｂ）  ２８イウカ∨Ｅ
 ２   （ク）      ∀ｙ～（大野ｙ＆ａ≠ｙ）  キＵＩ（２にｂは無い）
 ２   （ケ）      ～∃ｙ（大野ｙ＆ａ≠ｙ）  ク量化子の関係

 ２   （コ）   私ａ＆～∃ｙ（大野ｙ＆ａ≠ｙ）  ３ケ＆Ｉ
 ２   （サ）∃ｘ｛私ｘ＆～∃ｙ（大野ｙ＆ｘ≠ｙ）｝ コＥＩ
１    （シ）∃ｘ｛私ｘ＆～∃ｙ（大野ｙ＆ｘ≠ｙ）｝ １２サＥＥ
（ⅲ）
１    （１）∃ｘ｛私ｘ＆～∃ｙ（大野ｙ＆ｘ≠ｙ）｝ Ａ
 ２   （２）   私ａ＆～∃ｙ（大野ｙ＆ａ≠ｙ）  Ａ
 ２   （３）   私ａ               ２＆Ｅ
 ２   （４）      ～∃ｙ（大野ｙ＆ａ≠ｙ）  ２＆Ｅ
 ２   （５）      ∀ｙ～（大野ｙ＆ａ≠ｙ）  ４量化子の関係
 ２   （６）        ～（大野ｂ＆ａ≠ｂ）  ５ＵＥ
 ２   （７）       ～大野ｂ∨～（ａ≠ｂ）  ６ド・モルガンの法則
 ２   （８）         ～大野ｂ∨ａ＝ｂ   ７ＤＮ
 ２   （９）          大野ｂ→ａ＝ｂ   ８含意の定義
 ２   （ア）       ∀ｙ（大野ｙ→ａ＝ｙ）  ９ＵＩ（２にｂは無い）
 ２   （イ）   私ａ＆ ∀ｙ（大野ｙ→ａ＝ｙ）  ３ア＆Ｉ
 ２   （ウ）∃ｘ｛私ｘ＆ ∀ｙ（大野ｙ→ｘ＝ｙ）｝ イＥＩ
１    （エ）∃ｘ｛私ｘ＆ ∀ｙ（大野ｙ→ｘ＝ｙ）｝ １２ウＥＥ
従って、
（05）により、
（06）
① ∃ｘ｛私ｘ＆ ∀ｙ（大野ｙ→ｘ＝ｙ）｝
③ ∃ｘ｛私ｘ＆～∃ｙ（大野ｙ＆ｘ≠ｙ）｝
に於いて、すなはち、
① あるｘは｛私であって、すべてのｙについて（ｙが大野であるならば、ｘ＝ｙである）。｝
③ あるｘは｛私であって、あるｙが（大野であって、尚且つ、ｘ＝ｙでない）といふことはない。｝
に於いて、
①＝③ である。
従って、
（06）により、
（07）
① 私と、大野は、同一人物である。
③ 私以外に、大野は、存在しない。
に於いて、
①＝③ である。
然るに、
（08）
① 私と、大野が、「同一人物」である。
ならば、そのときに限って、
② 私は大野であり、大野は私である。
従って、
（07）（08）により、
（09）
① 私と、大野が、「同一人物」である。
ならば、そのときに限って、
② 大野は私である。
③ 私以外に、大野はゐない。
に於いて、
②＝③ である。
然るに、
（10）
（３）　未知と既知
この組み合わせは次のような場合に現われる。
　私が大野です。
これは、「大野さんはどちらですか」というような問いに対する答えとして使われる。つまり文脈において、「大野」なる人物はすでに登場していて既知である。ところが、それが実際にどの人物なのか、その帰属する先が未知である。その未知の対象を「私」と表現して、それをガで承けた。それゆえこの形は、

　大野は私です。
に置きかえてもほぼ同じ意味を表わすといえる（大野晋、日本語の文法を考える、1978年、３４頁）。
従って、
（09）（10）により、
（11）
① 私と、大野が、「同一人物」である。
ならば、そのときに限って、
② 大野は私です。
③ 私以外は大野ではない。
に於いて、
①＝②＝③ である。
従って、
（11）により、
（12）
③ 私以外は大野ではない。
といふことが、「事実」であって、尚且つ、
③ 私以外は大野ではない。
といふ「情報」に、「価値」が有るならば、そのときに限って、
① 私が大野です。
② 大野は私です。
といふ風に、「発言」する。
従って、
（12）により、
（13）
③ 私以外は大野ではない。
といふことが、「事実」であったとしても、
③ 私以外は大野ではない。
といふ「情報」に、「価値」が無いのであれば、
① 私が大野です。
② 大野は私です。
とは言はずに、
④ 私は大野です。
といふ風に、「発言」する。
従って、
（10）（13）により、
（14）
「大野さんはどちらですか」というような問いがある場合は、
③ 私以外は大野ではない。
といふ「情報」に、「価値」が有るが故に、
① 私が大野です。
② 大野は私です。
といふ風に、「返答」する。
従って、
（14）により、
（15）
「逆」に言へば、
「大野さんはどちらですか」というような問いが無い。
に拘らず、
④ 私は大野です。
とは言はずに、いきなり、
① 私が大野です。
② 大野は私です。
といふ風に、言ふのであれば、その場合は、
「相手の側」は、「怪訝」に思ふ、ことになる。