🌐EnglishEnglishEspañolFrançaisItalianoPortuguêsРусскийEntityQ7835331· pop 5transpositionrule in propositional logic allowing an antecedent and consequent to be transposed if they are also both negatedAvailable in 5 languagesEspañolFrançaisPortuguêsItalianovia Wikidata sitelinks · CC0ConnectionscontrapositionEntity