Definition:Pool of Assumptions
From ProofWiki
Definition
The pool of assumptions, for a formula deduced in a particular proof by natural deduction, is the collection of all the assumptions upon which the formula depends.
The assumptions in this pool are called, naturally enough, the pooled assumptions.
Sources
- E.J. Lemmon: Beginning Logic (1965): $\S 1.2$
