Login Preferences
About News Publications Statistics Downloads API Guide License How to use Preferences
bn:02011651n
Noun Named Entity
Categories: Rules of inference, Theorems in propositional logic
EN
transposition
EN
In propositional logic, transposition is a valid rule of replacement that permits one to switch the antecedent with the consequent of a conditional statement in a logical proof if they are also both negated. Wikipedia
English:
logic
Definitions
Relations
Sources
EN
In propositional logic, transposition is a valid rule of replacement that permits one to switch the antecedent with the consequent of a conditional statement in a logical proof if they are also both negated. Wikipedia
A rule of replacement in philosophical logic Wikipedia Disambiguation
rule in propositional logic allowing an antecedent and consequent to be transposed if they are also both negated Wikidata
IS A
theorem
rule of replacement
Wikipedia
EN
transposition (logic)
Wikidata
EN
transposition
Wikipedia Redirections
EN
Transposition (Logic)

Please note that, in order to improve your browsing experience on this website, BabelNet® uses various types of cookies, including: browsing functionality, performance and statistical cookies.

By continuing to browse the site you are agreeing to our use of cookies. OK

License