（1349）「条件法（Conditional Proof）」は「簡単」である。

（01）
この規則（ＣＰ）の扱い方は、これまでの規則のそれよりも会得しにくいものであるが、しかしそれに習熟することはがどうしても必要である。
Its working is harder to grasp than that of the earlier rules, but familiarity with it is indispensable.
（E.J.レモン著、論理学初歩、竹尾治一郎、浅野楢英 訳、1973年、２０頁）
然るに、
（02）
１　（１）　　Ｐ　　　Ａ
　２（２）　　　　Ｑ　Ａ
１２（３）　　Ｐ＆Ｑ　１２＆Ｉ
１　（４）Ｑ→Ｐ＆Ｑ　２３ＣＰ
従って、
（02）により、
（03）
① Ｐ├ Ｑ→Ｐ＆Ｑ
といふ「推論」、すなはち、「日本語」で言ふと、
① Ｐなので、Ｑならば、ＰであってＱである。
といふ「推論」は「妥当」である。
従って、
（03）により、
（04）
① Ｐなので、Ｑならば、ＰであってＱである。
に於いて、
Ｐ＝原さんは日本人である。
Ｑ＝原さんは女性　である。
として、
① 原さんは日本人なので、原さんが女性であるならば、原さんは日本人の女性である。
といふ「推論」は「妥当」である。
然るに、
（05）
１　　（１）　Ｐ→　Ｑ　Ａ
　２　（２）　　　～Ｑ　Ａ
　　３（３）　Ｐ　　　　Ａ
１　３（４）　　　　Ｑ　１３ＭＰＰ
１２３（５）　～Ｑ＆Ｑ　２４＆Ｉ
１２　（６）～Ｐ　　　　３５ＲＡＡ
１　　（７）～Ｑ→～Ｐ　２６ＣＰ
従って、
（05）により、
（06）
② Ｐ→Ｑ├ ～Ｑ→～Ｐ
といふ「推論」、すなはち、「日本語」で言ふと、
② ＰならばＱなので、ＱでないならばＰでない。
といふ「推論」は「妥当」である。
従って、
（06）により、
（07）
② Ｐ→Ｑ├ ～Ｑ→～Ｐ
に於いて、
Ｐ＝原さんは東京都民である。
Ｑ＝原さんは日本人　である、
として、
② 原さんが東京都民であるならば、原さんは日本人なので、原さんが日本人でないならば、原さんは東京都民ではない。
といふ「推論」は「妥当」である。
従って、
（03）（07）により、
（08）
① Ｐ├ Ｑ→Ｐ＆Ｑ
② Ｐ→Ｑ├ ～Ｑ→～Ｐ
といふ「推論」の「代入例（substitution instances）」として、
① 原さんは日本人なので、原さんが女性であるならば、原さんは日本人の女性である。
② 原さんが東京都民であるならば、原さんは日本人なので、原さんが日本人でないならば、原さんは東京都民ではない。
といふ「推論」は「妥当」であるが、
① 原さんは日本人なので、原さんが女性であるならば、原さんは日本人の女性である。
② 原さんが東京都民であるならば、原さんは日本人なので、原さんが日本人でないならば、原さんは東京都民ではない。
といふ「推論」が「正しい」ことは、「当然（当り前）」である。
従って、
（08）により、
（09）
① Ｐ├ Ｑ→Ｐ＆Ｑ
② Ｐ→Ｑ├ ～Ｑ→～Ｐ
といふ「論理式」が「正しい」ことは、「当然（常識）」である。
従って、
（02）～（09）により、
（10）
① 原さんは日本人なので、原さんが女性であるならば、原さんは日本人の女性である。
② 原さんが東京都民であるならば、原さんは日本人なので、原さんが日本人でないならば、原さんは東京都民ではない。
といふ「日本語」で考へれば、
（ⅰ）
１　（１）　　Ｐ　　　Ａ
　２（２）　　　　Ｑ　Ａ
１２（３）　　Ｐ＆Ｑ　１２＆Ｉ
１　（４）Ｑ→Ｐ＆Ｑ　２３ＣＰ
（ⅱ）
１　　（１）　Ｐ→　Ｑ　Ａ
　２　（２）　　　～Ｑ　Ａ
　　３（３）　Ｐ　　　　Ａ
１　３（４）　　　　Ｑ　１３ＭＰＰ
１２３（５）　～Ｑ＆Ｑ　２４＆Ｉ
１２　（６）～Ｐ　　　　３５ＲＡＡ
１　　（７）～Ｑ→～Ｐ　２６ＣＰ
といふ「命題計算（Propsitional Calculus）」が「正しい」ことは、「疑ふ余地が無い」。
従って、
（01）（10）により、
（11）
「E.J.レモン」とは異なり、「ブロガー自身」は、
この規則（ＣＰ）の扱い方は、他の規則のそれよりも会得しにくいものである。
Its working is harder to grasp than that of the other rules.
といふ風には、思ってゐない。