（198）「選言導入の規則（∨Ｉ）」は「不自然」ではない（ⅴ）。

―「先ほどの記事（197）」の「続き」を書きます。―
（27）
１（１）ソクラテスは人間である。　Ａ
１（２）ソクラテスは人間であるか、または、豚がイギリスの海峡を越えて編隊を組んで飛んでいる。　１∨Ｉ
といふ「推論」を、「不自然」であると、思ふのであれば、
１（２）の左には、
１　しかない。
といふことは、
１の行　は、　「真　」であるが、
１の行　以外の「真偽」は、
１の行　に「依存」する。
といふことを、「意味」してゐる。
といふことを、「教へられてゐない」か、「忘れてゐる」の、どちらかである。
従って、
（27）により、
（28）
１（１）ソクラテスは人間である。　Ａ
１（２）ソクラテスは人間であるか、または、豚がイギリスの海峡を越えて編隊を組んで飛んでいる。　１選言導入の規則
であれば、
１（２）ソクラテスは人間である。
までが、「確実」に「真」であり、
１（２）　　　　　　　　　　　　　　　　　豚がイギリスの海峡を越えて編隊を組んで飛んでいる。
といふ「部分」に関しては、「真」であるかどうか、分からない。
といふ、ことになる。
従って、
（28）により、
（29）
１（１）Ｐ　　　Ａ
１（２）Ｐ∨Ｑ　１∨Ｉ
に於いて、
１（２）の左には、
１　しかない。
といふことは、
１の行　は、　「真　」であるが、
１の行　以外の「真偽」は、
１の行　に「依存」する。
といふことからすれば、
１（１）ソクラテスは人間である。　Ａ
１（２）ソクラテスは人間であるか、または、豚がイギリスの海峡を越えて編隊を組んで飛んでいる。　１選言導入の規則
といふ「推論」は、初めから、
１（１）　　　　ソクラテスは人間である。　Ａ
１（２）従って、ソクラテスは人間であるが、豚がイギリスの海峡を越えて編隊を組んで飛んでいるかどうかは、分からない。　１選言導入の規則
といふ「意味」であった。といふことになる。
従って、
（29）により、
（30）
１（１）Ｐ　Ａ
１（２）Ｐ∨Ｑ　１∨
１（３）Ｐ∨Ｑ∨Ｒ　１∨
１（４）Ｐ∨Ｑ∨Ｒ∨Ｓ　１∨
１（５）Ｐ∨Ｑ∨Ｒ∨Ｓ∨Ｔ　１∨
１（６）Ｐ∨Ｑ∨Ｒ∨Ｓ∨Ｔ∨Ｕ　１∨
といふ具合に、「いくらでも、無限に、選言肢を加へること」が出来、尚且つ、「これらの選言枝」は、「真」であっても、「偽」であっても、かまはない。
然るに、
（31）
１（１）Ｐ　　　Ａ
　（２）Ｐ→Ｐ　１１ＣＰ
　（〃）ＰであるならばＰである。　は、トートロジーである。
ｃｆ.
トートロジー（tautology）
文法的には同じ語の無意味な反復をいうが，論理学では，経験的知識の内容とはかかわりなく，必然的に真として成立する命題，ないしその関数関係をいう。
（ブリタニカ国際大百科事典 小項目事典の解説）
然るに、
（32）
１（１）　Ｐ　　　　　　　Ａ
１（２）　Ｐ∨～Ｐ　　　　∨Ｉ
１（３）～Ｐ∨　Ｐ　　　　２交換法則
１（４）　Ｐ→　Ｐ　　　　３含意の定義
　（５）　Ｐ→（Ｐ→Ｐ）　１４ＣＰ
　（〃）Ｐであるならば（ＰであるならばＰである）。　は、トートロジーである。
従って、
（31）（32）により、
（33）
① 　　　　　　　　ＰであるならばＰである。
② Ｐであるならば（ＰであるならばＰである）。
に於いて、
① は、トートロジーであり、
② も、トートロジーであるが、
② を「証明」するためには、「選言導入の規則（∨Ｉ）」を、「必要」とする。
然るに、
（34）
（ⅰ）
１　　（１）Ｐ∨Ｑ　Ａ
　２　（２）Ｐ　　　Ａ
　２　（３）Ｑ∨Ｐ　２∨Ｉ
　　４（４）　　Ｑ　Ａ
　　４（５）Ｑ∨Ｐ　２∨Ｉ
１　　（６）Ｑ∨Ｐ　１２３４５∨Ｅ
（ⅱ）
１　　（１）Ｑ∨Ｐ　Ａ
　２　（２）Ｑ　　　Ａ
　２　（３）Ｐ∨Ｑ　２∨Ｉ
　　４（４）　　Ｐ　Ａ
　　４（５）Ｐ∨Ｑ　２∨Ｉ
１　　（６）Ｐ∨Ｑ　１２３４５∨Ｅ
従って、
（34）により、
（35）
③ Ｐ∨Ｑ
④ Ｑ∨Ｐ
に於いて、すなはち、
③ Ｐであるか、Ｑである。
④ Ｑであるか、Ｐである。
に於いて、
③＝④ である。
といふ「交換法則」を「照明」するためにも、「選言導入の規則（∨Ｉ）」を、「必要」とする。
ｃｆ.
③ １＋２＝３
④ ２＋１＝３
然るに、
（36）
（ⅰ）
１　　　　（１）Ｐ∨（Ｑ∨Ｒ）　Ａ
　２　　　（２）Ｐ　　　　　　　Ａ
　２　　　（３）Ｐ∨Ｒ　　　　　２∨Ｉ
　２　　　（４）Ｑ∨（Ｐ∨Ｒ）　３∨Ｉ
　　５　　（５）　　　Ｑ∨Ｒ　　Ａ
　　　６　（６）　　　Ｑ　　　　Ａ
　　　６　（７）Ｑ∨（Ｐ∨Ｒ）　６∨Ｉ
　　　　８（８）　　　　　Ｒ　　Ａ
　　　　８（９）　　　Ｐ∨Ｒ　　８∨Ｉ
　　　　８（ア）Ｑ∨（Ｐ∨Ｒ）　９∨Ｉ
　　５　　（イ）Ｑ∨（Ｐ∨Ｒ）　５６７８ア∨Ｅ
１　　　　（ウ）Ｑ∨（Ｐ∨Ｒ）　１２４５イ∨Ｅ
（ⅱ）
１　　　　（１）Ｑ∨（Ｐ∨Ｒ）　Ａ
　２　　　（２）Ｑ　　　　　　　Ａ
　２　　　（３）Ｑ∨Ｒ　　　　　２∨Ｉ
　２　　　（４）Ｐ∨（Ｑ∨Ｒ）　３∨Ｉ
　　５　　（５）　　　Ｐ∨Ｒ　　Ａ
　　　６　（６）　　　Ｐ　　　　Ａ
　　　６　（７）Ｐ∨（Ｑ∨Ｒ）　６∨Ｉ
　　　　８（８）　　　　　Ｒ　　Ａ
　　　　８（９）　　　Ｑ∨Ｒ　　８∨Ｉ
　　　　８（ア）Ｐ∨（Ｑ∨Ｒ）　９∨Ｉ
　　５　　（イ）Ｐ∨（Ｑ∨Ｒ）　５６７８ア∨Ｅ
１　　　　（ウ）Ｐ∨（Ｑ∨Ｒ）　１２４５イ∨Ｅ
従って、
（36）により、
（37）
⑤ Ｐ∨（Ｑ∨Ｒ）
⑥ Ｑ∨（Ｐ∨Ｒ）
に於いて、すなはち、
⑤ Ｐであるか（Ｑであるか、Ｒである）。
⑥ Ｑであるか（Ｐであるか、Ｒである）。
に於いて、
⑤＝⑥ である。
といふ「交換法則」を「照明」するためにも、「選言導入の規則（∨Ｉ）」を、「必要」とする。
ｃｆ.
⑤ １＋（２＋３）＝６
⑥ ２＋（１＋３）＝６
（38）
（ⅰ）
１　　（１）　Ｐ＆（Ｑ∨Ｒ）　　　　Ａ
１　　（２）　Ｐ　　　　　　　　　　１＆Ｅ
１　　（３）　Ｑ∨Ｒ　　　　　　　　１＆Ｅ
　４　（４）　Ｑ　　　　　　　　　　Ａ
１４　（５）　Ｐ＆Ｑ　　　　　　　　２４＆Ｉ
１４　（６）（Ｐ＆Ｑ）∨（Ｐ＆Ｒ）　５∨Ｉ
　　７（７）　　　Ｒ　　　　　　　　Ａ
１　７（８）　　　　　　　Ｐ＆Ｒ　　２７＆Ｉ
１　７（９）（Ｐ＆Ｑ）∨（Ｐ＆Ｒ）　８∨Ｉ
１　　（ア）（Ｐ＆Ｑ）∨（Ｐ＆Ｒ）　３４６７９ＥＥ
（ⅱ）
１　　（１）（Ｐ＆Ｑ）∨（Ｐ＆Ｒ）　Ａ
　２　（２）（Ｐ＆Ｑ）　　　　　　　Ａ
　２　（３）　Ｐ　　　　　　　　　　２＆Ｅ
　２　（４）　　　Ｑ　　　　　　　　２＆Ｅ
　２　（５）　　　　Ｑ∨Ｒ　　　　　４∨Ｉ
　２　（６）　Ｐ＆（Ｑ∨Ｒ）　　　　３５＆Ｉ
　　７（７）　　　　　　（Ｐ＆Ｒ）　Ａ
　　７（８）　　　　　　　Ｐ　　　　７＆Ｅ
　　７（９）　　　　　　　　　Ｒ　　７＆Ｅ
　　７（ア）　　　　　　　Ｑ∨Ｒ　　９∨Ｉ
　　７（イ）　Ｐ＆（Ｑ∨Ｒ）　　　　８ア＆Ｉ
１　　（ウ）　Ｐ＆（Ｑ∨Ｒ）　　　　１２６７イＥＥ
従って、
（38）により、
（39）
⑦ 　Ｐ＆（Ｑ∨Ｒ）
⑧ （Ｐ＆Ｑ）∨（Ｐ＆Ｒ）
に於いて、すなはち、
⑦  Ｐであって（Ｑであるか、Ｒである）。
⑧（ＰであってＱである）か、（ＰであってＲである）。
といふ「分配法則」を「照明」するためにも、「選言導入の規則（∨Ｉ）」を、「必要」とする。
ｃｆ.
⑦　２×（３＋４）　　　＝１４
⑧（２×３）＋（２×４）＝１４
従って、
（33）～（39）により、
（40）
「選言導入の規則（∨Ｉ）」を認めなければ、「自然演繹（Natural deduction）」は、成り立たない。
ｃｆ.
自然演繹
出典: フリー百科事典『ウィキペディア（Wikipedia）』
ナビゲーションに移動検索に移動
自然演繹（しぜんえんえき、英: Natural deduction）は、「自然な」ものとしての論理的推論の形式的モデルを提供する証明理論の手法であり、哲学的論理学の用語である。
従って、
（29）（40）により、
（41）
例へば、
１（１）　　　　ソクラテスは人間である。　Ａ
１（２）従って、ソクラテスは人間であるが、豚がイギリスの海峡を越えて編隊を組んで飛んでいるかどうかは、分からない。
　１選言導入の規則
といふ、「選言導入の規則（∨Ｉ）」を認めなければ、「自然演繹（Natural deduction）」そのものが、成り立たない。
従って、
（28）（41）により、
（42）
１（１）ソクラテスは人間である。　Ａ
１（２）ソクラテスは人間であるか、または、豚がイギリスの海峡を越えて編隊を組んで飛んでいる。　１選言導入の規則
といふ「選言導入の規則（∨Ｉ）」に対して、「疑念」を持ってゐるのであれば、「自然演繹（Natural deduction）」自体に、
「疑念」を持ったまま、例へば、
１　　　　（１）Ｐ∨（Ｑ∨Ｒ）　Ａ
　２　　　（２）Ｐ　　　　　　　Ａ
　２　　　（３）Ｐ∨Ｒ　　　　　２∨Ｉ
　２　　　（４）Ｑ∨（Ｐ∨Ｒ）　３∨Ｉ
　　５　　（５）　　　Ｑ∨Ｒ　　Ａ
　　　６　（６）　　　Ｑ　　　　Ａ
　　　６　（７）Ｑ∨（Ｐ∨Ｒ）　６∨Ｉ
　　　　８（８）　　　　　Ｒ　　Ａ
　　　　８（９）　　　Ｐ∨Ｒ　　８∨Ｉ
　　　　８（ア）Ｑ∨（Ｐ∨Ｒ）　９∨Ｉ
　　５　　（イ）Ｑ∨（Ｐ∨Ｒ）　５６７８ア∨Ｅ
１　　　　（ウ）Ｑ∨（Ｐ∨Ｒ）　１２４５イ∨Ｅ
といふ「計算（Proposition calculation）」を、行ってゐることになる。
ｃｆ.
⑤ １０円∨（２百円∨３千円）＝３千２百十円
⑥ ２百円∨（１０円∨３千円）＝３千２百十円
然るに、
（43）
幸いなことに、今や、私自身は、「選言導入の規則（∨Ｉ）」に対して、「何らの、疑念」も、持ってはゐない。
（44）
１（１）　　　　ソクラテスは人間である。　Ａ
１（２）従って、ソクラテスは人間であるが、豚がイギリスの海峡を越えて編隊を組んで飛んでいるかどうかは、分からない。
　１選言導入の規則
といふ「推論（inference）」は、どう考へても、「自然（Natural）」であり、「妥当（valid）」である。