Next: NDL scripts
Up: Natural Deduction Language
Previous: Loading files from the
  Contents
Input phrases
An input phrase is one of the following:
- A deduction
. The syntax and semantics of deductions will be
covered in Section 1.9 and Section 1.10,
respectively. (Terminological note: in this document the terms ``deduction'' and ``proof''
will be used interchangeably.)
- A signature declaration. These are covered in
Section 1.6.
- An assertion. This is simply a string of the form
where each
is a formula
(formulas are discussed in Section 1.8).
2004-08-06