martes, 22 de marzo de 2011

MODUS PONENDO PONENS


En lógica, el modus ponendo ponens (en latínmodo que afirmando afirma), también llamado modus
ponens y generalmente abreviado MPP o MP, es una regla de inferencia que tiene la siguiente forma:
Si A, entonces B
A
Por lo tanto, B
Por ejemplo, un razonamiento que sigue la forma del modus ponens podría ser:
Si está soleado, entonces es de día.
Está soleado.
Por lo tanto, es de día.

   \begin{array}{r}
      A \to B \\
      A  \\
      \hline
      B
   \end{array}
Si deseas ampliar la información entra a: http://es.wikipedia.org/wiki/Modus_ponendo_ponens

No hay comentarios:

Publicar un comentario