（01）
① 理事長であるならば私である。
② 理事長であって私でない。といふことはない。
③ 私でなくて理事長である。といふことはない。
④ 私でないならば理事長ではない。
に於いて、「直観」として、
①＝②＝③＝④ である。
（02）
① すべてのｘについて、ｘが理事長であるならば、ｘは私である。
② あるｘが理事長であって、そのｘが私でない。といふことはない。
③ あるｘが私でなくて、そのｘが理事長である。といふことはない。
④ すべてのｘについて、ｘが私でないならば、ｘは理事長ではない。
に於いて、「直観」として、
①＝②＝③＝④ である。
然るに、
（03）
１ （１） ∀ｘ（理事長ｘ→ 私ｘ） Ａ
１ （〃）すべてのｘについて、ｘが理事長であるならば、ｘは私である。
１ （２） 理事長ａ→ 私ａ Ａ
２（３） 理事長ａ＆～私ａ Ａ
２（４） 理事長ａ ３＆Ｅ
１２（５） 私ａ ２４ＭＰＰ
２（６） ～私ａ ３＆Ｅ
１２（７） 私ａ＆～私ａ ５６＆Ｉ
１ （８） ～（理事長ａ＆～私ａ） ３７ＲＡＡ
１ （９）∀ｘ～（理事長ｘ＆～私ｘ） １ＵＩ
１ （ア）～∃ｘ（理事長ｘ＆～私ｘ） ９量化子の関係
１ （〃）あるｘが理事長であって、そのｘが私でない。といふことはない。
（04）
１ （１）～∃ｘ（理事長ｘ＆～私ｘ） Ａ
１ （〃）あるｘが理事長であって、そのｘが私でない。といふことはない。
１ （２）∀ｘ～（理事長ｘ＆～私ｘ） １量化子の関係
１ （３） ～（理事長ａ＆～私ａ） ２ＵＥ
１ （４） ～理事長ａ∨ 私ａ ３ド・モルガンの法則
１ （５） 私ａ∨～理事長ａ ４交換法則
１ （６） ～（～私ａ＆理事長ａ） ５ド・モルガンの法則
１ （７）∀ｘ～（～私ｘ＆理事長ｘ） ６ＵＩ
１ （８）～∃ｘ（～私ｘ＆理事長ｘ） ７量化子の関係
１ （９）あるｘが私でなくて、そのｘが理事長である。といふことはない。
（05）
１ （１）～∃ｘ（～私ｘ＆理事長ｘ） Ａ
１ （〃）あるｘが私でなくて、そのｘが理事長である。といふことはない。
１ （２）∀ｘ～（～私ｘ＆理事長ｘ） １量化子の関係
１ （３） ～（～私ａ＆理事長ａ） ２ＵＥ
４ （４） ～私ａ Ａ
５（５） 理事長ａ Ａ
４５（６） ～私ａ＆理事長ａ ４５＆Ｉ
１４５（７） ～（～私ａ＆理事長ａ）＆
（～私ａ＆理事長ａ） ３６＆Ｉ
１４ （８） ～理事長ａ ５７ＲＡＡ
１ （９） ～私ａ→～理事長ａ ４８ＣＰ
１ （ア）∀ｘ（～私ｘ→～理事長ｘ） ９ＵＩ
１ （イ）すべてのｘについて、ｘが私でないならば、ｘは理事長ではない。
（06）
１ （１）∀ｘ（～私ｘ→～理事長ｘ） Ａ
１ （〃）すべてのｘについて、ｘが私でないならば、ｘは理事長ではない。
１ （２） ～私ａ→～理事長ａ １ＵＥ
３ （３） ～私ａ＆ 理事長ａ Ａ
３ （４） ～私ａ ３＆Ｅ
１３ （５） ～理事長ａ ２４ＭＰＰ
３ （６） 理事長ａ ３＆Ｅ
１３ （７） ～理事長ａ＆理事長ａ ５６＆Ｉ
１ （８） ～（～私ａ＆ 理事長ａ） ２７ＲＡＡ
９ （９） 理事長ａ Ａ
ア（ア） ～私ａ Ａ
９ア（イ） ～私ａ＆ 理事長ａ ９ア
１ ９ア（ウ） ～（～私ａ＆ 理事長ａ）＆
（～私ａ＆ 理事長ａ） ８イ＆Ｉ
１ ９ （エ） ～～私ａ アウＲＡＡ
１ ９ （オ） 私ａ エＤＮ
１ （カ） 理事長ａ→私ａ ９オＣＰ
１ （キ）∀ｘ（理事長ｘ→私ｘ） カＵＩ
１ （〃）すべてのｘについて、ｘが理事長であるならば、ｘは私である。
従って、
（03）（04）（05）（06）により、
（07）
① ∀ｘ（ 理事長ｘ→ 私ｘ）
②～∃ｘ（ 理事長ｘ＆～私ｘ）
③～∃ｘ（～私ｘ＆ 理事長ｘ）
④ ∀ｘ（～私ｘ→～理事長ｘ）
に於いて、
① ならば、② であり、
② ならば、③ であり、
③ ならば、④ であって、
④ ならば、① である。
従って、
（07）により、
（08）
① ∀ｘ（ 理事長ｘ→ 私ｘ）
②～∃ｘ（ 理事長ｘ＆～私ｘ）
③～∃ｘ（～私ｘ＆ 理事長ｘ）
④ ∀ｘ（～私ｘ→～理事長ｘ）
に於いて、
①＝②＝③＝④ である。
従って、
（01）（02）（08）により、
（09）
① 理事長であるならば私である。
② 理事長であって私でない。といふことはない。
③ 私でなくて理事長である。といふことはない。
④ 私でないならば理事長ではない。
に於いて、「直観」として、
①＝②＝③＝④ であって、
尚且つ、「述語論理」としても、
①＝②＝③＝④ である。
然るに、
（10）
① 理事長であるならば私である。
④ 私でないならば理事長ではない。
といふことは、
① 理事長は私です。
④ 私以外は理事長ではない。
といふ、ことである。
従って、
（09）（10）により、
（11）
① 理事長は私です。
④ 私以外は理事長ではない。
といふ「対偶（Contraposition）」に於いて、
①＝④ である。
然るに、
（12）
①「私」は、「一人しかゐない。」
従って、
（12）により、
（13）
② 理事長は私です。
といふのであれば、
② 理事長は、一人（私）しかゐない。
従って、
（13）により、
（14）
② 理事長は私です。
といふのであれば、
③ 私以外は理事長ではない。
といふことは、固より、「当然」である。
然るに、
（15）
よく知られているように、「私が理事長です」は語順を変え、
理事長は、私です。
と直して初めて主辞賓辞が適用されのである。また、かりに大倉氏が、
タゴール記念会は、私が理事です。
と言ったとすれば、これは主辞「タゴール記念館」を品評するという心持ちの文である。
（三上章、日本語の論理、1963年、４０・４１頁）
従って、
（14）（15）により、
（16）
① 私が理事長です。
② 理事長は私です。
③ 私以外は理事長ではない。
に於いて、
①＝②＝③ である。
従って、
（17）
① 私が理事長です。
といふ「日本語」は、
③ 私以外は理事長ではない。
といふ、「意味」である。
然るに、
（18）
「三上章、日本語の論理、1963年」を読む限り、三上章先生は、
① 私が理事長です。
② 理事長は私です。
に於いて、
①＝② である。
といふことには、気付いてゐるものの、
① 私が理事長です。
③ 私以外は理事長ではない。
に於いて、
①＝③ である。
といふことに、気付いてゐない。
従って、
（19）
三上章先生は、
① 私が理事長です。
③ 私以外は理事長ではない。
に於いて、
①＝③ である。
といふことを「無視」した上で、
（ａ）私は 理事長です。 既知＋未知
（ｂ）私が 理事長です。 未知＋既知
未知＋既知は順序としては逆であるから、（ｂ）はひっくり返して（ｄ）に変えることができる。
（ｃ）理事長は 私です。 既知＋未知
こうして内蔵のハが文面に出てくる。この文は（ｂ）と同値である（三上章、日本語の論理、1963年、１０８頁改）。
といふ風に、述べてゐる。