Repblica Bolivariana de Venezuela

Universidad Bicentenaria de Aragua

Escuela de Contadura Pblica
Ctedra: Lgica Matemtica.
Seccin: B Semestre I-2015.

Profesor:

Alumno:

Juan Paravisini.

Carlos Caldern
C.I: 26.582.565

Ciudad Guayana, 27 de Mayo del 2015.

Modus Tollendo Tollens

Es el mtodo (Modus), que negando (tollendo) el consecuente, se
puede negar (Tollens) el antecedente de la implicacin. Es una forma de
argumento vlida y una regla de inferencia, El modus tollens est
estrechamente relacionado con el modus ponens. Hay dos formas
similares, pero no vlidas, de argumento: afirmacin del consecuente y
negacin del antecedente. Se puede decir que se expresa de este
modo: (Si A entonces B, No B, Por lo tanto no A).

Caractersticas

La regla de inferencia modus tollens, tambin conocida como la ley de la

contraposicin, valida la forma de inferencia P implica Q y la
contradictoria de Q, a la contradictoria de P.

La regla modus tollens se puede afirmar formalmente como:

Donde P--->Q significa "P implica Q", Q significa "no es el caso de

que Q" (O en resumen "no Q"). Entonces, cada vez "P--->Q" y "Q"
cada una parece por s mismas como una lnea de una prueba, "P" se
puede colocar vlidamente en una lnea posterior. La historia de la regla
modus tollens se remonta a la antigedad.

Ejemplos:

Si est soleado, entonces es de da.

No es de da.
Por lo tanto, no est soleado.
-1-

Explicacin

El argumento tiene dos premisas. La primera premisa es un condicional o

sentencia "si-entonces", por ejemplo que si P entonces Q. La segunda premisa

es que no es el caso de Q. A partir de estas dos premisas, se puede concluir

lgicamente que no es el caso de P.

A continuacin el siguiente ejemplo:

Si el perro guardin detecta un intruso, el perro guardin ladra.
El perro guardin no ladr.
Por lo tanto, el perro guardin no detect ningn intruso.
Suponiendo que las premisas son verdaderas (el perro ladra si detecta un

intruso, y de hecho no ladra), se deduce que ningn intruso ha sido detectado.

