martes, 22 de junio de 2010

modus ponendo tollen

Modus ponendo tollens
De Wikipedia, la enciclopedia libre
Saltar a navegación, búsqueda
En lógica, el modus ponendo tollens (en latín, modo que afirmando niega) o MPT es una forma válida de argumento que dice:

O bien A, o bien B
A
Por lo tanto, no B
Por ejemplo, un razonamiento que sigue la forma del modus ponendo tollens podría ser:

O bien es de día, o bien es de noche.
Es de día.
Por lo tanto, no es de noche.
Otra manera de presentar el modus ponendo tollens es:


Y aún otra manera es a través de la notación del cálculo de secuentes:

No hay comentarios:

Publicar un comentario