chapter  34
2 Pages

LPC2 : Decision Procedure II -Justification

WithG. E. Hughes, D. G. Londey

What we have to show is that a disjunction, some or all of whose disjuncts consist of IS’s and in which no individual-variable occurs more than once, is valid under the same conditions as the same disjunction with each of the IS’s replaced by the corresponding universally quantified schema.