Login Preferences
About News Publications Statistics Downloads API Guide License How to use Preferences
bn:03665941n
Noun Concept
Categories: Theorems in propositional logic, Rules of inference
EN
conjunction elimination  simplification
EN
In propositional logic, conjunction elimination is a valid immediate inference, argument form and rule of inference which makes the inference that, if the conjunction A and B is true, then A is true, and B is true. Wikipedia
English:
logic
Definitions
Relations
Sources
EN
In propositional logic, conjunction elimination is a valid immediate inference, argument form and rule of inference which makes the inference that, if the conjunction A and B is true, then A is true, and B is true. Wikipedia
inference in propositional logic Wikidata
A valid simple argument. Wiktionary
IS A
theorem
rule of inference
HAS INSTANCE
reduction
Wikipedia
EN
conjunction elimination
Wikidata
EN
simplification
Wiktionary
EN
simplification
Wikipedia Redirections
EN
Conjunction elimination (propositional logic), simplification (logic)
Wikidata Alias
EN
conjunction elimination

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