Definition:Natural Deduction/Technical Note

Technical Note
In order to make the use of the proof rules of natural deduction in a tableau proof on, the following templates have been developed:

For convenience, other templates are also available, for the following derived rules:

For the other general proof rules, there exist the following templates: