4 The derivation rules

Here they are defined and explained the nine basic rules which are used in natural deduction. Their objective is to tell us when and how can we add new formulas which continue being true.

Some examples (explained) are in the next section.


Daniel Clemente Laboreo 2005-05-17