Este es un argumento vlido, ya que no es posible que la conclusin sea falsa
si las premisas son verdaderas. (Es concebible que haya habido un intruso que
el perro no detect, pero eso no invalida el argumento; la primera premisa es
"Si el perro detecta un intruso". El hecho importante es que el perro detecta o
no detecta un intruso, no si este existe.

Otro ejemplo:
Si yo soy el asesino del hacha, entonces puedo usar un hacha.
No puedo usar un hacha.
Por lo tanto, yo no soy el asesino del hacha.

Relacin con el Modus Ponens:

Cada uso de modus tollens se puede convertir a un uso de modus ponens y

un uso de la transposicin de la premisa de que es una implicacin material.

-2

Ejemplo:
Si P, entonces Q (premisa - implicacin material)
Si no Q, entonces no P. (derivado mediante transposicin)
No Q. (premisa) Por lo tanto, no P. (derivado por modus ponens)

Del mismo modo, cada uso de modus ponens se puede convertir a un uso
de modus tollens y transposicin.

Modus Tollendo Ponens.

Es una forma de argumento vlida que es un silogismo disyuntivo que
tiene una declaracin disyuntiva de una de sus premisas. Tambin se
puede decir que e s una regla de inferencia vlida. Si se nos dice que al
menos una de las dos afirmaciones es verdadera; y tambin se nos dijo
que no es la primera que es verdadera; se puede inferir que tiene que
ser el ltimo que es verdadera. Si P o Q es verdadero y P es falso,
entonces Q es verdadero. La razn de esto se le llama "silogismo
disyuntivo" es que, en primer lugar, es un silogismo, un argumento en
tres pasos, y en segundo lugar, este contiene una disyuncin lgica, que
significa simplemente una afirmacin "o". "O P o Q" es una disyuncin; P
y Q se llaman las disyunciones de las afirmaciones. La norma permite
eliminar una disyuncin de una demostracin lgica.

Es la regla que indica que:

Donde la regla es que cada vez que en las lneas de una demostracin
aparezcan las instancias de "P V Q" y "P", se puede colocar "Q" en una
lnea posterior.
-3El silogismo disyuntivo est estrechamente relacionado y es similar al
silogismo hipottico, ya que tambin es un tipo de silogismo, y tambin es el
nombre de una regla de inferencia.

Ejemplo:

Bien el incumplimiento es una violacin de seguridad, o no est sujeta a

multas.

El incumplimiento no es una violacin de seguridad.

Por lo tanto, no est sujeto a multas.

O es de da o es de noche.
No es de da.
Por lo tanto, es de noche.

Entonces se podra decir que:

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.

Formula de Argumentos Relacionados

A diferencia modus ponendo ponens y modus ponendo tollens, con el cual

no se debe confundir. El silogismo disyuntivo muchas veces no hace una regla
explcita o axioma de sistemas lgicos. Como los argumentos anteriores se
pueden probar con una combinacin (ligeramente desviada) de reductio ad
absurdum y eliminacin de la disyuncin.
-4

Otras formas de silogismo: (Silogismo hipottico y Categrico).

El silogismo disyuntivo se sostiene en la lgica proposicional clsica y la

lgica intuicionista, pero no en algunas lgicas para consistentes.

Disyuncin Inclusiva y Exclusiva

Tener en cuenta que el silogismo disyuntivo funciona s "o" se considera una

disyuncin "exclusiva" o "incluyente. Vase a continuacin las definiciones de
estos trminos.
Hay dos tipos de disyuncin lgica:

inclusiva significa "y/o" - al menos uno de ellos es verdadero, o quizs

ambos.

exclusiva ("xor") significa que exactamente uno debe ser verdadero,

pero no pueden ser ambos.

El concepto ampliamente utilizado en idioma espaol de o suele ser ambiguo

entre estos dos significados, pero la diferencia es fundamental en la evaluacin
de argumentos disyuntivos.

Este argumento:
P o Q.
No P.
Por lo tanto, Q.

Es vlido y indiferente entre ambos significados. Sin embargo, solo en el

significado exclusivo est la siguiente forma vlida:
P o Q (exclusivo).
P.
Por lo tanto, no Q.

-5Sin embargo, si el hecho es verdadero no comete la falacia. Con el significado

incluyente no es posible dibujar ninguna conclusin a partir de las dos primeras
premisas de este argumento.

Ejemplo con Lenguaje Natural

He aqu un ejemplo:
Yo o elegir sopa o elegir ensalada.

No voy a elegir sopa.

Por lo tanto, voy a elegir ensalada.

Notacin Formal del Modus Tollens

La regla modus tollens puede escribirse en notacin subsiguiente, donde se

encuentra un significado smbolo metalgico que es una consecuencia
sintctica y en algn sistema lgico o como la afirmacin de una tautologa
funcional o teorema de la lgica proposicional. Donde, y se expresa en algunas
proposiciones sistema lgico o la inclusin de supuestos, aunque dado que la
norma no cambia el conjunto de supuestos, esto no es estrictamente necesario.
Reescrituras ms complejos que implican modus tollens se ven a menudo, por
ejemplo, en la teora de conjuntos. Tambin en la lgica de predicados de
primer orden: En sentido estricto no se trata de casos de modus tollens, pero
podrn derivarse utilizando modus tollens con algunas medidas adicionales.

Justificacin en la Tabla de la Verdad.

La validez del modus tollens se puede demostrar claramente a travs
de una tabla de verdad.

En los casos de modus tollens asumimos como premisa que P.Q es

verdadera y q es falsa. Slo hay una lnea de la tabla de verdad-la
cuarta lnea que satisface estas dos condiciones. En esta lnea, p es
falsa. Por lo tanto, en todos los casos en que P.Q es verdadera y Q es
falsa, P debe ser falsa.
-6-