Новая философская энциклопедия
Modus ponens (лат.) – способ заключения от отрицания следствия к отрицанию основания в гипотетических умозаключениях.