Disjunction introduction, also known as "addition," is a rule of inference in propositional logic. It allows one to infer a disjunction (an "or" statement) from a single proposition.
Articles by others on the same topic
There are currently no matching articles.