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."
Abstract from DBpedia / Wikipedia · CC BY-SA
Discovered by embedding cosine similarity (sentence-transformers MiniLM, 384-dim).