7 Making it harder

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.



Subsections

Daniel Clemente Laboreo 2005-05-17