About: モーダストレンス

モーダストレンス（英: Modus tollens, MT）は、間接証明（indirect proof）や対偶による証明（proof by contradiction）の正式な名称である。ラテン語で「否定によって肯定する様式」の意。後件否定（denying the consequent）とも呼ぶが妥当な論証形式であり、似たような名称の妥当でない論証形式（後件肯定や前件否定）とは異なる。 モーダストレンスは次のような形式である。 P ならば Q である。Q は偽である。従って、P は偽である。