Modus tollendo tollens

Carta Poco común · N.º 117890

El modus tollendo tollens (latín: "el modo que, al negar, niega",​ conocido como modus tollens,​​​​ negación del consecuente o ley de contraposición)​ es una forma de argumento válida y una regla de inferencia en lógica proposicional. Se puede resumir como "Si P implica Q, y Q no es cierto, entonces P no es cierto". El modus tollendo tollens es una aplicación de la verdad general de que, si una declaración es válida, también lo es su contraposición. La historia de la regla modus tollendo tollens se remonta a la antigüedad,​ siendo los estoicos los primeros en declarar explícitamente esta forma válida de argumento.​ El modus tollendo tollens puede establecerse formalmente como: P → Q ¬ Q…

Leer en Wikipedia