Template:Discharged

Include this template in the Notes column of a Natural Deduction sequent at the point at which one or more assumptions, previously invoked by the Rule of Assumption, are discharged.

Usage
This template can be invoked as:



or:

or even:

where  (or  ) and   are the lines on the tableau proof where the assumptions are invoked. Assumption  been discharged