Modus tollendo ponens

De Wikipedia, la enciclopedia libre (Redirigido desde Silogismo disyuntivo) En lgica, el silogismo disyuntivo, histricamente conocido como modus tollendo ponens (en latn, modo que negando afirma) o MTP, es una forma vlida de argumento: es el caso que A, o es el caso que B No A Por lo tanto, B o exclusivo: O es el caso que A, o es el caso que B No A Por lo tanto, B Por ejemplo, un razonamiento que sigue la forma del silogismo disyuntivo exclusivo podra ser: O es de da o es de noche. No es de da. Por lo tanto, es de noche. Otra manera de presentar el silogismo disyuntivo utilizando conectivas lgicas es:

o exclusivo

Y an otra manera es a travs de la notacin del clculo de secuentes:

o exclusivo

En lgica proposicional su representacin sera la siguiente : y exclusivo:

Vase tambin
Modus ponendo ponens Modus tollendo tollens Modus ponendo tollens Razonamiento deductivo Disyuncin lgica Obtenido de http://es.wikipedia.org/w/index.php?title=Modus_tollendo_ponens&oldid=68779154 Categoras: Lgica proposicional Reglas de inferencia Latinismos usados en filosofa

Esta pgina fue modificada por ltima vez el 19 oct 2013, a las 20:53. El texto est disponible bajo la Licencia Creative Commons Atribucin Compartir Igual 3.0; podran ser aplicables clusulas adicionales. Lanse los trminos de uso para ms informacin. Wikipedia es una marca registrada de la Fundacin Wikimedia, Inc., una organizacin sin nimo de lucro.