Next: 4.1 Iteració Up: Introducció a la deducció Previous: 3.4 Notació Contents
Aquí hi són enunciades i explicades les nou regles bàsiques que s'usen a la deducció natural. Indiquen quan i com podem afegir noves fórmules que segueixin sent certes.
Els exemples (explicats) són a la següent secció.