（01）
③ ハンニバルは人間である。 といふのであれば、
④ ハンニバルといふ人間がゐる。といふことになる。
（02）
④ ハンニバルといふ人間がゐる。といふのであれば、
③ ハンニバルは人間である。 といふことになる。
従って、
（01）（02）により、
（03）
③ ハンニバルは人間である。
④ ハンニバルといふ人間がゐる。
に於いて、
③＝④である。
然るに、
（04）
たり（助動詞）タリ型〔格助詞「と」にラ変動詞「有り」の付いた「とあり」の転〕断定の意を表す。
なり（助動詞）ナリ型〔格助詞「に」にラ変動詞「有り」の付いた「にあり」の転〕断定の意を表す。
で‐あ・る［連語］《断定の助動詞「なり」の連用形「に」に接続助詞「て」、補助動詞「あり」の付いた「にてあり」の音変化》
（デジタル大辞泉の解説）
然るに、
（05）
Hannibal Poenus est.
Penus は「カルタゴ人」、est は、フランス語の est、英語の is にあたる語です。
この est（esse）は「・・・である」の他に、「・・・がいる」あるいは「・・・がある」を表す時にも用います。
（小倉博行、ラテン語のしくみ、2014年、３７頁改）
従って、
（03）（04）（05）により、
（06）
① ハンニバルは人間たり（と有り）。
② ハンニバルは人間なり（に有り）。
③ ハンニバルは人間である（にて有り）。
④ ハンニバルといふ人間がゐる。
⑤ ハンニバル 人間 ｅｓｔ.
に於いて、
①＝②＝③＝④＝⑤ である。
然るに、
（07）
存在記号（そんざいきごう、existential quantifier）とは、数理論理学（特に述語論理）において、少なくとも1つのメンバーが述語の特性や関係を満たすことを表す記号である。通常「∃」と表記され、存在量化子（そんざいりょうかし）、存在限量子（そんざいげんりょうし）、存在限定子（そんざいげんていし）などとも呼ばれる。
（ウィキペディア）
従って、
（07）により、
（08）
⑥ ∃ｘ（ハンニバルｘ＆人間ｘ）＝
⑥ 有るｘは、ハンニバルであって、人間である。
といふ風に、「読むこと」が出来る。
然るに、
（09）
⑥ あるｘは、ハンニバルであって、人間である。
といふことは、
④ ハンニバルといふ人間がゐる。
といふ、ことである。
従って、
（06）～（09）により
（10）
① ハンニバルは人間たり（と有り）。
② ハンニバルは人間なり（に有り）。
③ ハンニバルは人間である（にて有り）。
④ ハンニバルといふ人間がゐる。
⑤ ハンニバル 人間 ｅｓｔ.
⑥ ∃ｘ（ハンニバルｘ＆人間ｘ）
に於いて、
①＝②＝③＝④＝⑤＝⑥ である。
従って、
（10）により、
（11）
① ハンニバルは人間である。
といふ「日本語」は、
① ∃ｘ（ハンニバルｘ＆人間ｘ）。
といふ「述語論理」に、「翻訳」される。
従って、
（11）により、
（12）
② 吾輩は猫である。
といふ「日本語」は、
② ∃ｘ（吾輩ｘ＆猫ｘ）。
といふ「述語論理」に、「翻訳」される。
然るに、
（13）
② ∃ｘ｛吾輩ｘ＆猫ｘ＆～∃ｙ（名前ｙｘ）｝。
といふ「述語論理」は、
② あるｘは、吾輩であって猫であって、あるｙが、ｘの名前であるといふことはない。
といふ「意味」である。
従って、
（14）
② ∃ｘ｛吾輩ｘ＆猫ｘ＆～∃ｙ（名前ｙｘ）｝。
といふ「述語論理」は、
② 吾輩は猫であり、吾輩には名前がない。
といふ、「意味」である。
然るに、
（15）
③ ∃ｘ｛タマｘ＆∃ｙ（名前ｙｘ）｝
といふ「述語論理」は、
③ あるｘは、タマであって、あるｙは、ｘの名前である。
といふ、「意味」である。
従って、
（16）
③ ∃ｘ｛タマｘ＆∃ｙ（名前ｙｘ）｝
といふ「述語論理」は、
③ タマには名前がある。
といふ「意味」である。
然るに、
（17）
１ （１） ∃ｘ｛吾輩ｘ＆猫ｘ＆ ～∃ｙ（名前ｙｘ）｝ Ａ
２ （２） 吾輩ａ＆猫ａ＆ ～∃ｙ（名前ｙａ） Ａ
２ （３） 吾輩ａ ２＆Ｅ
２ （４） 猫ａ ２＆Ｅ
２ （５） ～∃ｙ（名前ｙａ） ２＆Ｅ
６ （６） ∃ｘ｛タマｘ＆ ∃ｙ（名前ｙｘ） Ａ
７（７） タマａ＆ ∃ｙ（名前ｙａ） Ａ
７（８） タマａ＆ ７＆Ｅ
７（９） ∃ｙ（名前ｙａ） ７＆Ｅ
２ ７（ア） ～∃ｙ（名前ｙａ）＆∃ｙ（名前ｙａ） ５９＆Ｉ
２６ （イ） ～∃ｙ（名前ｙａ）＆∃ｙ（名前ｙａ） ６７アＥＥ
２ （ウ）～∃ｘ｛タマｘ＆ ∃ｙ（名前ｙｘ）｝ ６イＲＡＡ
２ （エ）∀ｘ～｛タマｘ＆ ∃ｙ（名前ｙｘ）｝ ウ量化子の関係
２ （オ） ～｛タマａ＆ ∃ｙ（名前ｙａ）｝ エＵＥ
２ （カ） ～タマａ∨ ～∃ｙ（名前ｙａ） オ、ドモルガンの法則
２ （キ） ～∃ｙ（名前ｙａ）∨～タマａ カ交換法則
２ （ク） ∃ｙ（名前ｙａ）→～タマａ キ含意の定義
２ ７（ケ） ～タマａ ９クＭＰＰ
２ ７（コ） 吾輩ａ＆～タマａ ３ケ＆Ｉ
２ ７（サ） 吾輩ａ＆～タマａ＆猫ａ ４コ＆Ｉ
２ ７（シ） ∃ｘ（吾輩ｘ＆～タマｘ＆猫ｘ） サＥＩ
２６ （ス） ∃ｘ（吾輩ｘ＆～タマｘ＆猫ｘ） ６７シＥＥ
１ ６ （セ） ∃ｘ（吾輩ｘ＆～タマｘ＆猫ｘ） １２スＥＥ
然るに、
（18）
④ ∃ｘ（吾輩ｘ＆～タマｘ＆猫ｘ）
といふ「述語論理」は、
④ あるｘは、吾輩であって、タマではなく、猫である。
従って、
（14）～（18）により、
（19）
「吾輩は猫であるが、名前は無い。然るに、タマには名前がある。故に、吾輩はタマではないが、猫である。」
といふ「推論」は「正しい」。
然るに、
（20）
第１に、固有名詞をつぎの符号のひとつとして定義する。
ｍ，ｎ，・・・・・
第２に、任意の名前をつぎの符号のひとつとして定義する。
ａ，ｂ，ｃ，・・・・・
第３に、個体変数をつぎの符号のひとつとして定義する。
ｘ，ｙ，ｚ，・・・・・
第４に、述語文字をつぎの符号のひとつとして定義する。
Ｆ，Ｇ，Ｈ，・・・・・
（E.J.レモン 著、竹尾治一郎・浅野楢英 訳、論理学初歩、1973年、１７６頁）
従って、
（19）（20）により、
（21）
「タマには、タマといふ名前が有る。」として、「E.J.レモン 著、論理学初歩」の「やり方」に従ふのであれば、
③ ∃ｘ｛タマｘ＆∃ｙ（名前ｙｘ）｝
といふ「述語論理」は、
③ ∃ｙ（名前ｙｍ）＝
③ あるｙはｍ（タマ）の名前である。
といふ風に、「書き換へ」る「必要」が有る。
然るに、
（22）
タマ＝ｍ
とした上で、（17）を「書き換へ」ると、次のやうになる。
（23）
１ （１）∃ｘ｛吾輩ｘ＆猫ｘ＆～∃ｙ（名前ｙｘ）｝ Ａ
２ （２） 吾輩ａ＆猫ａ＆～∃ｙ（名前ｙａ） Ａ
２ （３） 吾輩ａ ２＆Ｅ
２ （４） 猫ａ ２＆Ｅ
２ （５） ～∃ｙ（名前ｙａ） ２＆Ｅ
２ （６） ∀ｙ～（名前ｙａ） ５量化子の関係
２ （７） ～（名前ｂａ） ６ＵＥ
８ （８） ∃ｙ（名前ｙｍ） Ａ
９ （９） （名前ｂｍ） Ａ
ア（ア） ａ＝ｍ Ａ
９ア（イ） （名前ｂａ） ９ア＝Ｅ
２ ９ア（ウ） ～（名前ｂａ）＆（名前ｂａ） ７イ＆Ｉ
２ ９ （エ） ～（ａ＝ｍ） アウＲＡＡ
２８ （オ） ～（ａ＝ｍ） ８９ＥＥ
１ ８ （カ） ～（ａ＝ｍ） １２オＥＥ
１２８ （キ） 吾輩ａ＆～（ａ＝ｍ） ３カ＆Ｉ
１２８ （ク） 吾輩ａ＆～（ａ＝ｍ）＆猫ａ ３キ＆Ｉ
１２８ （ケ）∃ｘ｛吾輩ｘ＆～（ｘ＝ｍ）＆猫ｘ｝ クＥＩ
１ ８ （コ）∃ｘ｛吾輩ｘ＆～（ｘ＝ｍ）＆猫ｘ｝ １２ケＥＥ
然るに、
（22）（23）により、
（24）
∃ｘ｛吾輩ｘ＆猫ｘ＆～∃ｙ（名前ｙｘ）｝＝あるｘは、吾輩であって猫であって、あるｙがｘの名前であるといふことはない。
∃ｙ（名前ｙｍ） ＝あるｙはタマの名前である（タマにはタマといふ名前がある）。
∃ｘ｛吾輩ｘ＆～（ｘ＝ｍ）＆猫ｘ｝ ＝あるｘは、吾輩であって、 タマではないが猫である。
従って、
（20）～（24）により、
（25）
「吾輩は猫であるが、名前は無い。然るに、タマには名前がある。故に、吾輩はタマではないが、猫である。」
といふ「推論」は「正しい」。
従って、
（17）（19）（23）（25）により、
（26）
「吾輩とタマ」の両方を、「普通名詞」として扱ふ場合も、
「吾輩」を「普通名詞」として、「タマ」を「固有名詞」として扱ふ場合も、
「吾輩は猫であるが、名前は無い。然るに、タマには名前がある。故に、吾輩はタマではないが、猫である。」
といふ「論証」は、「述語論理」として「妥当（Valid）」である。
③ ハンニバルは人間である。 といふのであれば、
④ ハンニバルといふ人間がゐる。といふことになる。
（02）
④ ハンニバルといふ人間がゐる。といふのであれば、
③ ハンニバルは人間である。 といふことになる。
従って、
（01）（02）により、
（03）
③ ハンニバルは人間である。
④ ハンニバルといふ人間がゐる。
に於いて、
③＝④である。
然るに、
（04）
たり（助動詞）タリ型〔格助詞「と」にラ変動詞「有り」の付いた「とあり」の転〕断定の意を表す。
なり（助動詞）ナリ型〔格助詞「に」にラ変動詞「有り」の付いた「にあり」の転〕断定の意を表す。
で‐あ・る［連語］《断定の助動詞「なり」の連用形「に」に接続助詞「て」、補助動詞「あり」の付いた「にてあり」の音変化》
（デジタル大辞泉の解説）
然るに、
（05）
Hannibal Poenus est.
Penus は「カルタゴ人」、est は、フランス語の est、英語の is にあたる語です。
この est（esse）は「・・・である」の他に、「・・・がいる」あるいは「・・・がある」を表す時にも用います。
（小倉博行、ラテン語のしくみ、2014年、３７頁改）
従って、
（03）（04）（05）により、
（06）
① ハンニバルは人間たり（と有り）。
② ハンニバルは人間なり（に有り）。
③ ハンニバルは人間である（にて有り）。
④ ハンニバルといふ人間がゐる。
⑤ ハンニバル 人間 ｅｓｔ.
に於いて、
①＝②＝③＝④＝⑤ である。
然るに、
（07）
存在記号（そんざいきごう、existential quantifier）とは、数理論理学（特に述語論理）において、少なくとも1つのメンバーが述語の特性や関係を満たすことを表す記号である。通常「∃」と表記され、存在量化子（そんざいりょうかし）、存在限量子（そんざいげんりょうし）、存在限定子（そんざいげんていし）などとも呼ばれる。
（ウィキペディア）
従って、
（07）により、
（08）
⑥ ∃ｘ（ハンニバルｘ＆人間ｘ）＝
⑥ 有るｘは、ハンニバルであって、人間である。
といふ風に、「読むこと」が出来る。
然るに、
（09）
⑥ あるｘは、ハンニバルであって、人間である。
といふことは、
④ ハンニバルといふ人間がゐる。
といふ、ことである。
従って、
（06）～（09）により
（10）
① ハンニバルは人間たり（と有り）。
② ハンニバルは人間なり（に有り）。
③ ハンニバルは人間である（にて有り）。
④ ハンニバルといふ人間がゐる。
⑤ ハンニバル 人間 ｅｓｔ.
⑥ ∃ｘ（ハンニバルｘ＆人間ｘ）
に於いて、
①＝②＝③＝④＝⑤＝⑥ である。
従って、
（10）により、
（11）
① ハンニバルは人間である。
といふ「日本語」は、
① ∃ｘ（ハンニバルｘ＆人間ｘ）。
といふ「述語論理」に、「翻訳」される。
従って、
（11）により、
（12）
② 吾輩は猫である。
といふ「日本語」は、
② ∃ｘ（吾輩ｘ＆猫ｘ）。
といふ「述語論理」に、「翻訳」される。
然るに、
（13）
② ∃ｘ｛吾輩ｘ＆猫ｘ＆～∃ｙ（名前ｙｘ）｝。
といふ「述語論理」は、
② あるｘは、吾輩であって猫であって、あるｙが、ｘの名前であるといふことはない。
といふ「意味」である。
従って、
（14）
② ∃ｘ｛吾輩ｘ＆猫ｘ＆～∃ｙ（名前ｙｘ）｝。
といふ「述語論理」は、
② 吾輩は猫であり、吾輩には名前がない。
といふ、「意味」である。
然るに、
（15）
③ ∃ｘ｛タマｘ＆∃ｙ（名前ｙｘ）｝
といふ「述語論理」は、
③ あるｘは、タマであって、あるｙは、ｘの名前である。
といふ、「意味」である。
従って、
（16）
③ ∃ｘ｛タマｘ＆∃ｙ（名前ｙｘ）｝
といふ「述語論理」は、
③ タマには名前がある。
といふ「意味」である。
然るに、
（17）
１ （１） ∃ｘ｛吾輩ｘ＆猫ｘ＆ ～∃ｙ（名前ｙｘ）｝ Ａ
２ （２） 吾輩ａ＆猫ａ＆ ～∃ｙ（名前ｙａ） Ａ
２ （３） 吾輩ａ ２＆Ｅ
２ （４） 猫ａ ２＆Ｅ
２ （５） ～∃ｙ（名前ｙａ） ２＆Ｅ
６ （６） ∃ｘ｛タマｘ＆ ∃ｙ（名前ｙｘ） Ａ
７（７） タマａ＆ ∃ｙ（名前ｙａ） Ａ
７（８） タマａ＆ ７＆Ｅ
７（９） ∃ｙ（名前ｙａ） ７＆Ｅ
２ ７（ア） ～∃ｙ（名前ｙａ）＆∃ｙ（名前ｙａ） ５９＆Ｉ
２６ （イ） ～∃ｙ（名前ｙａ）＆∃ｙ（名前ｙａ） ６７アＥＥ
２ （ウ）～∃ｘ｛タマｘ＆ ∃ｙ（名前ｙｘ）｝ ６イＲＡＡ
２ （エ）∀ｘ～｛タマｘ＆ ∃ｙ（名前ｙｘ）｝ ウ量化子の関係
２ （オ） ～｛タマａ＆ ∃ｙ（名前ｙａ）｝ エＵＥ
２ （カ） ～タマａ∨ ～∃ｙ（名前ｙａ） オ、ドモルガンの法則
２ （キ） ～∃ｙ（名前ｙａ）∨～タマａ カ交換法則
２ （ク） ∃ｙ（名前ｙａ）→～タマａ キ含意の定義
２ ７（ケ） ～タマａ ９クＭＰＰ
２ ７（コ） 吾輩ａ＆～タマａ ３ケ＆Ｉ
２ ７（サ） 吾輩ａ＆～タマａ＆猫ａ ４コ＆Ｉ
２ ７（シ） ∃ｘ（吾輩ｘ＆～タマｘ＆猫ｘ） サＥＩ
２６ （ス） ∃ｘ（吾輩ｘ＆～タマｘ＆猫ｘ） ６７シＥＥ
１ ６ （セ） ∃ｘ（吾輩ｘ＆～タマｘ＆猫ｘ） １２スＥＥ
然るに、
（18）
④ ∃ｘ（吾輩ｘ＆～タマｘ＆猫ｘ）
といふ「述語論理」は、
④ あるｘは、吾輩であって、タマではなく、猫である。
従って、
（14）～（18）により、
（19）
「吾輩は猫であるが、名前は無い。然るに、タマには名前がある。故に、吾輩はタマではないが、猫である。」
といふ「推論」は「正しい」。
然るに、
（20）
第１に、固有名詞をつぎの符号のひとつとして定義する。
ｍ，ｎ，・・・・・
第２に、任意の名前をつぎの符号のひとつとして定義する。
ａ，ｂ，ｃ，・・・・・
第３に、個体変数をつぎの符号のひとつとして定義する。
ｘ，ｙ，ｚ，・・・・・
第４に、述語文字をつぎの符号のひとつとして定義する。
Ｆ，Ｇ，Ｈ，・・・・・
（E.J.レモン 著、竹尾治一郎・浅野楢英 訳、論理学初歩、1973年、１７６頁）
従って、
（19）（20）により、
（21）
「タマには、タマといふ名前が有る。」として、「E.J.レモン 著、論理学初歩」の「やり方」に従ふのであれば、
③ ∃ｘ｛タマｘ＆∃ｙ（名前ｙｘ）｝
といふ「述語論理」は、
③ ∃ｙ（名前ｙｍ）＝
③ あるｙはｍ（タマ）の名前である。
といふ風に、「書き換へ」る「必要」が有る。
然るに、
（22）
タマ＝ｍ
とした上で、（17）を「書き換へ」ると、次のやうになる。
（23）
１ （１）∃ｘ｛吾輩ｘ＆猫ｘ＆～∃ｙ（名前ｙｘ）｝ Ａ
２ （２） 吾輩ａ＆猫ａ＆～∃ｙ（名前ｙａ） Ａ
２ （３） 吾輩ａ ２＆Ｅ
２ （４） 猫ａ ２＆Ｅ
２ （５） ～∃ｙ（名前ｙａ） ２＆Ｅ
２ （６） ∀ｙ～（名前ｙａ） ５量化子の関係
２ （７） ～（名前ｂａ） ６ＵＥ
８ （８） ∃ｙ（名前ｙｍ） Ａ
９ （９） （名前ｂｍ） Ａ
ア（ア） ａ＝ｍ Ａ
９ア（イ） （名前ｂａ） ９ア＝Ｅ
２ ９ア（ウ） ～（名前ｂａ）＆（名前ｂａ） ７イ＆Ｉ
２ ９ （エ） ～（ａ＝ｍ） アウＲＡＡ
２８ （オ） ～（ａ＝ｍ） ８９ＥＥ
１ ８ （カ） ～（ａ＝ｍ） １２オＥＥ
１２８ （キ） 吾輩ａ＆～（ａ＝ｍ） ３カ＆Ｉ
１２８ （ク） 吾輩ａ＆～（ａ＝ｍ）＆猫ａ ３キ＆Ｉ
１２８ （ケ）∃ｘ｛吾輩ｘ＆～（ｘ＝ｍ）＆猫ｘ｝ クＥＩ
１ ８ （コ）∃ｘ｛吾輩ｘ＆～（ｘ＝ｍ）＆猫ｘ｝ １２ケＥＥ
然るに、
（22）（23）により、
（24）
∃ｘ｛吾輩ｘ＆猫ｘ＆～∃ｙ（名前ｙｘ）｝＝あるｘは、吾輩であって猫であって、あるｙがｘの名前であるといふことはない。
∃ｙ（名前ｙｍ） ＝あるｙはタマの名前である（タマにはタマといふ名前がある）。
∃ｘ｛吾輩ｘ＆～（ｘ＝ｍ）＆猫ｘ｝ ＝あるｘは、吾輩であって、 タマではないが猫である。
従って、
（20）～（24）により、
（25）
「吾輩は猫であるが、名前は無い。然るに、タマには名前がある。故に、吾輩はタマではないが、猫である。」
といふ「推論」は「正しい」。
従って、
（17）（19）（23）（25）により、
（26）
「吾輩とタマ」の両方を、「普通名詞」として扱ふ場合も、
「吾輩」を「普通名詞」として、「タマ」を「固有名詞」として扱ふ場合も、
「吾輩は猫であるが、名前は無い。然るに、タマには名前がある。故に、吾輩はタマではないが、猫である。」
といふ「論証」は、「述語論理」として「妥当（Valid）」である。