Modus ponens

De Viquipèdia
Dreceres ràpides: navegació, cerca

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.