（1285）「私が理事長です（理事長は私です）。」の「述語論理」。

（01）
「私」は、「私」だけである。
従って、
（01）により、
（02）
「私」以外は、「私」ではない。
従って、
（02）により、
（03）
① 理事長は私です。
と言ふのであれば、
② 私以外に理事長はゐない。
然るに、
（04）
よく知られているように、「私が理事長です」は語順を変え、
　理事長は、私です。
と直して初めて主辞賓辞が適用されるのである。また、かりに大倉氏が、
　タゴール記念会は、私が理事長です。
と言ったとすれば、これは主辞「タゴール記念会」を品評するという心持ちの文である。
（三上章、日本語の論理、1963年、４０・４１頁）
従って、
（03）（04）により、
（05）
① タゴール記念会は、理事長は私です。
② タゴール記念会は、私以外に理事長はゐない。
③ タゴール記念会は、私が理事長です。
に於いて、
①＝②＝③ である。
然るに、
（06）
１　　　　　（１）∀ｘ｛Ｔ会の会員ｘ→∃ｙ［私ｙ＆理事長ｙｘ＆∀ｚ（理事長ｚｘ→ｙ＝ｚ）］｝　Ａ
１　　　　　（２）　　　Ｔ会の会員ａ→∃ｙ［私ｙ＆理事長ｙａ＆∀ｚ（理事長ｚａ→ｙ＝ｚ）］　　１ＵＥ
　３　　　　（３）　　　Ｔ会の会員ａ　　　　　　　　　　　　　　　　　　　　　　　　　　　　　Ａ
１３　　　　（４）　　　　　　　　　　∃ｙ［私ｙ＆理事長ｙａ＆∀ｚ（理事長ｚａ→ｙ＝ｚ）］　　２３ＭＰＰ
　　５　　　（５）　　　　　　　　　　　　　私ｂ＆理事長ｂａ＆∀ｚ（理事長ｚａ→ｂ＝ｚ）　　　Ａ
　　５　　　（６）　　　　　　　　　　　　　私ｂ＆理事長ｂａ　　　　　　　　　　　　　　　　　５＆Ｅ
　　５　　　（７）　　　　　　　　　　　　　　　　　　　　　　∀ｚ（理事長ｚａ→ｂ＝ｚ）　　　５＆Ｅ
　　５　　　（８）　　　　　　　　　　　　　　　　　　　　　　　　　理事長ｃａ→ｂ＝ｃ　　　　７ＵＥ
　　　９　　（９）　　　　　∃ｚ（小倉ｚ＆～私ｚ）　　　　　　　　　　　　　　　　　　　　　　Ａ
　　　　ア　（ア）　　　　　　　　小倉ｃ＆～私ｃ　　　　　　　　　　　　　　　　　　　　　　　Ａ
　　　　ア　（イ）　　　　　　　　小倉ｃ　　　　　　　　　　　　　　　　　　　　　　　　　　　ア＆Ｅ
　　　　ア　（ウ）　　　　　　　　　　　　～私ｃ　　　　　　　　　　　　　　　　　　　　　　　ア＆Ｅ
　　　　　エ（エ）　　　　　　　　　　　 　　 ｂ＝ｃ　　　　　　　　　　　　　　　　　　　　　Ａ
　　　　アエ（オ）　　　　　　　　　　　　～私ｂ　　　　　　　　　　　　　　　　　　　　　　　ウエ＝Ｅ
　　５　　　（カ）　　　　　　　　　　　　　私ｂ　　　　　　　　　　　　　　　　　　　　　　　６＆Ｅ
　　５　アエ（キ）　　　　　　　　　　　　～私ｂ＆私ｂ　　　　　　　　　　　　　　　　　　　　オカ＆Ｉ
　　５　ア　（ク）　　　　　　　　　　　　　　ｂ≠ｃ　　　　　　　　　　　　　　　　　　　　　エキＲＡＡ
　　５　ア　（ケ）　　　　　　　　　　　　　　　　　　　　　　　　～理事長ｃａ　　　　　　　　８クＭＴＴ
　　５　ア　（コ）　　　　　　　　小倉ｃ＆～理事長ｃａ　　　　　　　　　　　　　　　　　　　　イケ＆Ｉ
　　５　ア　（サ）　　　　　∃ｚ（小倉ｚ＆～理事長ｚａ）　　　　　　　　　　　　　　　　　　　コＥＩ
　　５９　　（シ）　　　　　∃ｚ（小倉ｚ＆～理事長ｚａ）　　　　　　　　　　　　　　　　　　　９アサＥＥ
１３　９　　（ス）　　　　　∃ｚ（小倉ｚ＆～理事長ｚａ）　　　　　　　　　　　　　　　　　　　４５シＥＥ
１　　９　　（セ）　　　Ｔ会の会員ａ→∃ｚ（小倉ｚ＆～理事長ｚａ）　　　　　　　　　　　　　　３スＣＰ
１　　９　　（ソ）∀ｘ｛Ｔ会の会員ｘ→∃ｚ（小倉ｚ＆～理事長ｚｘ）｝　　　　　　　　　　　　　セＵＩ
従って、
（05）（06）により、
（07）
（ⅰ）∀ｘ｛Ｔ会の会員ｘ→∃ｙ［私ｙ＆理事長ｙｘ＆∀ｚ（理事長ｚｘ→ｙ＝ｚ）］｝。然るに、
（ⅱ）∃ｚ（小倉ｚ＆～私ｚ）。従って、
（ⅲ）∀ｘ｛Ｔ会の会員ｘ→∃ｚ（小倉ｚ＆～理事長ｚｘ）｝。
といふ「推論」、すなはち、
（ⅰ）すべてのｘについて｛ｘがタゴール記念会の会員であるならば、あるｙは［私であって、理事長であって、すべてのｚについて（ｚがｘの理事長であるならば、ｙ＝ｚである）］｝。然るに、
（ⅱ）あるｚは（小倉であって、私ではない）。従って、
（ⅲ）すべてのｘについて｛ｘがタゴール記念会の会員であるならば、あるｚは（小倉であって、小倉はｘの理事長ではない）｝。
といふ「推論」、すなはち、
（ⅰ）タゴール記念会は、私が理事長です。然るに、
（ⅱ）小倉氏は私ではない。従って、
（ⅲ）タゴール記念会は、小倉氏は理事長ではない。
といふ「推論」は、「妥当」である。
従って、
（05）（07）により、
（08）
① タゴール記念会は、理事長は私です。
② タゴール記念会は、私以外に理事長はゐない。
③ タゴール記念会は、私が理事長です。
④ ∀ｘ｛Ｔ会の会員ｘ→∃ｙ［私ｙ＆理事長ｙｘ＆∀ｚ（理事長ｚｘ→ｙ＝ｚ）］｝。
に於いて、
①＝②＝③＝④ である。
然るに、
（09）
④ ∀ｘ｛Ｔ会の会員ｘ→∃ｙ［私ｙ＆理事長ｙｘ＆∀ｚ（理事長ｚｘ→ｙ＝ｚ）］｝。
といふことは、
④ 私∈タゴール記念会の理事長。
ではなく、
④ 私＝タゴール記念会の理事長。
といふことである。
然るに、
（10）
「理事長」でなく、
「理事」は「一人だけ」ではなく、「二人以上ゐる」とするならば、
⑤ 私は理事です。
とは言へても、
④ 私が理事です。
とは、言へない。
然るに、
（11）
「理事」は「一人だけ」ではなく、 「理事」は「二人以上ゐる」とするならば、
⑤ 私∈理事。
であったとしても、
④ 私＝理事。
ではない。
従って、
（08）～（11）により、
（12）
① タゴール記念会は、理事長は私です。
② タゴール記念会は、私以外に理事長はゐない。
③ タゴール記念会は、私が理事長です。
といふ「日本語」は、
④ タゴール記念会の理事長＝私。
④ 私＝タゴール記念会の理事長。
といふ「等式」が「真（本当）」である。
といふことを、「示している」。
従って、
（13）
④ 私＝タゴール記念会の理事長。
④ タゴール記念会の理事長＝私。
といふ「等式」が「真（本当）」である。
といふことを、「示したい」場合には、
① タゴール記念会は、理事長は私です。
② タゴール記念会は、私以外に理事長はゐない。
③ タゴール記念会は、私が理事長です。
といふ風に、言ふことになる。
従って、
（01）～（13）により、
（14）
① 私はＡです（私∈Ａ）。
② 私はＡです（私＝Ａ）。
といふ「２通リ」があって、
② 私はＡです（私＝Ａ）。
である場合に、
② 私＝Ａ
といふ「等式」を「強調（確認）」したい場合であれば、
① 私はＡです。
とは言はずに、
② 私がＡです（Ａは私です）。
といふ風に、言ふことになる。