discharged hypothesis

References

discharged hypothesis

logic

Written by

The Information Architects of Encyclopaedia Britannica

Learn about this topic in these articles:

formal logic
Natural deduction method in PC
…is said to be a discharged hypothesis. In this way a wff may be reached that depends on no hypotheses at all. Such a wff is a theorem of logic. It can be shown that those theorems derivable by the rules stated above—together with the definition of α ≡ β…
Read More
…is said to be a discharged hypothesis. In this way a wff may be reached that depends on no hypotheses at all. Such a wff is a theorem of logic. It can be shown that those theorems derivable by the rules stated above—together with the definition of α ≡ β…
Read More