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

Available in 9 languages

via Wikidata sitelinks · CC0