「背理法（ＲＡＡ）」について。

（01）
（ⅰ）
１　　（１）　　Ｐ→Ｑ　Ａ
　２　（２）　　Ｐ　　　Ａ
　　３（３）　　　～Ｑ　Ａ
１２　（４）　　　　Ｑ　１２ＭＰＰ
１２３（５）　～Ｑ＆Ｑ　３４＆Ｉ
従って、
（01）により、
（02）
（ⅰ）
１２＿（６）　　～～Ｑ　３５背理法（ＲＡＡ）
１２＿（７）　　　　Ｑ　６ＤＮ
（ⅱ）
１＿３（６）　～Ｐ　　　２５背理法（ＲＡＡ）
（ⅲ）
＿２３（６）～（Ｐ→Ｑ）１３背理法（ＲＡＡ）
といふ、「３通りのＲＡＡ」が、成立する。
従って、
（01）（02）により、
（03）
「背理法（ＲＡＡ）」により、
① Ｐ→Ｑ，　Ｐ├ Ｑ
② Ｐ→Ｑ，～Ｑ├ ～Ｐ
③ Ｐ，～Ｑ├ ～（Ｐ→Ｑ）
といふ「連式」、すなはち、
① ＰならばＱである。然るに、Ｐである。故に、Ｑである。
② ＰならばＱである。然るに、Ｑでない。故に、Ｐでない。
③ ＰであってＱでない。故に、ＰならばＱである。といふことはない。
といふ「連式」が、「証明」できる。
然るに、
（04）
① ＰならばＱである。然るに、Ｐである。故に、Ｑである。
② ＰならばＱである。然るに、Ｑでない。故に、Ｐでない。
といふ有名な「連式（ＭＰＰとＭＴＴ）」は、明らかに、「妥当」である。
然るに、
（05）
③ ＰであってＱでない。
といふのであれば、
③ ＰならばＱである。といふことはない。
といふことは、「当然」である。
従って、
（01）～（05）により、
（06）
（ⅰ）
１　　（１）　　Ｐ→Ｑ　Ａ
　２　（２）　　Ｐ　　　Ａ
　　３（３）　　　～Ｑ　Ａ
１２　（４）　　　　Ｑ　１２ＭＰＰ
１２３（５）　～Ｑ＆Ｑ　３４＆Ｉ
といふ「計算の続き」として、「背理法（ＲＡＡ）」により、
① Ｐ→Ｑ，　Ｐ├ Ｑ
② Ｐ→Ｑ，～Ｑ├ ～Ｐ
③ Ｐ，～Ｑ├ ～（Ｐ→Ｑ）
といふ「３つの連式」が「証明」でき、これらは、明らかに「妥当」である。
令和元年１１月０４日、毛利太。