Modus ponendo tollens (latín: "el modo que, al afirmar, niega")[1] es una regla de inferenciaválida de la lógica proposicional, a veces abreviado MPT.[2] El modus ponendo tollens establece que, si no es posible que dos términos sean simultáneamente verdaderos; y uno de ellos es verdadero; entonces se puede inferir que el otro término no puede ser verdadero.
El modus ponendo tollens puede escribirse formalmente como:
donde cada vez que aparezcan las instancias de "" y "" en las líneas de una demostración, se puede colocar "" en una línea posterior. En resumen, "si P y Q no pueden ser verdad simultáneamente, y P es verdad, entonces Q no puede ser verdad."
Un ejemplo de modus ponendo tollens es:
Alejandra y Bárbara no pueden ganar ambas la carrera.
Alejandra ganó la carrera.
Por lo tanto, Bárbara no puede haber ganado la carrera.
Como E.J. Lemmon lo describe: "Modus ponendo tollens es el principio de que, si se sostiene la negación de una conjunción, y también una de sus oraciones conjuntivas, entonces la negación de la otra oración conjuntiva asimismo se sostiene."[3]
modus, ponendo, tollens, latín, modo, afirmar, niega, regla, inferencia, válida, lógica, proposicional, veces, abreviado, modus, ponendo, tollens, establece, posible, términos, sean, simultáneamente, verdaderos, ellos, verdadero, entonces, puede, inferir, otro. Modus ponendo tollens latin el modo que al afirmar niega 1 es una regla de inferencia valida de la logica proposicional a veces abreviado MPT 2 El modus ponendo tollens establece que si no es posible que dos terminos sean simultaneamente verdaderos y uno de ellos es verdadero entonces se puede inferir que el otro termino no puede ser verdadero El modus ponendo tollens puede escribirse formalmente como P Q P Q displaystyle frac neg P land Q P neg Q donde cada vez que aparezcan las instancias de P Q displaystyle neg P land Q y P displaystyle P en las lineas de una demostracion se puede colocar Q displaystyle neg Q en una linea posterior En resumen si P y Q no pueden ser verdad simultaneamente yPes verdad entoncesQno puede ser verdad Un ejemplo de modus ponendo tollens es Alejandra y Barbara no pueden ganar ambas la carrera Alejandra gano la carrera Por lo tanto Barbara no puede haber ganado la carrera Como E J Lemmon lo describe Modus ponendo tollens es el principio de que si se sostiene la negacion de una conjuncion y tambien una de sus oraciones conjuntivas entonces la negacion de la otra oracion conjuntiva asimismo se sostiene 3 Vease tambien EditarModus ponendo ponens Silogismo disyuntivo Silogismo hipoteticoReferencias Editar Stone Jon R 1996 Latin for the Illiterati Exorcizing the Ghosts of a Dead Language Londres RU Routledge 60 Politzer Guy amp Carles Laure 2001 Belief Revision and Uncertain Reasoning Thinking and Reasoning 7 217 234 Lemmon Edward John 2001 Beginning Logic Taylor and Francis CRC Press 61 Enlaces externos EditarEsta obra contiene una traduccion total derivada de Modus ponendo tollens de Wikipedia en ingles concretamente de esta version publicada por sus editores bajo la Licencia de documentacion libre de GNU y la Licencia Creative Commons Atribucion CompartirIgual 3 0 Unported Datos Q339606 Obtenido de https es wikipedia org w index php title Modus ponendo tollens amp oldid 117351101, wikipedia, wiki, leyendo, leer, libro, biblioteca,
