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".
Respuesta:
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".
Explicación: