transposición

En la lógica proposicional, la transposición o transformación del condicional​​​ es una regla de reemplazo válida de que permite que se cambie el antecedente con el consecuente de una sentencia condicional en una prueba lógica si ellos también son ambos negados. Es la inferencia de que la verdad de que "A implica B" implica la verdad de que "No B implica no A", y viceversa.​​ Está muy relacionada con la regla de inferencia de modus tollens. Es la regla de que: Donde "" es un símbolo metalógico que representa "puede ser reemplazado en una demostración con."