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
¬,∧,∨,→,↔