An Introduction to Formal Logic

Validity in First-Order Predicate Logic (1x17)

:

For all of their power, truth tables won't work to demonstrate validity in first-order predicate arguments. For that, you need natural deduction proofs-plus four additional rules of inference and one new equivalence. Review these procedures and then try several examples....