Definition:Discharged Assumption
Jump to navigation
Jump to search
Definition
The context of this definition is in the process of deducing the validity of sequents using logical inference in the framework of natural deduction.
Assumptions that are made during the course of using certain proof rules remain in force only so long as the use of those rules requires them.
Once the appropriate rules have been completed, these are known as discharged assumptions, and are not included in the pool of assumptions on which the conclusion of the rule depends.
Sources
- 1965: E.J. Lemmon: Beginning Logic ... (previous) ... (next): Chapter $1$: The Propositional Calculus $1$: $2$ Conditionals and Negation
- 2000: Michael R.A. Huth and Mark D. Ryan: Logic in Computer Science: Modelling and reasoning about systems ... (previous) ... (next): $\S 1.2.1$: Rules for natural deduction