Modus ponens (llatí: mode que afirma) és una regla d'inferència simple:
Expressat en la notació d'operadors lògics:
on representa l'asserció lògica.
Categoria: Lògica