It looks like this:
What does it mean?
|
It
means that if you have a disjunct of a given disjunction, then you
may claim that disjunction.
Pi a disjunct of disjunction P1 v...v Pn.
P1 occurs above the insertion point, and, as licensed
by V Intro, the disjunction P1 v...v Pn has
been entered at the insertion point. |
