An inference of natural deduction is a normal form, according to Dag Prawitz, if no formula occurrence is both the principal premise of an elimination rule and the conclusion of an introduction rule.[1]
This article is licensed under the GNU Free Documentation License. It uses material from the Wikipedia article "Normal form (natural deduction)".
Except where otherwise indicated, Everything.Explained.Today is © Copyright 2009-2025, A B Cryer, All Rights Reserved. Cookie policy.
