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.

Obtingut de «http://ca.wikipedia.org/wiki/Modus_ponens»