Concept · Deductive
Subproof
A nested section of a proof used to track assumptions and scope in conditional or indirect derivations.
Why it matters
Subproof structure is essential for handling assumptions correctly in natural deduction.
Where this shows up
Units and lessons using this concept
Following the links will take you to the page where this term is introduced in context.
Related