Next: 7.1 Rules about truth Up: Introduction to natural deduction Previous: 6.5 Skip steps Contents
Here I will finish the explanation of everything else that I was taught about natural deduction (even if we didn't use it very much). The quantifiers thing is really important, but more complex.