（1341）「パースの法則（論理学初歩・練習問題）」

（01）
命題計算では、パースの法則は （（Ｐ→Ｑ）→Ｐ）→Ｐ のことを言う。この意味するところを書き出すと、命題Ｐについて、命題Ｑが存在して、「ＰならばＱ」からＰが真であることが従うときには、Ｐは真でなければならないとなる。とりわけ、Ｑとして偽を選んだ場合には、Ｐから偽が従うときは常にＰが真であるならば、Ｐは真であるとなる。パースの法則は直観論理や中間論理では成立せず、演繹定理だけからでは導くことができない（ウィキペディア）。
然るに、
（02）
５　原始的規則あるいは導出された規則を、既にに証明されたどのような連式あるいは定理とでもともに用いて、証明せよ。
５　Using Primitive or deriverd rulues, together with any sequents or theorems already Proved,Prove.
（E.J.レモン著、竹尾治一郎・浅野楢英 訳、論理学初歩、1973年、８０頁）
（ｃ）
１　　（１）　　（Ｐ→Ｑ）→Ｐ　　　Ａ
１　　（２）　（～Ｐ∨Ｑ）→Ｐ　　　１含意の定義
１　　（３）～（～Ｐ∨Ｑ）∨Ｐ　　　２含意の定義
　４　（４）～（～Ｐ∨Ｑ）　　　　　Ａ
　４　（５）　　Ｐ＆～Ｑ　　　　　　４ド・モルガンの法則
　４　（６）　　Ｐ　　　　　　　　　５＆Ｅ
　　７（７）　　　　　　　　Ｐ　　　Ａ
１　　（８）　　Ｐ　　　　　　　　　１４６７７∨Ｅ
　　　（９）（（Ｐ→Ｑ）→Ｐ）→Ｐ　１８ＣＰ
従って、
（01）（02）により、
（03）
「含意の定義、ド・モルガンの法則」を用いれば、「パースの法則」は、「９行の計算」で、「証明」出来る。
然るに、
（04）
（ⅰ）
１　　　　（１）　　　Ｐ→　Ｑ　　　Ａ
　２　　　（２）　　　Ｐ＆～Ｑ　　　Ａ
　２　　　（３）　　　Ｐ　　　　　　２＆Ｅ
１２　　　（４）　　　　　　Ｑ　　　１３ＭＰＰ
　２　　　（５）　　　　　～Ｑ　　　２＆Ｅ
１２　　　（６）　　　Ｑ＆～Ｑ　　　４５＆Ｉ
１　　　　（７）　～（Ｐ＆～Ｑ）　　２６ＲＡＡ
　　８　　（８）　～（～Ｐ∨Ｑ）　　Ａ
　　　９　（９）　　　～Ｐ　　　　　Ａ
　　　９　（ア）　　　～Ｐ∨Ｑ　　　９∨Ｉ
　　８９　（イ）　～（～Ｐ∨Ｑ）＆
　　　　　　　　　　（～Ｐ∨Ｑ）　　８ア＆Ｉ
　　８　　（ウ）　　～～Ｐ　　　　　９イＲＡＡ
　　８　　（エ）　　　　Ｐ　　　　　ウＤＮ
　　　　オ（オ）　　　　　　Ｑ　　　Ａ
　　　　オ（カ）　　　～Ｐ∨Ｑ　　　オ∨Ｉ
　　８　オ（キ）　～（～Ｐ∨Ｑ）＆
　　　　　　　　　　（～Ｐ∨Ｑ）　　８オ＆Ｉ
　　８　　（ク）　　　　　～Ｑ　　　オキＲＡＡ
　　８　　（ケ）　　　Ｐ＆～Ｑ　　　エク＆Ｉ
１　８　　（コ）　～（Ｐ＆～Ｑ）＆
　　　　　　　　　　（Ｐ＆～Ｑ）　　７ケ＆Ｉ
１　　　　（サ）～～（～Ｐ∨Ｑ）　　８コＲＡＡ
１　　　　（シ）　　　～Ｐ∨Ｑ　　　サＤＮ
（ⅱ）
１　　　　　（１）　　　～Ｐ∨Ｑ　　　Ａ
　２　　　　（２）　　　Ｐ＆～Ｑ　　　Ａ
　　３　　　（３）　　　～Ｐ　　　　　Ａ
　２　　　　（４）　　　Ｐ　　　　　　２＆Ｅ
　２３　　　（５）　　　～Ｐ＆Ｐ　　　３４＆Ｉ
　　３　　　（６）　～（Ｐ＆～Ｑ）　　２５ＲＡＡ
　　　７　　（７）　　　　　　Ｑ　　　Ａ
　２　　　　（８）　　　　　～Ｑ　　　２＆Ｅ
　２　７　　（９）　　　Ｑ＆～Ｑ　　　７８＆Ｉ
　　　７　　（ア）　～（Ｐ＆～Ｑ）　　２９ＲＡＡ
１　　　　　（イ）　～（Ｐ＆～Ｑ）　　１３６７ア∨Ｅ
　　　　ウ　（ウ）　　　Ｐ　　　　　　Ａ
　　　　　エ（エ）　　　　　～Ｑ　　　Ａ
　　　　ウエ（オ）　　　Ｐ＆～Ｑ　　　ウエ＆Ｉ
１　　　ウエ（カ）　～（Ｐ＆～Ｑ）＆
　　　　　　　　　　　（Ｐ＆～Ｑ）　　６オ＆Ｉ
１　　　ウ　（キ）　　　　～～Ｑ　　　エカＲＡＡ
１　　　ウ　（ク）　　　　　　Ｑ　　　キＤＮ
１　　　　　（ケ）　　　Ｐ→　Ｑ　　　ウクＣＰ
従って、
（01）（04）により、
（05）
①　 Ｐ→Ｑ
② ～Ｐ∨Ｑ
に於いて、
①＝② は「含意の定義」であって、「E.J.レモンの原始的規則（Primitive rules）」で「証明」出来る。
然るに、
（04）により、
（06）
（ⅰ）
１　　　　（７）　～（Ｐ＆～Ｑ）　　２６ＲＡＡ
　　８　　（８）　～（～Ｐ∨Ｑ）　　Ａ
　　　９　（９）　　　～Ｐ　　　　　Ａ
　　　９　（ア）　　　～Ｐ∨Ｑ　　　９∨Ｉ
　　８９　（イ）　～（～Ｐ∨Ｑ）＆
　　　　　　　　　　（～Ｐ∨Ｑ）　　８ア＆Ｉ
　　８　　（ウ）　　～～Ｐ　　　　　９イＲＡＡ
　　８　　（エ）　　　　Ｐ　　　　　ウＤＮ
　　　　オ（オ）　　　　　　Ｑ　　　Ａ
　　　　オ（カ）　　　～Ｐ∨Ｑ　　　オ∨Ｉ
（ⅱ）
１　　　　（１）　　　～Ｐ∨Ｑ　　　Ａ
　２　　　（２）　　　Ｐ＆～Ｑ　　　Ａ
　　３　　（３）　　　～Ｐ　　　　　Ａ
　２　　　（４）　　　Ｐ　　　　　　２＆Ｅ
　２３　　（５）　　　～Ｐ＆Ｐ　　　３４＆Ｉ
　　３　　（６）　～（Ｐ＆～Ｑ）　　２５ＲＡＡ
　　　７　（７）　　　　　　Ｑ　　　Ａ
　２　　　（８）　　　　　～Ｑ　　　２＆Ｅ
　２　７　（９）　　　Ｑ＆～Ｑ　　　７８＆Ｉ
　　　７　（ア）　～（Ｐ＆～Ｑ）　　２９ＲＡＡ
１　　　　（イ）　～（Ｐ＆～Ｑ）　　１３６７ア∨Ｅ
従って、
（01）（06）により、
（07）
① ～（Ｐ＆～Ｑ）
② 　～Ｐ∨　Ｑ
に於いて、
①＝② は「ド・モルガンの法則」であって、「E.J.レモンの原始的規則（Primitive rules）」で「証明」出来る。
然るに、
（08）
自然演繹（しぜんえんえき、英: Natural deduction）は、「自然な」ものとしての論理的推論の形式的モデルを提供する証明理論の手法であり、哲学的論理学の用語である。自然演繹論理のあるバージョンには、公理が存在しない。ジョン・レモンが開発した体系Ｌは、証明の構文規則に関する次のような「１０個の原始的規則（Primitive rules）」だけを持つ。
（ウィキペディア改）
従って、
（03）（05）（07）（08）により、
（09）
「パースの法則」は、「自然演繹（ジョン・レモンが開発した体系Ｌ）」に於ける、「１０個の原始的規則（Primitive rules）」で、「証明」出来る。
従って、
（01）（09）により、
（10）
命題計算では、「パースの法則」は （（Ｐ→Ｑ）→Ｐ）→Ｐ のことを言うものの、「パースの法則」は 「自然な」ものとしての「論理的推論の形式的モデルを提供する証明理論の手法」によって、「証明」出来る。