Assertion: deduction's component | /r/HasProperty | discharged
Facets:
Source sentences:
text: As before the superscripts on the name stand for the components that are discharged: the term a cannot occur in the conclusion of ∀I (such terms are known as eigenvariables or parameters), and the hypotheses named u and v in ∃E are localised to the second premise in a hypothetical derivation.