Definition
Extensivity of Deductive Closure (Propositional Hilbert Calculus)
Every propositional theory
is contained in its deductive closure: Every assumption is itself derivable from
.
Extensivity of Deductive Closure (Propositional Hilbert Calculus)
Every propositional theory
is contained in its deductive closure: Every assumption is itself derivable from
.