modus ponens
, základní a nejdůležitější odvozovací pravidlo, které platí pro různé druhy implikace v tomtéž tvaru. Z implikace a jejího antescedentu plyne konsekvent. Viz též pravidlo odvozování.
