Tarea 3: Problemas de C
Aplicacin II - Punto b
Tarea 4: Razonamiento A
Deductivo e Inductivo - Punto c
DESARROLLO DE LA ACTIVIDAD
Tarea 1: Aplicacin de las Reglas de inferencia - Punto b
Modus Tolendo Ponens, Doble Negacin y Adjuncin
1. Modus Tolendo Ponens: El modus tollendo ponens (latn: "el modo que, al negar,
afirma")1 o silogismo disyuntivo (tambin conocido como eliminacin de la disyuncin o
eliminacin del "o", abreviado E),es, en lgica clsica, una forma de argumento vlida que
contiene una declaracin disyuntiva en una de sus premisas, y en lgica proposicional, una regla
de inferencia vlida.
El modus tollendo ponens o silogismo disyuntivo establece que, si se nos dice que al menos una
de las dos proposiciones es verdadera; y tambin se nos dijo que no es la primera la que es
verdadera; se puede inferir que debe ser la ltima la que es verdadera. Es decir, si P o Q es
verdadero y P es falso, entonces Q es verdadero.
El modus tollendo ponens puede escribirse formalmente como:
Donde cada vez que aparezcan las instancias de "P V Q" y "P" en las lneas de una
demostracin, se puede colocar "Q" en una lnea posterior.
Un ejemplo de modus tollendo ponens o silogismo disyuntivo es:
O el incumplimiento es una violacin de seguridad, o no est sujeto 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.
La razn por la que esto le llama silogismo disyuntivo es que, primero, es un silogismo - un
argumento en tres pasos -, y segundo, contiene una disyuncin lgica, que es simplemente el "o"
que conecta ambos trminos. "P o Q" es precisamente una disyuncin. Esta norma permite
eliminar una disyuncin - el "o" - de una demostracin lgica.
El silogismo disyuntivo est estrechamente relacionado al silogismo hipottico, que es tambin
un tipo de silogismo y una regla de inferencia.
2. Doble Negacin: En lgica proposicional, la doble negacin es el teorema que afirma que
"Si un enunciado es verdadero, entonces no es el caso de que la declaracin no es cierta." Esto se
expresa diciendo que una proposicin A es lgicamente equivalente a no (no-A), o por la frmula
A~(~A) donde el signo expresa equivalencia lgica y el signo ~ expresa negacin.
Al igual que la ley del tercero excluido, este principio es considerado como ley del
pensamiento en la lgica clsica,2 pero la lgica intuicionista no lo permite.3 El principio fue
declarado por Russell y Whitehead como teorema de la lgica proposicional en Principia
Mathematica como:
Ejemplo 1
Se puede colocar a A con el valor verbal de es de da
Colocndola en funcin de la frmula de doble negacin se tendra entonces la siguiente lgica:
A = Es de da
~A = no es de da, es de noche
~(~A) = resulta falsa la proposicin no es de da, es de noche por lo tanto es de da.
Entonces se tendra:
Es de da ~(~no es de da, es de noche)
Es de da no es de noche (Lo cual se leera: la proposicin es de da resulta lgicamente
equivalente a resulta falso que sea de noche, es de da).
Ejemplo 2
Un segundo ejemplo podra darse entonces entre las siguientes afirmaciones:
A = el reo es culpable
~A = el reo no es culpable, el reo es inocente
~(~A) = resulta falsa la proposicin el reo no es culpable, el reo es inocente por ende es
culpable
El reo es culpable no, el reo no es culpable, el reo es inocente (Lo cual se leera: la proposicin
el reo es culpable es lgicamente equivalente a resulta falso que el reo sea inocente, es
culpable)