Logical derivation
= Logical derivation
A <logical derivation> is a finite application of explicitly specified <inference rules> to premises or <temporary assumptions>. In <natural deduction>, which assumptions remain open is part of the <logical derivation>: a conclusion reached inside a temporary subproof cannot simply be used outside it.