Disjunction introduction
= Disjunction introduction
{wiki=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.