Disjunction introduction

In symbolic logic, a valid inference in a system of truth-functional rules. This rule relies on the truth definition of the disjunction: Since a disjunction is true when at least one of the disjuncts is true, a disjunction can be inferred from any proven statement in a derivation.