理事長は私です。⇔ 私以外は理事長ではない。

（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年、１０８頁改）。
といふ風に、述べてゐる。
令和元年０８月１３日、毛利太。