「富岳は富士山である」の「述語論理」。

（01）
１　　　（１）　　∀ｘ｛日本の山ｘ→∃ｙ［富士山ｙ＆最高峰ｙｘ＆∀ｚ（最高峰ｚｘ→ｚ＝ｙ）］｝　Ａ
　２　　（２）∃ｚ∀ｘ（富岳ｚ＆日本の山ｘ＆最高峰ｚｘ）　　　　　　　　　　　　　　　　　　　　Ａ
１　　　（３）　　　　　日本の山ａ→∃ｙ［富士山ｙ＆最高峰ｙａ＆∀ｚ（最高峰ｚａ→ｚ＝ｙ）］　　１ＵＥ
　　４　（４）　　∀ｘ（富岳ｃ＆日本の山ｘ＆最高峰ｃｘ）　　　　　　　　　　　　　　　　　　　　Ａ
　　４　（５）　　　　　富岳ｃ＆日本の山ａ＆最高峰ｃａ　　　　　　　　　　　　　　　　　　　　　４ＵＥ
　　４　（６）　　　　　富岳ｃ　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　５＆Ｅ
　　４　（７）　　　　　　　　　日本の山ａ　　　　　　　　　　　　　　　　　　　　　　　　　　　５＆Ｅ
　　４　（８）　　　　　　　　　　　　　　　最高峰ｃａ　　　　　　　　　　　　　　　　　　　　　５＆Ｅ
１　４　（９）　　　　　　　　　　　∃ｙ［富士山ｙ＆最高峰ｙａ＆∀ｚ（最高峰ｚａ→ｚ＝ｙ）］　　３７ＭＰＰ
　　　ア（ア）　　　　　　　　　　　　　　富士山ｂ＆最高峰ｂａ＆∀ｚ（最高峰ｚａ→ｚ＝ｂ）　　　Ａ
　　　ア（イ）　　　　　　　　　　　　　　富士山ｂ　　　　　　　　　　　　　　　　　　　　　　　ア＆Ｅ
　　　ア（ウ）　　　　　　　　　　　　　　　　　　　　　　　　　∀ｚ（最高峰ｚａ→ｚ＝ｂ）　　　ア＆Ｅ
　　　ア（エ）　　　　　　　　　　　　　　　　　　　　　　　　　　　　最高峰ｃａ→ｃ＝ｂ　　　　ウＵＥ
　　４ア（オ）　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　ｃ＝ｂ　　　　８エＭＰＰ
　　４ア（カ）　　　　　富岳ｂ　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　６オ＝ＥＥ
　　４ア（キ）　　　　　富岳ｂ＆富士山ｂ　　　　　　　　　　　　　　　　　　　　　　　　　　　　イカ＆Ｉ
　　４ア（ク）　　∃ｙ（富岳ｙ＆富士山ｙ）　　　　　　　　　　　　　　　　　　　　　　　　　　　キＥＩ
１　４　（ケ）　　∃ｙ（富岳ｙ＆富士山ｙ）　　　　　　　　　　　　　　　　　　　　　　　　　　　９アクＥＥ
１２　　（コ）　　∃ｙ（富岳ｙ＆富士山ｙ）　　　　　　　　　　　　　　　　　　　　　　　　　　　２４ケＥＥ
従って、
（01）により、
（02）
（ⅰ）　　∀ｘ｛日本の山ｘ→∃ｙ［富士山ｙ＆最高峰ｙｘ＆∀ｚ（最高峰ｚｘ→ｚ＝ｙ）］｝。然るに、
（ⅱ）∃ｚ∀ｘ（富岳ｚ＆日本の山ｘ＆最高峰ｚｘ）。従って、
（ⅲ）　　∃ｙ（富岳ｙ＆富士山ｙ）。
といふ「推論」、すなはち、
（ⅰ）　　　　すべてのｘについて｛ｘが日本の山ならば、あるｙは［富士山であって、ｘの最高峰であって、すべてのｚについて（ｚがｘの最高峰であるならば、ｚとｙは「同一」である）］｝。
（ⅱ）あるｚとすべてのｘについて（ｚは富岳であって、ｘは日本の山であって、ｚはｘの最高峰）である。従って、
（ⅲ）　　　　　　　　　あるｙは（富岳であって、富士山である）。
といふ「推論」は「妥当」である。
従って、
（02）により、
（03）
（ⅰ）日本の山は、富士山が最高峰である。然るに、
（ⅱ）富岳は、日本の山の最高峰である。従って、
（ⅲ）富岳は、富士山（の別称）である。
といふ「推論」は「妥当」である。
然るに、
（04）
「昨日（令和６年１月１５日）」に示したものの、
１　　　　　（１）∀ｘ｛日本の山ｘ→∃ｙ［富士山ｙ＆最高峰ｙｘ＆∀ｚ（最高峰ｚｘ→ｚ＝ｙ）］｝　Ａ
１　　　　　（２）　　　日本の山ａ→∃ｙ［富士山ｙ＆最高峰ｙａ＆∀ｚ（最高峰ｚａ→ｚ＝ｙ）］　　１ＵＥ
　３　　　　（３）　　　日本の山ａ　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　Ａ
１３　　　　（４）　　　　　　　　　∃ｙ［富士山ｙ＆最高峰ｙａ＆∀ｚ（最高峰ｚａ→ｚ＝ｙ）］　　２３ＭＰＰ
　　５　　　（５）　　　　　　　　　　　　富士山ｂ＆最高峰ｂａ＆∀ｚ（最高峰ｚａ→ｚ＝ｂ）　　　Ａ
　　５　　　（６）　　　　　　　　　　　　富士山ｂ＆最高峰ｂａ　　　　　　　　　　　　　　　　　５＆Ｅ
　　５　　　（７）　　　　　　　　　　　　　　　　　　　　　　　∀ｚ（最高峰ｚａ→ｚ＝ｂ）　　　５＆Ｅ
　　５　　　（８）　　　　　　　　　　　　　　　　　　　　　　　　　　最高峰ｃａ→ｃ＝ｂ　　　　７ＵＥ
　　　９　　（９）　　　∃ｚ（高尾山ｚ＆～富士山ｚ）　　　　　　　　　　　　　　　　　　　　　　Ａ
　　　　ア　（ア）　　　　　　高尾山ｃ＆～富士山ｃ　　　　　　　　　　　　　　　　　　　　　　　Ａ
　　　　ア　（イ）　　　　　　高尾山ｃ　　　　　　　　　　　　　　　　　　　　　　　　　　　　　ア＆Ｅ
　　　　ア　（ウ）　　　　　　　　　　　～富士山ｃ　　　　　　　　　　　　　　　　　　　　　　　ア＆Ｅ
　　　　エ（エ）　　　　　　　　　　　　　ｃ＝ｂ　　　　　　　　　　　　　　　　　　　　　　　　Ａ
　　　　アエ（オ）　　　　　　　　　　　～富士山ｂ　　　　　　　　　　　　　　　　　　　　　　　ウエ＝Ｅ
　　５　　　（カ）　　　　　　　　　　　　富士山ｂ　　　　　　　　　　　　　　　　　　　　　　　６＆Ｅ
　　５　アエ（キ）　　　　　　　　　　　～富士山ｂ＆富士山ｂ　　　　　　　　　　　　　　　　　　オカ＆Ｉ
　　５　ア　（ク）　　　　　　　　　　　　　ｃ≠ｂ　　　　　　　　　　　　　　　　　　　　　　　エキＲＡＡ
　　５　ア　（ケ）　　　　　　　　　　　　　　　　　　　　　　　　　～最高峰ｃａ　　　　　　　　８クＭＴＴ
　　５　ア　（コ）　　　　　　　　高尾山ｃ＆～最高峰ｃａ　　　　　　　　　　　　　　　　　　　　イケ＆Ｉ
　　５　ア　（サ）　　　　　∃ｚ（高尾山ｚ＆～最高峰ｚａ）　　　　　　　　　　　　　　　　　　　コＥＩ
　　５９　　（シ）　　　　　∃ｚ（高尾山ｚ＆～最高峰ｚａ）　　　　　　　　　　　　　　　　　　　９アサＥＥ
１３　９　　（ス）　　　　　∃ｚ（高尾山ｚ＆～最高峰ｚａ）　　　　　　　　　　　　　　　　　　　４５シＥＥ
１　　９　　（セ）　　　日本の山ａ→∃ｚ（高尾山ｚ＆～最高峰ｚａ）　　　　　　　　　　　　　　　３スＣＰ
１　　９　　（ソ）∀ｘ｛日本の山ｘ→∃ｚ（高尾山ｚ＆～最高峰ｚｘ）｝　　　　　　　　　　　　　　セＵＩ
従って、
（04）により、
（05）
（ⅰ）日本の山は、富士山が最高峰である。然るに、
（ⅱ）　高尾山は、富士山ではない。従って、
（ⅲ）日本の山は、高尾山は最高峰ではない。
といふ「推論」は「妥当」である。
然るに、
（06）
「漢字の意味」からしても、 「最高峰」は、「唯一」である。
従って、
（01）～（06）により、
（07）
① 　　　日本の山は、富士山が最高峰である。
② ∀ｘ｛日本の山ｘ→∃ｙ［富士山ｙ＆最高峰ｙｘ＆∀ｚ（最高峰ｚｘ→ｚ＝ｙ）］｝。
③ すべてのｘについて｛ｘが日本の山ならば、あるｙは［富士山であって、ｘの最高峰であって、すべてのｚについて（ｚがｘの最高峰であるならば、ｚとｙは「同一」である）］｝。
といふ「命題」に於いて、
①＝②＝③ であると、せざるを得ない。
従って、
（07）により、
（08）
① 　　　日本の山は、富士山が最高峰である。
② タゴール記念会は、　　私が理事長である。
といふ「日本語」を「解釈」する際に、
① ∀ｘ｛　　　　日本の山ｘ→∃ｙ［富士山ｙ＆最高峰ｙｘ＆∀ｚ（最高峰ｚｘ→ｚ＝ｙ）］｝。
② ∀ｘ｛タゴール記念会員ｘ→∃ｙ［私ｙ　　＆理事長ｙｘ＆∀ｚ（理事長ｚｘ→ｚ＝ｙ）］｝。
といふ「論理式（数学語）」を「無視」すべきではない。
令和６年１月１６日、毛利太。