（110）「象が鼻は長い。」⇒「ピーターの鼻は長くない。」

（01）
「３月１１日の記事（３）」＝「述語論理」に基づく、「象は鼻が長い。ぼくはウナギだ。こんにゃくは太らない。」の「主題は」と「二重主語」について。
を読み直したのですが、そちらにも、目を通して貰へれば、嬉しく思ひます。
然るに、
（02）
｛象、兎、犬、馬｝であるならば、
象の鼻は長い。
兎の鼻は長くない。
犬の鼻は長くない。
馬の鼻は長くない。
従って、
（02）により、
（03）
｛象、兎、犬、馬｝であるならば、
象の鼻が長い。
然るに、
（04）
① 象の鼻が長い。
② 象が鼻は長い。
に於いて、
①＝② である。とする。
従って、
（04）により、
（05）
象が鼻は長い。
といふ「日本語」は、
象以外の鼻は長くない。
といふ「意味」である。
然るに、
（06）
象以外の鼻は長くない。
といふ「日本語」は、
∀ｘ｛～象ｘ→～∃ｙ（鼻ｙｘ＆長ｙ）｝＝すべてのｘについて、ｘが象でないならば、あるｙがｘの鼻であって、そのｙが長い、といふことはない。
といふ「述語論理」に、対応する。
従って、
（05）（06）により、
（07）
（１）象が鼻は長い。
といふ「日本語」は、
（１）∀ｘ｛～象ｘ→～∃ｙ（鼻ｙｘ＆長ｙ）｝＝すべてのｘについて、ｘが象でないならば、あるｙがｘの鼻であって、そのｙが長い、といふことはない。
といふ「述語論理」に、対応する。
然るに、
（08）
（２）ピーターは兎である。
といふ「日本語」は、
（２）∃ｘ（Ｐｘ＆兎ｘ）＝あるｘはピーターと言ひ、そのｘは兎である。
といふ「述語論理」に対応する。
然るに、
（09）
（３）兎は象ではない。
といふ「日本語」は、
（３）∀ｘ（兎ｘ→～象ｘ）＝すべてのｘについて、ｘが兎であるならば、ｘは象ではない。
といふ「述語論理」に対応する。
然るに、
（10）
１　　　（１）　　　∀ｘ｛～象ｘ→～∃ｙ（鼻ｙｘ＆長ｙ）｝　Ａ
　２　　（２）　　　∃ｘ（Ｐｘ＆兎ｘ）　　　　　　　　　　　Ａ
　　３　（３）　　　∀ｘ（兎ｘ→～象ｘ）　　　　　　　　　　Ａ
１　　　（４）　　　　　　～象ａ→～∃ｙ（鼻ｙａ＆長ｙ）　　１ＵＥ
　　　５（５）　　　　　　Ｐａ＆兎ａ　　　　　　　　　　　　Ａ　　　
　　３　（６）　　　　　　兎ａ→～象ａ　　　　　　　　　　　３ＵＥ
　　　　（７）　　　　　　兎ａ　　　　　　　　　　　　　　　５＆Ｅ
　　３５（８）　　　　　～象ａ　　　　　　　　　　　　　　　６７ＭＰＰ
１　３５（９）　　　　　　　　　～∃ｙ（鼻ｙａ＆長ｙ）　　　４８ＭＰＰ
１　３５（ア）　　　　　　　　　∀ｙ～（鼻ｙａ＆長ｙ）　　　６量化子の関係
１　３５（イ）　　　　　　　　　　　～（鼻ｂａ＆長ｂ）　　　アＵＥ
１　３５（ウ）　　　　　　　　　　　～鼻ｂａ∨～長ｂ　　　　イ、ド・モルガンの法則
１　３５（エ）　　　　　　　　　　　　鼻ｂａ→～長ｂ　　　　ウ含意の定義
１　３５（オ）　　　　　　　　　∃ｙ（鼻ｙａ→～長ｙ）　　　エＥＩ
１２３　（カ）　　　　　　　　　∃ｙ（鼻ｙａ→～長ｙ）　　　２５オＥＥ
１２３５（キ）　　　Ｐａ＆兎ａ＆∃ｙ（鼻ｙａ→～長ｙ）　　　５カ＆Ｉ
１２３５（ク）∃ｘ｛Ｐｘ＆兎ｘ＆∃ｙ（鼻ｙｘ→～長ｙ）｝　　キＥＩ
１２３　（ケ）∃ｘ｛Ｐｘ＆兎ｘ＆∃ｙ（鼻ｙｘ→～長ｙ）｝　　２５クＥＥ
１２３　（〃）あるｘはピーターと言ひ、そのｘは兎であり、あるｙがｘの鼻であるならば、ｙは長くない。　２５クＥＥ
１２３　（〃）ピーターラビットの鼻は、長くない。　　　　　　２５クＥＥ
従って、
（01）～（10）により、
（11）
（１）象が鼻は長い。
（２）ピーターは兎である。
（３）兎は象ではない。
（４）ピーターといふ兎の鼻は長くない。
（〃）ピーターラビットの鼻は長くない。
といふ「推論」は、「日本語」としても、「述語論理」としても、「妥当（Valid）」である。