Modus ponens

De Viquipèdia

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.