Modus ponens and modus tollens(ラテン語:”肯定の方法”と”否定の方法”)命題論理において、仮説的な命題、すなわち”If A,then B”という形式の命題から引き出すことができる二つのタイプの推論。 . . その後”）。 Modus ponensはa⊃Bの形の推論を指し、したがってB.Modus tollensはa⊃Bの形の推論を指し、∼Bはしたがって、∼A（∼は”not”を意味する）。, Modus tollensの例は次のとおりです：

角度が半円に内接している場合、それは直角です;この角度は直角ではありません;したがって、この角度は半円に内接していません。

分離的な前提のために（”どちらか”を意味するλを採用。 . . または”）、modus tollendo ponensとmodus ponendo tollensという用語は、a≤B;∼A、したがってB、およびA≤B;A、したがって∼Bの形式の引数に使用されます（排他的な論理和に対してのみ有効：”AまたはBのいずれかですが、両方ではありません”）。 Modus ponensのルールは、事実上すべての正式な論理システムに組み込まれています。