Help with Exercise 17a

Formal proofs of validity are a challenge. Many new logic students need hints to help get them started on proofs, especially when those proofs use the rules of inference and replacement. In this short video, I explain how to start solving formal proofs, using Intermediate Logic Exercise 17a, problems 8 and 9 for examples.

Leave a Reply

Your email address will not be published. Required fields are marked *