Modus ponens

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

Источник: Новая философская энциклопедия на Gufo.me