Disjunction introduction or addition is a simple valid argument form, an immediate inference and a rule of inference of propositional logic. The rule makes it possible to introduce disjunctions to logical proofs. It is the inference that if P is true, then P or Q must be true. ...