（203）恒真式（トートロジー）について。

（01）
（ⅰ）
　　　　１　（１）　　Ｐ→　Ｑ　Ａ
　　　　　２（２）　　Ｐ＆～Ｑ　Ａ
　　　　　２（３）　　Ｐ　　　　２＆Ｅ
　　　　　２（４）　　　　～Ｑ　２＆Ｅ
　　　　１２（５）　　　　　Ｑ　１３ＭＰＰ
　　　　１２（６）　　～Ｑ＆Ｑ　４５＆Ｉ
　　　　１　（７）　　　～～Ｑ　４６ＲＡＡ
　　　　１　（８）　　　　　Ｑ　７ＤＮ
　　　　１　（９）　　～Ｐ∨Ｑ　８∨Ｉ
（ⅱ）
１　　　　　（１）　～Ｐ∨　Ｑ　　　Ａ
　２　　　　（２）　　Ｐ＆～Ｑ　　　Ａ
　　３　　　（３）　～Ｐ　　　　　　Ａ
　２　　　　（４）　　Ｐ　　　　　　２＆Ｅ
　２３　　　（５）　～Ｐ＆　Ｐ　　　３４＆Ｉ
　　３　　　（６）～（Ｐ＆～Ｑ）　　２５ＲＡＡ
　　　７　　（７）　　　　　Ｑ　　　Ａ
　２　　　　（８）　　　　～Ｑ　　　Ａ
　２　７　　（９）　　Ｑ＆～Ｑ　　　７８＆Ｉ
　　　７　　（ア）～（Ｐ＆～Ｑ）　　２９ＲＡＡ
１　　　　　（イ）～（Ｐ＆～Ｑ）　　１３６７ア∨Ｅ
　　　　ウ　（ウ）　　Ｐ　　　　　　Ａ
　　　　　エ（エ）　　　　～Ｑ　　　Ａ
　　　　ウエ（オ）　　Ｐ＆～Ｑ　　　エオ＆Ｉ
１　　　ウエ（カ）～（Ｐ＆～Ｑ）＆
　　　　　　　　　　（Ｐ＆～Ｑ）　　イオ＆Ｉ
１　　　ウ　（キ）　　　～～Ｑ　　　７カＲＡＡ
１　　　ウ　（ク）　　　　　Ｑ　　　キＤＮ
１　　　　　（ケ）　　Ｐ→　Ｑ　　　ウクＣＰ
従って、
（01）により、
（02）
（ⅰ）　Ｐ→Ｑ
（ⅱ）～Ｐ∨Ｑ
に於いて、
（ⅰ）＝（ⅱ） であるものの、「この等式」を、「含意の定義α」とする。
（03）
（ⅲ）
　　　　１　（１）　　Ｐ→　Ｑ　　Ａ
　　　　　２（２）　　Ｐ＆～Ｑ　　Ａ
　　　　　２（３）　　Ｐ　　　　　２＆Ｅ
　　　　　２（４）　　　　～Ｑ　　２＆Ｅ
　　　　１２（５）　　　　　Ｑ　　１３ＭＰＰ
　　　　１２（６）　　～Ｑ＆Ｑ　　４５＆Ｉ
　　　　１　（７）～（Ｐ＆～Ｑ）　２６ＲＡＡ
（ⅳ）
　　　１　　（１）～（Ｐ＆～Ｑ）　　Ａ
　　　　２　（２）　　Ｐ　　　　　　Ａ
　　　　　３（３）　　　　～Ｑ　　　Ａ
　　　　２３（４）　　Ｐ＆～Ｑ　　　２３＆Ｉ
　　　１２３（５）～（Ｐ＆～Ｑ）＆
　　　　　　　　　　（Ｐ＆～Ｑ）　　１４＆Ｉ
　　　１２　（６）　　　～～Ｑ　　　３５ＲＡＡ
　　　１２　（７）　　　　　Ｑ　　　６ＤＮ
　　　１　　（８）　　Ｐ→　Ｑ　　　２７ＣＰ
従って、
（03）により、
（04）
（ⅲ）　　Ｐ→　Ｑ
（ⅳ）～（Ｐ＆～Ｑ）
に於いて、
（ⅲ）＝（ⅳ） であるものの、「この等式」を、「含意の定義β」とする。
然るに、
（05）
（ａ）
１（１）　　Ｐ　　　　　Ａ
　（２）　　Ｐ→Ｐ　　　１１ＣＰ
（ｂ）
１（１）　　Ｐ　　　　　Ａ
　（２）　　Ｐ→Ｐ　　　１１ＣＰ
　（３）　～Ｐ∨Ｐ　　　２含意の定義α
（ｃ）
１（１）　　Ｐ　　　　　Ａ
　（２）　　Ｐ→Ｐ　　　１１ＣＰ
　（３）～（Ｐ＆～Ｐ）　２含意の定義β
従って、
（05）により、
（06）
「Ｐ→Ｐ」＝「～Ｐ∨Ｐ」＝「～（Ｐ＆～Ｐ）」
である。
従って、
（06）により、
（07）
「Ｐ→Ｐ」＝「～Ｐ∨Ｐ」＝「～（Ｐ＆～Ｐ）」⇔
「ＰならばＰである。」＝「Ｐでないか、または、Ｐである。」＝「ＰであってＰでない。といふことはない。」
である。
然るに、
（08）
「ＰならばＰである。」の「対偶」は、
「ＰでないならばＰでない。」である。
従って、
（07）（08）により、
（09）
「ＰならばＰである。」
「ＰでないならばＰでない。」
「Ｐでないか、または、Ｐである。」
「ＰであってＰでない。といふことはない。」
に於いて、「４つの言ひ方」は、すべて、「同じこと」である。
然るに、
（10）
「Ｐでないか、または、Ｐである。」
といふことと、
「ＰでないならばＰでなく、ＰであるならばＰである。」
といふことは、たしかに、「同じこと」である。
然るに、
（11）
「Ｐでないか、または、Ｐである。」
といふことは、
「Ｐであるのか、Ｐでないのかは、分からない。」
といふことである。
然るに、
（12）
「Ｐであるのか、Ｐでないのかは、分からない。」
と、誰かが言ふならば、その誰かは、
「Ｐであるとは、言ってゐないし、Ｐでないとも、言ってゐない。」
といふことである。
然るに、
（13）
「Ｐであるとは、言ってゐないし、Ｐでないとも、言ってゐない。」
と、誰かが言ったとして、その誰かが「言ったこと」を、「否定」することは、「不可能」である。
従って、
（06）～（13）により、
（14）
「　　Ｐ→　Ｐ　」＝「ＰならばＰである。」⇔
「　～Ｐ→～Ｐ　」＝「ＰでないならばＰでない。」⇔
「　～Ｐ∨　Ｐ　」＝「Ｐでないか、または、Ｐである。」⇔
「～（Ｐ＆～Ｐ）」＝「ＰであってＰでない。といふことはない。」
といふ「４通りの、言ひ方」は、誰にも「否定できず」、それ故、「常に真（トートロジー）」である。
然るに、
（15）
１（１）　～（Ｐ＆～Ｐ）　Ａ
１（２）～～（Ｐ＆～Ｐ）　Ａ
１（３）　　（Ｐ＆～Ｐ）　２ＤＮ
然るに、
（16）
（ⅴ）
１　　　（１）　～（～Ｐ∨Ｑ）　　　　　　　　Ａ
　２　　（２）　　　～Ｐ　　　　　　　　　　　Ａ
　２　　（３）　　　～Ｐ∨Ｑ　　　　　　　　　２∨Ｉ
１２　　（４）　～（～Ｐ∨Ｑ）＆（～Ｐ∨Ｑ）　１３＆Ｉ
１　　　（５）　　～～Ｐ　　　　　　　　　　　２４ＲＡＡ
１　　　（６）　　　　Ｐ　　　　　　　　　　　５ＤＮ
　　　７（７）　　　　　　Ｑ　　　　　　　　　Ａ
　　　７（８）　　　～Ｐ∨Ｑ　　　　　　　　　７∨Ｉ
１　　７（９）　～（～Ｐ∨Ｑ）＆（～Ｐ∨Ｑ）　１８＆Ｉ
１　　　（ア）　　　　　～Ｑ　　　　　　　　　７９ＲＡＡ
１　　　（ウ）　　　Ｐ＆～Ｑ　　　　　　　　　６イ＆Ｉ
（ⅵ）
１　　　（１）　　　Ｐ＆～Ｑ　　　　　　　　　　Ａ
　２　　（２）　　～Ｐ∨　Ｑ　　　　　　　　　　Ａ
　　３　（３）　　～Ｐ　　　　　　　　　　　　　Ａ
１　　　（４）　　　Ｐ　　　　　　　　　　　　　１＆Ｅ
１　３　（５）　　～Ｐ＆　Ｐ　　　　　　　　　　３４＆Ｉ
　　３　（６）　～（Ｐ＆～Ｑ）　　　　　　　　　１５ＲＡＡ
　　　７（７）　　　　　　Ｑ　　　　　　　　　　Ａ
１　　　（８）　　　　　～Ｑ　　　　　　　　　　１＆Ｅ
１　　７（９）　　　Ｑ＆～Ｑ　　　　　　　　　　７８＆Ｉ
　　　７（ア）　～（Ｐ＆～Ｑ）　　　　　　　　　１９ＲＡＡ
　２　　（イ）　～（Ｐ＆～Ｑ）　　　　　　　　　２３６７ア∨Ｅ
１２　　（ウ）　　（Ｐ＆～Ｑ）＆～（Ｐ＆～Ｑ）　１イ＆Ｉ
１　　　（エ）～（～Ｐ∨　Ｑ）　　　　　　　　　２ウＲＡＡ
従って、
（16）により、
（17）
（ⅴ）～（～Ｐ∨　Ｑ）　
（ⅵ）　（　Ｐ＆～Ｑ）
に於いて、
（ⅴ）＝（ⅵ） である。
ものの、「この等式」を、「ド・モルガンの法則」と言ふ。
然るに、
（18）
（ⅴ）～（～Ｐ∨　Ｑ）　
（ⅵ）　（　Ｐ＆～Ｑ）
に於いて、
（ⅴ）Ｑ＝Ｐ
（ⅵ）Ｑ＝Ｐ
といふ「代入」を行ふと、
（ⅴ）～（～Ｐ∨　Ｐ）　
（ⅵ）　（　Ｐ＆～Ｐ）
従って、
（17）（18）により、
（19）
（ⅴ）～（～Ｐ∨　Ｐ）　
（ⅵ）　（　Ｐ＆～Ｐ）
に於いて、
（ⅴ）＝（ⅵ） である。
従って、
（14）（15）（19）により、
（20）
「　～Ｐ∨　Ｐ　」＝「Ｐでないか、または、Ｐである。」⇔
「～（Ｐ＆～Ｐ）」＝「ＰであってＰでない。といふことはない。」⇔
を「否定」すると、「矛盾（Ｐ＆～Ｐ）」が、生じることになる。
従って、
（09）（14）（20）により、
（21）
「　　Ｐ→　Ｐ　」＝「ＰならばＰである。」⇔
「　～Ｐ→～Ｐ　」＝「ＰでないならばＰでない。」⇔
「　～Ｐ∨　Ｐ　」＝「Ｐでないか、または、Ｐである。」⇔
「～（Ｐ＆～Ｐ）」＝「ＰであってＰでない。といふことはない。」
といふ「４通り」を「否定」すると、「矛盾（Ｐ＆～Ｐ）」が、生じることになる。
然るに、
（22）
「矛盾（Ｐ＆～Ｐ）」の「肯定」するわけには、行かない。
従って、
（21）（22）により、
（23）
「　　Ｐ→　Ｐ　」＝「ＰならばＰである。」⇔
「　～Ｐ→～Ｐ　」＝「ＰでないならばＰでない。」⇔
「　～Ｐ∨　Ｐ　」＝「Ｐでないか、または、Ｐである。」⇔
「～（Ｐ＆～Ｐ）」＝「ＰであってＰでない。といふことはない。」
といふ「４通りの、言ひ方」は、誰にも「否定できず」、それ故、「常に真（トートロジー）」である。
従って、
（22）（23）により、
（24）
「　　Ｐ→　Ｐ　」＝「ＰならばＰである。」⇔
「　～Ｐ→～Ｐ　」＝「ＰでないならばＰでない。」⇔
「　～Ｐ∨　Ｐ　」＝「Ｐでないか、または、Ｐである。」⇔
「～（Ｐ＆～Ｐ）」＝「ＰであってＰでない。といふことはない。」
といふ「４通りの、言ひ方」は、「当然のこと」を述べてゐるのと「同時」に、「矛盾（Ｐ＆～Ｐ）」は、「否定」しなければならない。
といふことを、述べてゐる。
（25）
１（１）～Ｐ　　　　Ａ
１（２）～Ｐ∨　Ｑ　１∨Ｉ
１（３）　Ｐ→　Ｑ　３含意の定義α
１（４）　　　～Ｑ　前件否定
然るに、
（26）
　Ｐ＝Ａは外国人である。とすれば、
～Ｐ＝Ａは日本人である。
　Ｑ＝Ａは女性である。　とすれば、
～Ｑ＝Ａは男性である。
従って、
（25）（26）により、
（27）
１（１）～Ｐ　　　　Ａ
１（２）～Ｐ∨　Ｑ　１∨Ｉ
１（３）　Ｐ→　Ｑ　３含意の定義α
１（４）　　　～Ｑ　１３前件否定
といふ「計算」が「正しい」のであれば、
１（１）～Ｐ　　　　Ａ
からは、「どのような結論」をも、得ることが出来る。
然るに、
（28）
前件否定（ぜんけんひてい、英: Denying the antecedent）は、誤謬の一種であり、次のような推論の論証形式に関する誤謬である。
もし Ｐ ならば、Ｑ である。
Ｐ ではない。
従って、Ｑ ではない。
この形式の主張は妥当ではない。この形式の論証はたとえ前提が真であっても、結論を導く推論過程に瑕疵がある（ウィキペディア）。
従って、
（27）（28）により、
（29）
１（１）～Ｐ　　　　Ａ
１（２）～Ｐ∨　Ｑ　１∨Ｉ
１（３）　Ｐ→　Ｑ　３含意の定義α
１（４）　　　～Ｑ　１３前件否定
といふ「計算（前件否定の誤謬）」は「マチガイ」である。
然るに、
（30）
１（１）～Ｐ＆Ｐ　Ａ
１（２）～Ｐ　　　１＆Ｅ
１（３）～Ｐ∨Ｑ　２∨Ｉ
１（４）　Ｐ→Ｑ　３含意の定義α
１（５）　Ｐ　　　１＆Ｅ
１（６）　　　Ｑ　４５ＭＰＰ
といふ「計算」は、「正しい」。
従って、
（30）により、
（31）
１（１）～Ｐ＆Ｐ　Ａ
といふ「矛盾（～Ｐ＆Ｐ）」を「仮定」すれば、どのやうな「結論（Ｑ）」であって、「否定」出来ない。
然るに、
（32）
１（１）　　～Ｐ＆Ｐ　　Ａ
　（２）～（～Ｐ＆Ｐ）　１１ＲＡＡ
従って、
（33）
「自然演繹（Natural deduction）」では、
１（１）　　～Ｐ＆Ｐ　　Ａ
　（２）～（～Ｐ＆Ｐ）　１１ＲＡＡ
といふ具合に、「矛盾（～Ｐ＆Ｐ）」を「仮定（Ａ）」すると、ただちに、「背理法（ＲＡＡ）」によって、「否定」される。