A Goal Analysis For Constructing Derivations in Calculus of Proposition
Zhou Jian · 2002
An advantage of a natural deduction system is that we can show in a series by very natural steps that one sentence follows other sentences. Goal analysis is a process of working backward from the sentence we wish ultimately to derive in the primary assumptions.