The first we present is an indirect rule. We can eliminate a dis-junction by showing that some formula follows from both and , so whichever of or is the case, will hold: ?
The first we present is an indirect rule. We can eliminate a dis-junction by showing that some formula follows from both and , so whichever of or is the case, will hold: ?