Login Preferences
About News Publications Statistics Downloads API Guide License How to use Preferences
bn:02832244n
Noun Concept
Categories: Logic stubs, Propositional calculus, Logical expressions, Rules of inference
EN
rule of replacement  Algebraic properties  Replacement rule  rules of replacement
EN
In logic, a rule of replacement is a transformation rule that may be applied to only a particular segment of an expression. Wikipedia
Definitions
Relations
Sources
EN
In logic, a rule of replacement is a transformation rule that may be applied to only a particular segment of an expression. Wikipedia
Inference rule that may be applied to only a particular segment of an expression Wikidata
IS A
rule of inference
HAS KIND
transposition
exportation
HAS INSTANCE
double negative elimination
transposition
Wikipedia
EN
rule of replacement
Wikidata
EN
rule of replacement
Wikipedia Redirections
EN
Algebraic properties, Replacement rule, rules of replacement

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