Základní a nejdůležitější logické odvozovací pravidlo, které platí pro různé druhy ↗implikace v tomtéž tvaru: z implikace a jejího ↗antecedentu plyne konsekvent. Symbolicky (pro striktní implikaci): A → B, A ∴ B. Např. z výroků „jestliže nejde proud, lampa nesvítí“ a „nejde proud“ plyne výrok „lampa nesvítí“.

Doplňující odvozovací pravidlo modus tollens má tvar: z implikace a negace konsekventu plyne negace antecedentu; symbolicky: A → B, ­B ∴ ­A. Např. z výroků „jestliže prší, pak je mokro“ a „není mokro“ plyne výrok „neprší“.

Zprostředkovaně se m.p. užívá i při odvození z obecného výroku jako premisy, např. v úsudku „každý člověk je smrtelný a Sokrates je člověk, tudíž Sokrates je smrtelný“. Vede však přes konkretizaci první premisy „jestliže Sokrates je člověk, pak Sokrates je smrtelný“, která spolu s druhou premisou vede aplikací m.p. k závěru.

V č. lingvistice m.p. používá např. ✍Karlík (1995) při odvozování ↗komunikačních funkcí kauzativních souvětí. Viz také ↗argumentace.