rule in propositional logic allowing an antecedent and consequent to be transposed if they are also both negated
Na lógica proposicional, a transposição é uma válida que permite trocar o antecedente pelo de um enunciado condicional em uma prova lógica se eles estão ambos negados. É a inferência da verdade de "A implica B", a verdade do "Não-B implica não-A", e vice-versa. Ela é estreitamente relacionada com a regra de inferência modus tollens. É a regra que: Onde "" é um símbolo da metalógica que representa "pode ser substituído em uma prova com."
Abstract from DBpedia / Wikipedia · CC BY-SA
Discovered by embedding cosine similarity (sentence-transformers MiniLM, 384-dim).