Next: 4.1 Iteration Up: Introduction to natural deduction Previous: 3.4 Notation Contents
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.