Chapter 16: The very idea of natural deduction

Each line of a complete truth table corresponds to a valuation

We have a very direct way to assess whether there is a valuation on which the premises are true and the conclusion is false: just thrash through the truth table

One aim of a natural deduction system is to show that particular arguments are valid, in a way that allows us to understand the reasoning that the arguments might involve

With truth tables, we directly consider different ways to make sentences true or false

With natural deduction systems, we manipulate sentences in accordance with rules that we have set down as good rules (Better insight into how arguments work)

Move to natural deduction is sometimes necessary (To avoid insanely long truth table)

Natural deduction system is based largely around work by Frederic Fitch