Modus ponens

Keywords: Modus ponens, Latín, Modus tolendo tollens, Operador lógico

Modus ponens (Latín: modo que afirma) es una regla de inferencia simple:

Si P, entonces Q.

Entonces, Q.

Expresado en la notación de operadores lógicos:

$p \rightarrow q$

$\vdash p,$

$\vdash q$

donde $\vdash$ representa la aserción lógica.