El silogismo disyuntivo establece que, si se nos dice que al menos una de las dos proposiciones es verdadera; y tambi茅n 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:
P ∨ Q, ¬P
∴Q
donde cada vez que aparezcan las instancias de "P ∨ Q" y " ¬ P" en las l铆neas de una demostraci贸n, se puede colocar "Q" en una l铆nea posterior.Un ejemplo de modus tollendo ponens o silogismo disyuntivo es:
O el incumplimiento es una violaci贸n de seguridad, o no est谩 sujeto a multas.
El incumplimiento no es una violaci贸n de seguridad.
Por lo tanto, no est谩 sujeto a multas.
La raz贸n por la que esto le llama silogismo disyuntivo es que, primero, es un silogismo (un argumento en tres pasos), y segundo, contiene una disyunci贸n l贸gica, que es simplemente el "o" que conecta ambos t茅rminos. "P o Q" es precisamente una disyunci贸n. Esta norma permite eliminar una disyunci贸n (el "o") de una demostraci贸n l贸gica.
El silogismo disyuntivo est谩 estrechamente relacionado al silogismo hipot茅tico, que es tambi茅n un tipo de silogismo y una regla de inferencia.
(Wikipedia)