Next:
3.1 Per a què
Up:
Introducció a la deducció
Previous:
2.3 Precedència dels operadors
Contents
3
Deducció natural
Ara toca explicar què és, com es fa, i si té cap utilitat.
Subsections
3
.
1
Per a què serveix
3
.
2
Per a què no serveix
3
.
3
Funcionament
3
.
4
Notació
Daniel Clemente Laboreo 2005-05-17
