Disjunction introduction
ID: disjunction-introduction
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.
New to topics? Read the docs here!