Skip to content
EntityQ5282267· pop 8· linked from 57 articles

disjunction introduction

Sign in to save

inference introducing a disjunction in logical proofs

Available in 8 languages

via Wikidata sitelinks · CC0