Return to Article Details The Rule of Existential Generalisation and Explicit Substitution Download Download PDF