Modus tollendo ponens

Carta Común · N.º 259712

El modus tollendo ponens (latín: «el modo que, al negar, afirma»)1 también conocido como eliminación de la disyunción o eliminación del «o», abreviado ∨E,​​​​ o silogismo disyuntivo​​ (cabe anotar que para algunos autores son dos reglas diferentes​) es, en lógica clásica, una forma de argumento válida que contiene una declaración disyuntiva en una de sus premisas,​​ y en lógica proposicional, una regla de inferencia válida. El modus tollendo ponens o 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…

Leer en Wikipedia