Modus ponens

Modus ponendo ponens

De Wikipedia, la enciclopedia libre

(Redirigido desde Modus ponens)

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

Si P entonces Q.
P.
Entonces, Q.

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

p \rightarrow q, p \vdash q

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

También se puede expresar de la siguiente forma:

[(p \rightarrow q) \and p ] \vdash q

[editar] Véase también

Icono de esbozo
 El contenido de esta página es un esbozo sobre lógica. Ampliándolo ayudarás a mejorar Wikipedia.
Puedes ayudarte con las wikipedias en otras lenguas.
El contenido de esta página (o parte de ella) fue extraído de wikipedia y puede redistribuirse libremente bajo la licencia de documentación libre GNU
 

LaEncuesta

¿Te parece bien la clonación para recuperar especies extintas?
Ver resultados
¿Sabías que André Roussin (Dramaturgo francés. 1.911 - 1.987) dijo...?
Un intelectual es el que va a la biblioteca incluso cuando no llueve.