「選言三段論法」と「述語論理」について。

（01）
（ⅰ）
１　　　　　　　　　（１）　∀ｘ｛犯人ｘ→（Ｆｘ∨Ｇｘ∨Ｈｘ）｝　　　Ａ
１　　　　　　　　　（２）　　　　犯人ａ→（Ｆａ∨Ｇａ∨Ｈｘ）　　　　１ＵＥ
　３　　　　　　　　（３）　　　　犯人ａ　　　　　　　　　　　　　　　Ａ
１３　　　　　　　　（４）　　　　　　　　　Ｆａ∨  Ｇａ∨　Ｈａ　　　２３ＭＰＰ
１３　　　　　　　　（５）　　　　　　　　　Ｆａ∨（Ｇａ∨　Ｈａ）　　結合法則
　　６　　　　　　　（６）　　　　　　　　～Ｆａ＆～Ｇａ＆～Ｈａ　　　Ａ
　　　７　　　　　　（７）　　　　　　　　　Ｆａ　　　　　　　　　　　Ａ
　　６　　　　　　　（８）　　　　　　　　～Ｆａ　　　　　　　　　　　６＆Ｅ
　　６７　　　　　　（９）　　　　　　　　　Ｆａ＆～Ｆａ　　　　　　　７８＆Ｉ
　　　７　　　　　　（ア）　　　　　　～（～Ｆａ＆～Ｇａ＆～Ｈａ）　　６９ＲＡＡ
　　　　イ　　　　　（イ）　　　　　　　　　　　　　Ｇａ∨　Ｈａ　　　Ａ
　　　　　ウ　　　　（ウ）　　　　　　　　　　　　　Ｇａ　　　　　　　Ａ
　　６　　　　　　　（エ）　　　　　　　　　　　　～Ｇａ　　　　　　　６＆Ｅ
　　６　　ウ　　　　（オ）　　　　　　　　　Ｇａ＆～Ｇａ　　　　　　　ウエ＆Ｉ
　　　　　ウ　　　　（カ）　　　　　　～（～Ｆａ＆～Ｇａ＆～Ｈａ）　　６オＲＡＡ
　　　　　　キ　　　（キ）　　　　　　　　　　　　　　　　　Ｈａ　　　Ａ
　　６　　　　　　　（ク）　　　　　　　　　　　　　　　　～Ｈａ　　　６＆Ｅ
　　６　　　キ　　　（ケ）　　　　　　　　　　　　　Ｈａ＆～Ｈａ　　　キク＆Ｉ
　　　　　　キ　　　（コ）　　　　　　～（～Ｆａ＆～Ｇａ＆～Ｈａ）　　６ケＲＡＡ
　　　　イ　　　　　（サ）　　　　　　～（～Ｆａ＆～Ｇａ＆～Ｈａ）　　イウカキコ∨Ｅ
１３　　　　　　　　（シ）　　　　　　～（～Ｆａ＆～Ｇａ＆～Ｈａ）　　５７アイサ∨Ｅ
　　　　　　　ス　　（ス）　　　　　　　　～Ｆａ　　　　　　　　　　　Ａ
　　　　　　　　セ　（セ）　　　　　　　　　　　　～Ｇａ＆～Ｈａ　　　Ａ
　　　　　　　スセ　（ソ）　　　　　　　　～Ｆａ＆～Ｇａ＆～Ｈａ　　　スセ＆Ｉ
１３　　　　　スセ　（タ）　　　　　　～（～Ｆａ＆～Ｇａ＆～Ｈａ）＆
　　　　　　　　　　　　　　　　　　　　（～Ｆａ＆～Ｇａ＆～Ｈａ）　　シソ＆Ｉ
１３　　　　　ス　　（チ）　　　　　　　　　　～（～Ｇａ＆～Ｈａ）　　セタＤＮ
１３　　　　　ス　　（ツ）　　　　　　　　　　　　　Ｇａ∨　Ｈａ　　　チド・モルガンの法則
１３　　　　　　　　（テ）　　　　　　　　～Ｆａ→　Ｇａ∨　Ｈａ　　　スツＣＰ
１　　　　　　　　　（ト）　　　犯人ａ→（～Ｆａ→　Ｇａ∨　Ｈａ）　　３テＣＰ
　　　　　　　　　ナ（ナ）　　　犯人ａ＆　～Ｆａ　　　　　　　　　　　Ａ
　　　　　　　　　ナ（ニ）　　　犯人ａ　　　　　　　　　　　　　　　　Ａ
１　　　　　　　　ナ（ヌ）　　　　　　　　～Ｆａ→　Ｇａ∨　Ｈａ　　　トニＭＰＰ
　　　　　　　　　ナ（ネ）　　　　　　　　～Ｆａ＆　　　　　　　　　　ナ＆Ｅ
１　　　　　　　　ナ（ノ）　　　　　　　　　　　　　Ｇａ∨　Ｈａ　　　ヌネＭＰＰ
１　　　　　　　　　（ハ）　　　（犯人ａ＆～Ｆａ）→Ｇａ∨　Ｈａ　　　ナノＣＰ
１　　　　　　　　　（ヒ）∀ｘ｛（犯人ｘ＆～Ｆｘ）→Ｇｘ∨　Ｈｘ｝　　ハＵＩ
（ⅱ）
１   　 （１）∀ｘ｛（犯人ｘ＆～Ｆｘ）→　Ｇｘ∨Ｈｘ｝　　Ａ
１　　　（２）　　　（犯人ａ＆～Ｆａ）→　Ｇａ∨Ｈａ　　　１ＵＥ
　３　　（３）　　　　犯人ａ　　　　　　　　　　　　　　　Ａ
　　４　（４）　　　　　　　　～Ｆａ　　　　　　　　　　　Ａ
　３４　（５）　　　　犯人ａ＆～Ｆａ　　　　　　　　　　　３４＆Ｉ
１３４　（６）　　　　　　　　　　　　　　Ｇａ∨Ｈａ　　　２５ＭＰＰ
１３　　（７）　　　　　　　　～Ｆａ→　（Ｇａ∨Ｈａ）　　４６ＣＰ
　　　８（８）　　　　　　　　～Ｆａ＆～（Ｇａ∨Ｈａ）　　Ａ
　　　８（９）　　　　　　　　～Ｆａ　　　　　　　　　　　８＆Ｅ
１３　８（ア）　　　　　　　　　　　　　（Ｇａ∨Ｈａ）　　７９ＭＰＰ
　　　８（イ）　　　　　　　　　　　　～（Ｇａ∨Ｈａ）　　８＆Ｉ
１３　８（ウ）　　　　　　　　　　　　　（Ｇａ∨Ｈａ）＆
　　　　　　　　　　　　　　　　　　　～（Ｇａ∨Ｈａ）　　アイ＆Ｉ
１３　　（エ）　　　　　　　～～Ｆａ　　　　　　　　　　　８ウＲＡＡ
１３　　（オ）　　　　　　　　　Ｆａ　　　　　　　　　　　エＤＮ
１３　　（カ）　　　　　　　　　Ｆａ∨（Ｇａ∨Ｈａ）　　　オ∨Ｉ
１３　　（キ）　　　　　　　　　Ｆａ∨Ｇａ∨Ｈａ　　　　　カ結合法則
１　　　（ク）　　　　犯人ａ→（Ｆａ∨Ｇａ∨Ｈａ）　　　　３キＣＰ
１　　　（ケ）　∀ｘ｛犯人ｘ→（Ｆｘ∨Ｇｘ∨Ｈｘ）｝　　　クＵＩ
従って、
（01）により、
（02）
① ∀ｘ｛　犯人ｘ→（Ｆｘ∨　Ｇｘ∨　Ｈｘ）｝
② ∀ｘ｛（犯人ｘ＆～Ｆｘ）→Ｇｘ∨　Ｈｘ｝
に於いて、すなはち、
① すべてのｘについて｛ｘが犯人であるならば、ｘはＦであるか、または、ｘはＧであるか、または、ｘはＨである｝。
② すべてのｘについて｛ｘが犯人であって、ｘがＦでないならば、ｘはＧであるか、または、ｘはＨであるか、または、その両方である｝。
に於いて、
①＝② である。
従って、
（02）により、
（03）
① すべてのｘについて｛ｘが犯人であるならば、ｘはＦであるか、または、ｘはＧであるか、または、ｘはＨである｝。
② すべてのｘについて｛ｘが犯人であって、ｘがＦでないならば、ｘはＧであるか、または、ｘはＨであるか、または、その両方である｝。
に於いて、すなはち、
① 犯人は、Ｆか、Ｇか、Ｈである。
② 犯人が、Ｆでないならば、犯人はＧであるか、または、犯人はＨであるか、または、ＧとＨである。
に於いて、
①＝② である。
従って、
（03）により、
（04）
① 犯人は、藤田か、郷田か、原田である。　然るに、
② 犯人は、藤田ではない。　従って、
③ 犯人は、郷田か、または、原田か、または、郷田と原田である。
といふ「推論（選言三段論法）」は「妥当（Valid）」である。
ｃｆ.
「Ｆ∨　Ｇ，～Ｆ ∴ ～Ｇ」だけでなく、
「Ｆ∨（Ｇ∨Ｈ），～Ｆ ∴（Ｇ∨Ｈ）」も「選言三段論法」である。
然るに、
（05）
（ⅰ）
１　　　　　　　　　（１）　∀ｘ｛犯人ｘ→（Ｆｘ∨Ｇｘ∨Ｈｘ）｝　　　Ａ
１　　　　　　　　　（２）　　　　犯人ａ→（Ｆａ∨Ｇａ∨Ｈｘ）　　　　１ＵＥ
　３　　　　　　　　（３）　　　　犯人ａ　　　　　　　　　　　　　　　Ａ
１３　　　　　　　　（４）　　　　　　　　　Ｆａ∨  Ｇａ∨　Ｈａ　　　２３ＭＰＰ
１３　　　　　　　　（５）　　　　　　　　　Ｆａ∨（Ｇａ∨　Ｈａ）　　結合法則
　　６　　　　　　　（６）　　　　　　　　～Ｆａ＆～Ｇａ＆～Ｈａ　　　Ａ
　　　７　　　　　　（７）　　　　　　　　　Ｆａ　　　　　　　　　　　Ａ
　　６　　　　　　　（８）　　　　　　　　～Ｆａ　　　　　　　　　　　６＆Ｅ
　　６７　　　　　　（９）　　　　　　　　　Ｆａ＆～Ｆａ　　　　　　　７８＆Ｉ
　　　７　　　　　　（ア）　　　　　　～（～Ｆａ＆～Ｇａ＆～Ｈａ）　　６９ＲＡＡ
　　　　イ　　　　　（イ）　　　　　　　　　　　　　Ｇａ∨　Ｈａ　　　Ａ
　　　　　ウ　　　　（ウ）　　　　　　　　　　　　　Ｇａ　　　　　　　Ａ
　　６　　　　　　　（エ）　　　　　　　　　　　　～Ｇａ　　　　　　　６＆Ｅ
　　６　　ウ　　　　（オ）　　　　　　　　　Ｇａ＆～Ｇａ　　　　　　　ウエ＆Ｉ
　　　　　ウ　　　　（カ）　　　　　　～（～Ｆａ＆～Ｇａ＆～Ｈａ）　　６オＲＡＡ
　　　　　　キ　　　（キ）　　　　　　　　　　　　　　　　　Ｈａ　　　Ａ
　　６　　　　　　　（ク）　　　　　　　　　　　　　　　　～Ｈａ　　　６＆Ｅ
　　６　　　キ　　　（ケ）　　　　　　　　　　　　　Ｈａ＆～Ｈａ　　　キク＆Ｉ
　　　　　　キ　　　（コ）　　　　　　～（～Ｆａ＆～Ｇａ＆～Ｈａ）　　６ケＲＡＡ
　　　　イ　　　　　（サ）　　　　　　～（～Ｆａ＆～Ｇａ＆～Ｈａ）　　イウカキコ∨Ｅ
１３　　　　　　　　（シ）　　　　　　～（～Ｆａ＆～Ｇａ＆～Ｈａ）　　５７アイサ∨Ｅ
　　　　　　　ス　　（ス）　　　　　　　　～Ｆａ＆～Ｇａ　　　　　　　Ａ
　　　　　　　　セ　（セ）　　　　　　　　　　　　　　　　～Ｈａ　　　Ａ
　　　　　　　スセ　（ソ）　　　　　　　　～Ｆａ＆～Ｇａ＆～Ｈａ　　　スセ＆Ｉ
１３　　　　　スセ　（タ）　　　　　　～（～Ｆａ＆～Ｇａ＆～Ｈａ）＆
　　　　　　　　　　　　　　　　　　　　（～Ｆａ＆～Ｇａ＆～Ｈａ）　　シソ＆Ｉ
１３　　　　　ス　　（チ）　　　　　　　　　　　　　　　～～Ｈａ　　　セタＤＮ
１３　　　　　ス　　（ツ）　　　　　　　　　　　　　　　　　Ｈａ　　　チＤＮ
１３　　　　　　　　（テ）　　　　　　　　～Ｆａ＆～Ｇａ→　Ｈａ　　　スツＣＰ
１　　　　　　　　　（ト）　　　犯人ａ→（～Ｆａ＆～Ｇａ→　Ｈａ）　　３テＣＰ
　　　　　　　　　ナ（ナ）　　　犯人ａ＆　～Ｆａ＆～Ｇａ　　　　　　　Ａ
　　　　　　　　　ナ（ニ）　　　犯人ａ　　　　　　　　　　　　　　　　Ａ
１　　　　　　　　ナ（ヌ）　　　　　　　　～Ｆａ＆～Ｇａ→　Ｈａ　　　トニＭＰＰ
　　　　　　　　　ナ（ネ）　　　　　　　　～Ｆａ＆～Ｇａ　　　　　　　ナ＆Ｅ
１　　　　　　　　ナ（ノ）　　　　　　　　　　　　　　　　　Ｈａ　　　ヌネＭＰＰ
１　　　　　　　　　（ハ）　　　（犯人ａ＆～Ｆａ＆～Ｇａ）→Ｈａ　　　ナノＣＰ
１　　　　　　　　　（ヒ）∀ｘ｛（犯人ｘ＆～Ｆｘ＆～Ｇｘ）→Ｈｘ｝　　ハＵＩ
（ⅱ）
１　　　（１）∀ｘ｛（犯人ｘ＆～Ｆｘ＆～Ｇｘ）→Ｈｘ｝　Ａ
１　　　（２）　　　（犯人ａ＆～Ｆａ＆～Ｇａ）→Ｈａ　　１ＵＥ
　３　　（３）　　　　犯人ａ　　　　　　　　　　　　　　Ａ
　　４　（４）　　　　　　　　～Ｆａ＆～Ｇａ　　　　　　Ａ
　３４　（５）　　　　犯人ａ＆～Ｆａ＆～Ｇａ　　　　　　３４＆Ｉ
１３４　（６）　　　　　　　　　　　　　　　　　Ｈａ　　２５ＭＰＰ
１３　　（７）　　　　　　　　～Ｆａ＆～Ｇａ→　Ｈａ　　４６ＣＰ
　　　８（８）　　　　　　　　～Ｆａ＆～Ｇａ＆～Ｈａ　　Ａ
　　　８（９）　　　　　　　　～Ｆａ＆～Ｇａ　　　　　　８＆Ｅ
１３　８（ア）　　　　　　　　　　　　　　　　　Ｈａ　　７９ＭＰＰ
　　　８（イ）　　　　　　　　　　　　　　　　～Ｈａ　　８＆Ｅ
１３　８（ウ）　　　　　　　　　　　　　Ｈａ＆～Ｈａ　　アイ＆Ｉ
１３　　（エ）　　　　　　～（～Ｆａ＆～Ｇａ）　　　　　８ウＲＡＡ
１３　　（オ）　　　　　　　（　Ｆａ∨　Ｇａ）　　　　　エ、ド・モルガンの法則
１３　　（カ）　　　　　　　（　Ｆａ∨　Ｇａ）∨Ｈａ　　オ∨Ｉ
１３　　（キ）　　　　　　　　　Ｆａ∨　Ｇａ　∨Ｈａ　　カ結合法則
１　　　（ク）　　　　犯人ａ→（Ｆａ∨Ｇａ∨Ｈａ）　　　３キＣＰ
１　　　（ケ）　∀ｘ｛犯人ｘ→（Ｆａ∨Ｇａ∨Ｈｘ）｝　　クＵＩ
従って、
（05）により、
（06）
① ∀ｘ｛　犯人ｘ→（Ｆｘ∨　Ｇｘ∨　Ｈｘ）｝
② ∀ｘ｛（犯人ｘ＆～Ｆｘ＆～Ｇｘ）→Ｈｘ｝
に於いて、すなはち、
① すべてのｘについて｛ｘが犯人であるならば、ｘはＦであるか、または、ｘはＧであるか、または、ｘはＨである｝。
② すべてのｘについて｛ｘが犯人であって、ｘがＦではなく、ｘがＧでもないならば、犯人である所のｘはＨである｝。
に於いて、
①＝② である。
従って、
（06）により、
（07）
① すべてのｘについて｛ｘが犯人であるならば、ｘはＦであるか、または、ｘはＧであるか、または、ｘはＨである｝。
② すべてのｘについて｛ｘが犯人であって、ｘがＦではなく、ｘがＧでもないならば、犯人である所のｘはＨである｝。
に於いて、すなはち、
① 犯人は、Ｆか、Ｇか、Ｈである。
② 犯人が、Ｆではなく、Ｇでもないならば、Ｈが犯人である。
に於いて、
①＝② である。
従って、
（07）により、
（08）
① 犯人は、藤田か、郷田か、原田である。　然るに、
② 犯人は、藤田ではなく、郷田でもない。　従って、
③ 原田が犯人である。
といふ「推論（選言三段論法）」は「妥当（Valid）」である。
ｃｆ.
「（Ｆ∨Ｇ），～Ｆ ∴ ～Ｇ」だけでなく、
「（Ｆ∨Ｇ）∨Ｈ，～（Ｆ∨Ｇ）∴ Ｈ」も「選言三段論法」である。
従って、
（04）（08）により、
（09）
① 犯人は、藤田か、郷田か、原田である。　然るに、
② 犯人は、藤田ではない。　従って、
③ 犯人は、郷田か、または、原田か、または、郷田と原田である。
といふ「推論（選言三段論法）」と、
① 犯人は、藤田か、郷田か、原田である。　然るに、
② 犯人は、藤田ではなく、郷田でもない。　従って、
③ 原田が犯人である。
といふ「推論（選言三段論法）」は、「妥当（Valid）」である。
然るに、
（01）（09）により、
（10）
我々は、「述語論理」を学ばなくとも、
① 犯人は、藤田か、郷田か、原田である。　然るに、
② 犯人は、藤田ではなく、郷田でもない。　従って、
③ 原田が犯人である。
といふ「推論（選言三段論法）」は、「妥当（Valid）」である。
といふことを、「常識（Common sense）」として、知ってゐる。
従って、
（05）（10）により、
（11）
私の場合は、
（ⅰ）
１　　　　　　　　　（１）　∀ｘ｛犯人ｘ→（Ｆｘ∨Ｇｘ∨Ｈｘ）｝　　　Ａ
１　　　　　　　　　（２）　　　　犯人ａ→（Ｆａ∨Ｇａ∨Ｈｘ）　　　　１ＵＥ
　３　　　　　　　　（３）　　　　犯人ａ　　　　　　　　　　　　　　　Ａ
１３　　　　　　　　（４）　　　　　　　　　Ｆａ∨  Ｇａ∨　Ｈａ　　　２３ＭＰＰ
１３　　　　　　　　（５）　　　　　　　　　Ｆａ∨（Ｇａ∨　Ｈａ）　　結合法則
　　６　　　　　　　（６）　　　　　　　　～Ｆａ＆～Ｇａ＆～Ｈａ　　　Ａ
　　　７　　　　　　（７）　　　　　　　　　Ｆａ　　　　　　　　　　　Ａ
　　６　　　　　　　（８）　　　　　　　　～Ｆａ　　　　　　　　　　　６＆Ｅ
　　６７　　　　　　（９）　　　　　　　　　Ｆａ＆～Ｆａ　　　　　　　７８＆Ｉ
　　　７　　　　　　（ア）　　　　　　～（～Ｆａ＆～Ｇａ＆～Ｈａ）　　６９ＲＡＡ
　　　　イ　　　　　（イ）　　　　　　　　　　　　　Ｇａ∨　Ｈａ　　　Ａ
　　　　　ウ　　　　（ウ）　　　　　　　　　　　　　Ｇａ　　　　　　　Ａ
　　６　　　　　　　（エ）　　　　　　　　　　　　～Ｇａ　　　　　　　６＆Ｅ
　　６　　ウ　　　　（オ）　　　　　　　　　Ｇａ＆～Ｇａ　　　　　　　ウエ＆Ｉ
　　　　　ウ　　　　（カ）　　　　　　～（～Ｆａ＆～Ｇａ＆～Ｈａ）　　６オＲＡＡ
　　　　　　キ　　　（キ）　　　　　　　　　　　　　　　　　Ｈａ　　　Ａ
　　６　　　　　　　（ク）　　　　　　　　　　　　　　　　～Ｈａ　　　６＆Ｅ
　　６　　　キ　　　（ケ）　　　　　　　　　　　　　Ｈａ＆～Ｈａ　　　キク＆Ｉ
　　　　　　キ　　　（コ）　　　　　　～（～Ｆａ＆～Ｇａ＆～Ｈａ）　　６ケＲＡＡ
　　　　イ　　　　　（サ）　　　　　　～（～Ｆａ＆～Ｇａ＆～Ｈａ）　　イウカキコ∨Ｅ
１３　　　　　　　　（シ）　　　　　　～（～Ｆａ＆～Ｇａ＆～Ｈａ）　　５７アイサ∨Ｅ
　　　　　　　ス　　（ス）　　　　　　　　～Ｆａ＆～Ｇａ　　　　　　　Ａ
　　　　　　　　セ　（セ）　　　　　　　　　　　　　　　　～Ｈａ　　　Ａ
　　　　　　　スセ　（ソ）　　　　　　　　～Ｆａ＆～Ｇａ＆～Ｈａ　　　スセ＆Ｉ
１３　　　　　スセ　（タ）　　　　　　～（～Ｆａ＆～Ｇａ＆～Ｈａ）＆
　　　　　　　　　　　　　　　　　　　　（～Ｆａ＆～Ｇａ＆～Ｈａ）　　シソ＆Ｉ
１３　　　　　ス　　（チ）　　　　　　　　　　　　　　　～～Ｈａ　　　セタＤＮ
１３　　　　　ス　　（ツ）　　　　　　　　　　　　　　　　　Ｈａ　　　チＤＮ
１３　　　　　　　　（テ）　　　　　　　　～Ｆａ＆～Ｇａ→　Ｈａ　　　スツＣＰ
１　　　　　　　　　（ト）　　　犯人ａ→（～Ｆａ＆～Ｇａ→　Ｈａ）　　３テＣＰ
　　　　　　　　　ナ（ナ）　　　犯人ａ＆　～Ｆａ＆～Ｇａ　　　　　　　Ａ
　　　　　　　　　ナ（ニ）　　　犯人ａ　　　　　　　　　　　　　　　　Ａ
１　　　　　　　　ナ（ヌ）　　　　　　　　～Ｆａ＆～Ｇａ→　Ｈａ　　　トニＭＰＰ
　　　　　　　　　ナ（ネ）　　　　　　　　～Ｆａ＆～Ｇａ　　　　　　　ナ＆Ｅ
１　　　　　　　　ナ（ノ）　　　　　　　　　　　　　　　　　Ｈａ　　　ヌネＭＰＰ
１　　　　　　　　　（ハ）　　　（犯人ａ＆～Ｆａ＆～Ｇａ）→Ｈａ　　　ナノＣＰ
１　　　　　　　　　（ヒ）∀ｘ｛（犯人ｘ＆～Ｆｘ＆～Ｇｘ）→Ｈｘ｝　　ハＵＩ
といふ「述語計算（Predicate calculus）」を「覚える前」から、
① 犯人は、藤田か、郷田か、原田である。　然るに、
② 犯人は、藤田ではなく、郷田でもない。　従って、
③ 原田が犯人である。
といふ「推論（選言三段論法）」は、「妥当（Valid）」である。
といふことを、知ってゐる。
従って、
（05）（11）により、
（12）
① 犯人は、藤田か、郷田か、原田である。　然るに、
② 犯人は、藤田ではなく、郷田でもない。　従って、
③ 原田が犯人である。
といふ「推論（選言三段論法）」を行ふ際に、あるいは、我々は、「無意識」の内に、
（ⅰ）
１　　　　　　　　　（１）　∀ｘ｛犯人ｘ→（Ｆｘ∨Ｇｘ∨Ｈｘ）｝　　　Ａ
１　　　　　　　　　（２）　　　　犯人ａ→（Ｆａ∨Ｇａ∨Ｈｘ）　　　　１ＵＥ
　３　　　　　　　　（３）　　　　犯人ａ　　　　　　　　　　　　　　　Ａ
１３　　　　　　　　（４）　　　　　　　　　Ｆａ∨  Ｇａ∨　Ｈａ　　　２３ＭＰＰ
１３　　　　　　　　（５）　　　　　　　　　Ｆａ∨（Ｇａ∨　Ｈａ）　　結合法則
　　６　　　　　　　（６）　　　　　　　　～Ｆａ＆～Ｇａ＆～Ｈａ　　　Ａ
　　　７　　　　　　（７）　　　　　　　　　Ｆａ　　　　　　　　　　　Ａ
　　６　　　　　　　（８）　　　　　　　　～Ｆａ　　　　　　　　　　　６＆Ｅ
　　６７　　　　　　（９）　　　　　　　　　Ｆａ＆～Ｆａ　　　　　　　７８＆Ｉ
　　　７　　　　　　（ア）　　　　　　～（～Ｆａ＆～Ｇａ＆～Ｈａ）　　６９ＲＡＡ
　　　　イ　　　　　（イ）　　　　　　　　　　　　　Ｇａ∨　Ｈａ　　　Ａ
　　　　　ウ　　　　（ウ）　　　　　　　　　　　　　Ｇａ　　　　　　　Ａ
　　６　　　　　　　（エ）　　　　　　　　　　　　～Ｇａ　　　　　　　６＆Ｅ
　　６　　ウ　　　　（オ）　　　　　　　　　Ｇａ＆～Ｇａ　　　　　　　ウエ＆Ｉ
　　　　　ウ　　　　（カ）　　　　　　～（～Ｆａ＆～Ｇａ＆～Ｈａ）　　６オＲＡＡ
　　　　　　キ　　　（キ）　　　　　　　　　　　　　　　　　Ｈａ　　　Ａ
　　６　　　　　　　（ク）　　　　　　　　　　　　　　　　～Ｈａ　　　６＆Ｅ
　　６　　　キ　　　（ケ）　　　　　　　　　　　　　Ｈａ＆～Ｈａ　　　キク＆Ｉ
　　　　　　キ　　　（コ）　　　　　　～（～Ｆａ＆～Ｇａ＆～Ｈａ）　　６ケＲＡＡ
　　　　イ　　　　　（サ）　　　　　　～（～Ｆａ＆～Ｇａ＆～Ｈａ）　　イウカキコ∨Ｅ
１３　　　　　　　　（シ）　　　　　　～（～Ｆａ＆～Ｇａ＆～Ｈａ）　　５７アイサ∨Ｅ
　　　　　　　ス　　（ス）　　　　　　　　～Ｆａ＆～Ｇａ　　　　　　　Ａ
　　　　　　　　セ　（セ）　　　　　　　　　　　　　　　　～Ｈａ　　　Ａ
　　　　　　　スセ　（ソ）　　　　　　　　～Ｆａ＆～Ｇａ＆～Ｈａ　　　スセ＆Ｉ
１３　　　　　スセ　（タ）　　　　　　～（～Ｆａ＆～Ｇａ＆～Ｈａ）＆
　　　　　　　　　　　　　　　　　　　　（～Ｆａ＆～Ｇａ＆～Ｈａ）　　シソ＆Ｉ
１３　　　　　ス　　（チ）　　　　　　　　　　　　　　　～～Ｈａ　　　セタＤＮ
１３　　　　　ス　　（ツ）　　　　　　　　　　　　　　　　　Ｈａ　　　チＤＮ
１３　　　　　　　　（テ）　　　　　　　　～Ｆａ＆～Ｇａ→　Ｈａ　　　スツＣＰ
１　　　　　　　　　（ト）　　　犯人ａ→（～Ｆａ＆～Ｇａ→　Ｈａ）　　３テＣＰ
　　　　　　　　　ナ（ナ）　　　犯人ａ＆　～Ｆａ＆～Ｇａ　　　　　　　Ａ
　　　　　　　　　ナ（ニ）　　　犯人ａ　　　　　　　　　　　　　　　　Ａ
１　　　　　　　　ナ（ヌ）　　　　　　　　～Ｆａ＆～Ｇａ→　Ｈａ　　　トニＭＰＰ
　　　　　　　　　ナ（ネ）　　　　　　　　～Ｆａ＆～Ｇａ　　　　　　　ナ＆Ｅ
１　　　　　　　　ナ（ノ）　　　　　　　　　　　　　　　　　Ｈａ　　　ヌネＭＰＰ
１　　　　　　　　　（ハ）　　　（犯人ａ＆～Ｆａ＆～Ｇａ）→Ｈａ　　　ナノＣＰ
１　　　　　　　　　（ヒ）∀ｘ｛（犯人ｘ＆～Ｆｘ＆～Ｇｘ）→Ｈｘ｝　　ハＵＩ
といふ「述語計算（Predicate calculus）」を行ってゐるのかも、知れない。
然るに、
（13）
① 犯人は、藤田か、郷田か、原田である。　然るに、
② 犯人は、藤田ではなく、郷田でもない。　従って、
③ 原田が犯人である。
といふ「推論（選言三段論法）」は、「それ自体として、完結してゐる」ため、私には、「そのやうな自覚は、全く無い」し、「普通の人は、皆、さうである」に、違ひない。
従って、
（12）（13）により、
（14）
「選言三段論法（Disjunctive syllogism）」と、「述語計算（Predicate calculus）」が、「どのやうにして、結びつくのか」といふことが、私には、「よく分からない」。
然るに、
（15）
ゴットロープ・フレーゲ（Wikipedia）：
フレーゲは、古代ギリシア（ギリシア哲学）のアリストテレス以来の最大の論理学者といわれる。革命的な『概念記法』(Begriffsschrift) は1879年に出版され、アリストテレス以来2,000年変わらずに続いていた伝統論理学を一掃して論理学の新時代を切り開いた。今日の数学で定着している∀（任意の）や∃（存在する）のような量化はこのフレーゲの業績に基づいている。フレーゲは命題論理と述語論理の公理化を最初に行った人物であり、特に述語論理はそれ自体がフレーゲの発明である（実際には概念記法は高階論理の体系であり、ラムダ計算の祖ともいえる極めて先駆的なものである）。
然るに、
（16）
例へば、『「微分・積分」は、「発見」されたのであって、「発明」されたのではない。』
従って、
（15）（16）により、
（17）
『述語論理にしても、フレーゲによって、「発見」されたのであって、「発明」されたのではない。』と、言ふべきである。
（18）
ここまで書いてみて、「後はどのように、書くべきなのか」が、「思ひ浮かばない」。
令和０２年０６月１９日、毛利太。