Do these two parts in Hurley's logic book introduce natural deduction or different deductive systems?

64 Views Asked by At

In Hurley's An Concise Introduction to Logic

Does Section 6.6 also introduces natural deduction, or a different deductive system (like Hilbert deduction)?

If both Section 6.6 and Chapter 7 introduce natural deduction, what is the difference between them? (Apart from subjective writing plan of the author.)

Thanks.