Next:
3.1 What it is
Up:
Introduction to natural deduction
Previous:
2.3 Precedence of operators
Contents
3
Natural deduction
Now I must explain what it is, how can it be done, and whether it has any practical use.
Subsections
3
.
1
What it is for
3
.
2
What it is not for
3
.
3
Functioning
3
.
4
Notation
Daniel Clemente Laboreo 2005-05-17