# Definition:Pool of Assumptions

Jump to navigation
Jump to search

## 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.

These consist of premises and possibly some intermediate assumptions.

The assumptions in this **pool** are called, naturally enough, the **pooled assumptions**.

The **pooled assumptions** at the end of a proof (its conclusion) are thus seen to be the premises.

## Sources

- 1965: E.J. Lemmon:
*Beginning Logic*... (previous) ... (next): Chapter $1$: The Propositional Calculus $1$: $2$ Conditionals and Negation