（1337）「清少納言は紫式部ではない」の「述語論理」。

（01）
１　　　　　　　（１）　　∃ｘ（紫式部ｘ＆源氏物語の著者ｘ）　Ａ
　２　　　　　　（２）　　　　　紫式部ａ＆源氏物語の著者ａ　　Ａ
　　３　　　　　（３）　～∀ｘ（紫式部ｘ→源氏物語の著者ｘ）　Ａ
　　３　　　　　（５）　∃ｘ～（紫式部ｘ→源氏物語の著者ｘ）　３量化子の関係
　　　６　　　　（６）　　　～（紫式部ａ→源氏物語の著者ａ）　Ａ
　　　６　　　　（７）　　～（～紫式部ａ∨源氏物語の著者ａ）　６含意の定義
　　　６　　　　（８）　　　　紫式部ａ＆～源氏物語の著者ａ　　６ド・モルガンの法則
　２　　　　　　（９）　　　　　　　　　　源氏物語の著者ａ　　２＆Ｅ
　　　６　　　　（ア）　　　　　　　　　～源氏物語の著者ａ　　８＆Ｅ
　２　６　　　　（イ）　源氏物語の著者＆～源氏物語の著者ａ　　９ア＆Ｉ
　２３　　　　　（ウ）　源氏物語の著者＆～源氏物語の著者ａ　　３６イＥＥ
１　３　　　　　（エ）　源氏物語の著者＆～源氏物語の著者ａ　　１２ウＥＥ
１　　　　　　　（オ）～～∀ｘ（紫式部ｘ→源氏物語の著者ｘ）　３エＲＡＡ
１　　　　　　　（カ）　　∀ｘ（紫式部ｘ→源氏物語の著者ｘ）　オＤＮ
　　　　キ　　　（キ）　　∃ｘ（清少納言ｘ＆紫式部ｘ）　　　　Ａ
１　　　　　　　（ク）　　　　　紫式部ａ→源氏物語の著者ａ　　カＵＥ
　　　　　ケ　　（ケ）　　　　　清少納言ａ＆紫式部ａ　　　　　Ａ
　　　　　　コ　（コ）∃ｘ（清少納言ｘ＆～源氏物語の著者ｘ）　Ａ
　　　　　　　サ（サ）　　　清少納言ａ＆～源氏物語の著者ａ　　Ａ
　　　　　ケ　　（シ）　　　　　　　　　　　紫式部ａ　　　　　ケ＆Ｅ
１　　　　ケ　　（ス）　　　　　　　　　　源氏物語の著者ａ　　クシＭＰＰ
　　　　　　　サ（セ）　　　　　　　　　～源氏物語の著者ａ　　サ＆Ｅ
１　　　　ケ　サ（ソ）　　　源氏物語ａ＆～源氏物語の著者ａ　　スセ＆Ｉ
１　　　キ　　サ（タ）　　　源氏物語ａ＆～源氏物語の著者ａ　　キケソＥＥ
１　　　キ　コ　（チ）　　　源氏物語ａ＆～源氏物語の著者ａ　　コサタＥＥ
１　　　　　コ　（ツ）　～∃ｘ（清少納言ｘ＆紫式部ｘ）　　　　キチＲＡＡ
１　　　　　コ　（テ）　∀ｘ～（清少納言ｘ＆紫式部ｘ）　　　　ツ量化子の関係
１　　　　　コ　（ト）　　　～（清少納言ａ＆紫式部ａ）　　　　テＵＥ
１　　　　　コ　（ナ）　　　～清少納言ａ∨～紫式部ａ　　　　　ト、ド・モルガンの法則
１　　　　　コ　（ニ）　　　　清少納言ａ→～紫式部ａ　　　　　ナ含意の定義
１　　　　　コ　（ヌ）　∀ｘ（清少納言ｘ→～紫式部ｘ）　　　　ニＵＩ
従って、
（01）により、
（02）
（ⅰ）∃ｘ（　紫式部ｘ＆　源氏物語の著者ｘ）。然るに、
（ⅱ）∃ｘ（清少納言ｘ＆～源氏物語の著者ｘ）。従って、
（ⅲ）∀ｘ（清少納言ｘ→～紫式部ｘ）。
という「推論」は「妥当」である。
従って、
（02）により、
（03）
（ⅰ）あるｘは、　紫式部であって、源氏物語の著者である。　然るに、
（ⅱ）あるｘは、清少納言であるが、源氏物語の著者ではない。従って、
（ⅲ）いかなるｘであっても（ｘが清少納言であれば、紫式部ではない）。
という「推論」は「妥当」である。
従って、
（03）により、
（04）
（ⅰ）紫式部は、源氏物語の著者である。　然るに、
（ⅱ）清少納言は源氏物語の著者ではない。従って、
（ⅲ）誰であれ、清少納言であるならば、紫式部ではない。
という「推論」は、「述語論理」としても、「妥当」である。
然るに、
（05）

然るに、
（06）
現在の情報検索や自然言語処理は、基本的に論理で処理させることは当面諦めて、統計と確率の手法でＡＩに言語を学習させようとしています。つまり、文章の意味はわからなくても、その文章に出てくる既知の単語とその組合せから統計的に推測して、正しそうな回答を導き出そうとしているのです（新井紀子、ＡＩｖｓ.教科書が読めない子供たち、2018年、１２２頁）。
従って、
（01）～（06）により、
（07）
ＡＩは、
（ⅰ）紫式部は、源氏物語の著者である。　然るに、
（ⅱ）清少納言は源氏物語の著者ではない。従って、
（ⅲ）誰であれ、清少納言であるならば、紫式部ではない。
という「推論」を行う際に、
① ∃ｘ（　紫式部ｘ＆　源氏物語の著者ｘ）
② ∀ｘ（　紫式部ｘ→　源氏物語の著者ｘ）
③ ∃ｘ（清少納言ｘ＆～源氏物語の著者ｘ）
④ ∀ｘ（清少納言ｘ→～紫式部ｘ）。
に於ける、
①から②を「演繹」して、その上で、
② と ③ によって、
④を「演繹」している。
といふ、わけではない。
従って、
（06）（07）により、
（08）
ＡＩは、「論理的な機械」ではなく、
ＡＩは、「確率的・統計的な機械」である。