Modus ponendo tollens

Carta Común · N.º 454648

Modus ponendo tollens (latín: «el modo que, al afirmar, niega»)​ es una regla de inferencia válida de la lógica proposicional, a veces abreviado MPT.​ 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: ¬ ( P ∧ Q ) P ∴ ¬ Q {\displaystyle {\begin{array}{cl}&\neg (P\land Q)\\&P\\\hline \therefore &\neg Q\\\end{array}}} donde…

Leer en Wikipedia