（01）
｛ｘの変域｝＝｛ａ、ｂ、ｃ｝
であるとして、
ＦａかＦｂかＦｃ＝∃ｘ（Ｆｘ）
従って、
（01）により、
（02）
① Ｆａ ならば、それだけで、∃ｘ（Ｆｘ）であり、
② Ｆｂ ならば、それだけで、∃ｘ（Ｆｘ）であり、
③ Ｆｃ ならば、それだけで、∃ｘ（Ｆｘ）である。
従って、
（02）により、
（03）
連式 Ｆａ├ ∃ｘ（Ｆｘ）は妥当であるとして受け入れるが、連式 ∃ｘ（Ｆｘ）├ Ｆａ は妥当とは考えず、
ａは任意に選ばれているが、与えられたＦもつ対象の１つではないかも知れないから、この連式は受け入れないのである。
（E.J.レモン 著、論理学初歩、竹尾治一郎・浅野楢英 訳、1973年、１４９頁）
然るに、
（04）
｛ｘの変域｝＝｛ａ、ｂ、ｃ｝
であるとして、
ＦａでＦｂでＦｃ＝∀ｘ（Ｆｘ）
従って、
（04）により、
（05）
① ∀ｘ（Ｇｘ）ならば、それだけで、Ｇａ であり、
② ∀ｘ（Ｇｘ）ならば、それだけで、Ｇｂ であり、
③ ∀ｘ（Ｇｘ）ならば、それだけで、Ｇｃ である。
従って、
（02）（05）により、
（06）
（ⅰ）
① Ｆａ ならば、∃ｘ（Ｆｘ）であり、
① ∃ｘ（Ｆｘ）であるからといって、Ｆａ であるとは、限らないが、
① ∀ｘ（Ｇｘ）ならば、Ｇａ である。
（ⅱ）
② Ｆｂ ならば、∃ｘ（Ｆｘ）であり、
② ∃ｘ（Ｆｘ）であるからといって、Ｆｂ であるとは、限らないが、
② ∀ｘ（Ｇｘ）ならば、Ｇｂ である。
（ⅲ）
③ Ｆｃ ならば、∃ｘ（Ｆｘ）であり、
③ ∃ｘ（Ｆｘ）であるからといって、Ｆｃ であるとは、限らないが、
③ ∀ｘ（Ｇｘ）ならば、Ｇｃ である。
従って、
（06）により、
（07）
∃ｘ（Ｆｘ）＆∀ｘ（Ｇｘ）
であるならば、
① Ｆａ＆Ｇａ
② Ｆｂ＆Ｇｂ
③ Ｆｃ＆Ｇｃ
といふ「３つ」の内の、「少なくとも１つ」が「真（本当）」である。
従って、
（07）により、
（08）
∃ｘ（Ｆｘ）＆∀ｘ（Ｇｘ）
であるならば、
① Ｆａ＆Ｇａ
② Ｆｂ＆Ｇｂ
③ Ｆｃ＆Ｇｃ
に於いて、
①か②か③ である。
然るに、、
（01）（08）により、
（09）
① Ｆａ＆Ｇａ
② Ｆｂ＆Ｇｂ
③ Ｆｃ＆Ｇｃ
に於いて、
①か②か③ である。
といふことは、
∃ｘ（Ｆｘ＆Ｇｘ）
といふことに、他ならない。
従って、
（08）（09）により、
（10）
∃ｘ（Ｆｘ）＆∀ｘ（Ｇｘ）
であるならば、
∃ｘ（Ｆｘ＆Ｇｘ）
である。
然るに、
（11）
｛ｘの変域｝＝｛ａ、ｂ、ｃ｝
であるとして、
（ⅰ）
１ （１）∃ｘ（Ｆｘ）＆∀ｘ（Ｇｘ） Ａ
１ （２）∃ｘ（Ｆｘ） １＆Ｅ
２（３） Ｆａ Ａ
１ （４） ∀ｘ（Ｇｘ） １＆Ｅ
１ （５） Ｇａ ４ＵＥ
１２（６） Ｆａ＆Ｇａ ３５＆Ｉ
１２（７）∃ｘ（Ｆｘ＆Ｇｘ） ６ＥＩ
（ⅱ）
１ （１）∃ｘ（Ｆｘ）＆∀ｘ（Ｇｘ） Ａ
１ （２）∃ｘ（Ｆｘ） １＆Ｅ
２（３） Ｆｂ Ａ
１ （４） ∀ｘ（Ｇｘ） １＆Ｅ
１ （５） Ｇｂ ４ＵＥ
１２（６） Ｆａ＆Ｇａ ３５＆Ｉ
１２（７）∃ｘ（Ｆｘ＆Ｇｘ） ６ＥＩ
（ⅲ）
１ （１）∃ｘ（Ｆｘ）＆∀ｘ（Ｇｘ） Ａ
１ （２）∃ｘ（Ｆｘ） １＆Ｅ
２（３） Ｆｃ Ａ
１ （４） ∀ｘ（Ｇｘ） １＆Ｅ
１ （５） Ｇｃ ４ＵＥ
１２（６） Ｆｃ＆Ｇｃ ３５＆Ｉ
１２（７）∃ｘ（Ｆｘ＆Ｇｘ） ６ＥＩ
従って、
（11）により、
（12）
（ⅰ）
１ （２）∃ｘ（Ｆｘ） １＆Ｅ
２（３） Ｆａ Ａ
（ⅱ）
１ （２）∃ｘ（Ｆｘ） １＆Ｅ
２（３） Ｆｂ Ａ
（ⅲ）
１ （２）∃ｘ（Ｆｘ） １＆Ｅ
２（３） Ｆｃ Ａ
従って、
（11）（12）により、
（13）
（ⅰ）
１ （２）∃ｘ（Ｆｘ） １＆Ｅ
２（３） Ｆａ Ａ
に於ける、
２（３） Ｆａ Ａ
の「ａ」は、「ａ、ｂ、ｃ」の「代表」であると、見做すことが出来る。
従って、
（13）により、
（14）
１ （２）∃ｘ（Ｆｘ） １＆Ｅ
２（３） Ｆａ Ａ
に於ける、
２（３） Ｆａ Ａ
の「ａ」を、「代表的選言項（typical disjunction）」と呼ぶ。
ｃｆ.
（E.J.レモン著、論理学初歩、竹尾治一郎・浅野楢英 訳、1973年、１４４頁）
令和５年５月２１日、毛利太。
0 件のコメント:
コメントを投稿