rule in propositional logic allowing an antecedent and consequent to be transposed if they are also both negated
En logique des propositions, une transposition est une règle de remplacement valide qui permet d'échanger l'antécédent avec le d'une implication matérielle dans une s'il sont tous les deux négatifs. C'est l'inférence de la vérité de « A implique B » à la vérité de « non-B implique non-A », et inversement. Il est très étroitement liée à la règle d'inférence modus tollens. La règle est la suivante : où « » est un symbole métalogique représentant "peut être remplacé dans une démonstration avec."
Abstract from DBpedia / Wikipedia · CC BY-SA
Discovered by embedding cosine similarity (sentence-transformers MiniLM, 384-dim).