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.