「モーダスポネンス（肯定肯定式）とモーダストレンス（否定否定式）」と「背理法」。

（01）
① Ｐ→Ｑ，　Ｐ├　 Ｑ
② Ｐ→Ｑ，～Ｑ├ ～Ｐ
に於いて、すなはち、
① ＰならばＱであるが、Ｐである。故に、Ｑである。
② ＰならばＱであるが、Ｑでない。故に、Ｐでない。
に於いて、
① を「モーダスポネンス（ＭＰＰ）」と言ひ、
② を「モーダストレンス（ＭＴＴ）」と言ふ。
然るに、
（02）
１　　（１）　Ｐ→　Ｑ　Ａ
　２　（２）　　　～Ｑ　Ａ
　　３（３）　Ｐ　　　　Ａ
１　３（４）　　　　Ｑ　１３ＭＰＰ
１２３（５）　～Ｑ＆Ｑ　２４＆Ｉ
１２　（６）～Ｐ　　　　３５ＲＡＡ（背理法）
然るに、
（03）
１　　（１）　Ｐ→　Ｑ　Ａ
　２　（２）　Ｐ　　　　Ａ
　　３（３）　　　～Ｑ　Ａ
１　３（４）～Ｐ　　　　１３ＭＴＴ
１２３（５）～Ｐ＆Ｐ　　２３＆Ｉ
１２　（６）　　～～Ｑ　３５ＲＡＡ（背理法）
１２　（７）　　　　Ｑ　６ＤＮ
従って、
（01）（02）（03）により、
（04）
「モーダストレンス（ＭＴＴ）」は、「モーダスポネンス（ＭＰＰ）」と「背理法（ＲＡＡ）」で「代用」出来、
「モーダスポネンス（ＭＰＰ）」は、「モーダストレンス（ＭＴＴ）」と「背理法（ＲＡＡ）」で「代用」出来る。
令和５年１０月１１日、毛利太。