BRN: 419551

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.