（01）
① ＰはＱである＝（Ｐ→Ｑ） ＝ＰならばＱである。
② ＰがＱである＝（Ｐ→Ｑ＆ ～Ｐ→～Ｑ） ＝ＰならばＱであり、 ＰでないならばＱでない。
③ ＰもＱである＝｛Ｐ→Ｑ＆～（～Ｐ→～Ｑ）｝＝ＰならばＱであるが、ＰでないならばＱでない、といふわけではない。
然るに、
（02）
（ⅰ）
１ （１）Ｐ→Ｑ＆～Ｐ→～Ｑ Ａ
１ （２）Ｐ→Ｑ １＆Ｅ
１ （３） ～Ｐ→～Ｑ １＆Ｅ
４（４） Ｑ Ａ
４（５） ～～Ｑ ４ＤＮ
１４（６） ～～Ｐ ３５ＭＴＴ
１４（７） Ｐ ６ＤＮ
１ （８） Ｑ→ Ｐ ４７ＣＰ
１ （９）Ｐ→Ｑ＆ Ｑ→ Ｐ ２８＆Ｉ
（ⅱ）
１ （１）Ｐ→Ｑ＆ Ｑ→ Ｐ Ａ
１ （２）Ｐ→Ｑ １＆Ｅ
１ （３） Ｑ→ Ｐ １＆Ｅ
４（４） ～Ｐ Ａ
１４（５） ～Ｑ ３４ＭＴＴ
１ （６） ～Ｐ→～Ｑ ４５ＣＰ
１ （７）Ｐ→Ｑ＆～Ｐ→～Ｑ ２６Ｉ
（ⅲ）
１（１）Ｐ→Ｑ＆～（～Ｐ→～Ｑ） Ａ
１（２）Ｐ→Ｑ １＆Ｅ
１（３） ～（～Ｐ→～Ｑ） １＆Ｅ
１（４） ～（Ｐ∨～Ｑ） ３含意の定義
１（５） ～Ｐ＆～～Ｑ ４ド・モルガンの法則
１（６） ～Ｐ＆ Ｑ ５ＤＮ
１（７）Ｐ→Ｑ＆（～Ｐ＆Ｑ） ２６＆Ｉ
（ⅳ）
１（１）Ｐ→Ｑ＆（～Ｐ＆Ｑ） Ａ
１（２）Ｐ→Ｑ １＆Ｅ
１（３） （～Ｐ＆Ｑ） １＆Ｅ
１（４） ～（Ｐ∨～Ｑ） ３ド・モルガンの法則
１（５） ～（～～Ｐ∨～Ｑ） ４ＤＮ
１（６） ～（～Ｐ→～Ｑ） ５含意の定義
１（７）Ｐ→Ｑ＆～（～Ｐ→～Ｑ） ２６＆Ｉ
従って、
（01）（02）により、
（03）
① ＰはＱである＝（Ｐ→Ｑ） ＝ＰならばＱである。
② ＰがＱである＝（Ｐ→Ｑ＆ ～Ｐ→～Ｑ） ＝ＰならばＱであり、 ＰでないならばＱでない。
③ ＰもＱである＝｛Ｐ→Ｑ＆～（～Ｐ→～Ｑ）｝＝ＰならばＱであるが、ＰでないならばＱでない、といふわけではない。
であって、尚且つ、
① ＰはＱである＝（Ｐ→Ｑ） ＝ＰはＱである。
② ＰがＱである＝（Ｐ→Ｑ＆ Ｑ→ Ｐ） ＝ＰはＱであり、 ＱはＰである。
③ ＰもＱである＝｛Ｐ→Ｑ＆ （～Ｐ＆ Ｑ）｝＝ＰはＱであるが、ＰでなくともＱである。
といふ、ことになる。
従って、
（03）により、
（04）
② ＰはＱであり、ＱはＰである。
ならば、そのときに限って、
② ＰがＱである。
然るに、
（03）により、
（05）
② ＰがＱである＝（Ｐ→Ｑ＆～Ｐ→～Ｑ） ＝ＰはＱであり、Ｐ以外はＱでない。
② ＰがＱである＝（Ｐ→Ｑ＆ Ｑ→ Ｐ） ＝ＰはＱであり、ＱはＰである。
従って、
（05）により、
（06）
② ＰがＱである＝ＰはＱであり、ＱはＰである。
といふことは、
② ＰがＱである＝Ｐ以外はＱでない。
といふことに、他ならない。
従って、
（04）（05）（06）により、
（07）
① ＰがＱである。
② ＰはＱであり、ＱはＰである。
③ ＰはＱであり、Ｐ以外はＱでない。
に於いて、
①＝②＝③ である。
従って、
（07）により、
（08）
① 私が大野です。
② 私は大野であり、大野は私です。
③ 私は大野であり、私以外は大野でない。
に於いて、
①＝②＝③ である。
従って、
（08）により、
（09）
③ 私以外は大野でない。
といふ風に、言ひたいのであれば、その場合は、
① 私が大野です。
② 大野は私です。
といふ風に、言ふことになる。
然るに、
（10）
③ Nobody except me is 大野.
を、「グーグル翻訳」に掛けると、
③ 私以外の誰も大野ではありません。
といふ「日本語」が、出力される。
然るに、
（11）
単なる「自己紹介」であれば、
④ I am 大野．
④ My name is 大野．
であって、
③ Nobody except me is 大野。
とは、言はない。
従って、
（09）（10）（11）により、
（12）
① 私が大野です。
② 大野は私です。
と言ふのであれば、その場合は、単なる「自己紹介」ではなく、
③ 私以外は大野ではない（Nobody except me is 大野）。
といふ風に、言ふことが、「ふさわしい（適当）な場合」である。
然るに、
（13）
③ Ａさんは、大野さんに用があり、
③ Ａさんは、大野さんに会いたがってゐる。
としたら、
① 私が大野です。
② 大野は私です。
③ 私以外は大野ではない（Nobody except me is 大野）。
といふ風に、言ふことは、「さのやうに言ふことが、ふさわしい（適当）な場面で、さのやうに言ってゐる。」といふ、ことになる。
従って、
（13）により、
（14）
① 私が大野です。
② 大野は私です。
③ 私以外は大野ではない（Nobody except me is 大野）。
といふ風に、言ふ場合とは、例へば、
③ Ａさんは、大野さんに用があり、
③ Ａさんは、大野さんに会いたがってゐる。
といふ場合である。
然るに、
（15）
（３） 未知と既知
この組み合わせは次のような場合に現われる。
私が大野です。
これは、「大野さんはどちらですか」というような問いに対する答えとして使われる。つまり文脈において、「大野」なる人物はすでに登場していて既知である。ところが、それが実際にどの人物なのか、その帰属する先が未知である。その未知の対象を「私」と表現して、それをガで承けた。それゆえこの形は、
大野は私です。
に置きかえてもほぼ同じ意味を表わすといえる（大野晋、日本語の文法を考える、1978年、３４頁）。
従って、
（08）（14）（15）により、
（16）
① 私が大野です。
② 私は大野であり、大野は私です。
③ 私は大野であり、私以外は大野でない。
に於いて、
①＝②＝③ である。
といふ、ことからすれば、
（３） 未知と既知
この組み合わせは次のような場合に現われる。
私が大野です。
これは、「大野さんはどちらですか」というような問いに対する答えとして使われる。
といふことは、「単なる偶然」に過ぎない。
然るに、
（17）
（１） 既知と未知
私は大野です。
という文は、檀の上に立って私なるものが聴衆に見えている。それで、私なる存在については相手もこれをみて知っている、すると、それを既知扱いにして「私は大野です」という。この「大野です」という部分は実は未知の部分にあたり、「私は（ダレカトイウト）大野です」の意味である。
（大野晋、日本語の文法を考える、1978年、２４・２５頁）
然るに、
（18）
① 私は大野です（I am 大野）。
② 私の名前は大野です（My name is 大野）。
であれば、
② 私の名前＝大野
従って、
（17）（18）により、
（19）
① 私（既知）は大野（未知）です。
② 私の名前（未知）は大野（未知）です。
であれば、
① 私（既知）は
② 私の名前（未知）は
であるため、
① 既知＋は
② 未知＋は
である。
従って、
（17）（18）（19）により、
（20）
（１） 既知と未知
私は大野です。
という文は、檀の上に立って私なるものが聴衆に見えている。それで、私なる存在については相手もこれをみて知っている、すると、それを既知扱いにして「私は大野です」という。
といふことに、ならない。