transposition
Sign in to saverule in propositional logic allowing an antecedent and consequent to be transposed if they are also both negated
rule in propositional logic allowing an antecedent and consequent to be transposed if they are also both negated
Discovered by embedding cosine similarity (sentence-transformers MiniLM, 384-dim).