モーダストレンス
モーダストレンスは、条件文型の前提に対して対偶をとることでモーダスポネンスに変換可能である。例えば、次のようになる。
P ならば Q である(前提ー含意)
Q でないならば P でない(その対偶)
Q でない(前提)
従って、P でない(モーダスポネンスによる帰結)
同様に、モーダスポネンスを対偶を使ってモーダストレンスに変換可能である。