The orR proof rule proves a disjunction P∨Q among our assumptions, by splitting it into two separate formulas P as well as Q, whose disjunction will be shown by a proof because the succedent on the right has a disjunctive meaning.

See also