English

English Español Français Italiano Português Svenska فارسی 한국어 中文日本語

EntityQ9289849· pop 9· linked from 57 articles

conjunction elimination

Sign in to save

Also known as simplification

inference in propositional logic

Wikidata facts

Instance of: rule of inference

Show 2 more facts

admissible rule in: classical logic
maintained by WikiProject: WikiProject Mathematics

Sources (1)

wikidata.org

via Wikidata · CC0

Available in 9 languages

via Wikidata sitelinks · CC0