Here, you'll find practice problems, answer keys, and videos that run through the answers, that correspond to the natural deduction rules and methods as they are progressively introduced in the textbook. Start by practicing the proofs that use rules 1-5, and work your way towards practicing indirect and conditional proofs.