Modus ponens

Modus ponens (llatí: mode que afirma) és una regla d'inferència simple:

Si P, llavors Q.

P.

Llavors, Q.

Expressat en la notació d'operadors lògics:

$p \rightarrow q$

$\vdash p,$

$\vdash q$

on $\vdash$ representa l'asserció lògica.