Assignments

Readings: Section 8.7 of Hurley's A Concise Introduction to Logic, and Chapters 4 and 5 of Jeffery's Formal Logic.

Readings: Ch 3 of Jeffery's Formal Logic . Additionally, Ch 8 of Hurley's book is about Predicate Logic, but it uses the method of Natural Deduction. In our course, we will be using truth trees instead. The questions in Ch 8 are still relevant, since they can be solved using truth trees. You can check your truth trees here: formallogic.com (under the Predicate Logic tab).

For invalid arguments of Predicate Logic, you should also know how to construct a model (or "universe") to show invalidity.

Also covered: Section 8.6 of Hurley's book. Two place predicates and statements with multiple quantifiers were introduced. And, the use of truth trees in these cases was demonstrated. You can go through Ch 4 of Jeffery's Formal Logic.

Readings: Hurley's A Concise Introduction to Logic introduces the method of Natural Deduction in Ch 7. You will not be required to use this method in any test, but may choose to do so. The questions in Ch 7 can all be solved using truth trees.

Ch 8 of Hurley's book is about Predicate Logic, but it uses the method of Natural Deduction. In our course, we will be using truth trees instead. The questions in Ch 8 are still relevant, since they can be solved using truth trees.

Readings: Sections 6.6 , 9.1 (pg. 485-488) and 9.2 (pg. 505-507) from Hurley's A Concise Introduction to Logic. From Ch 9, only the questions under section II of Exercise 9.1 and section I of Exercise 9.2 are relevant.

Readings: For translations, Section 6.1 from Hurley's A Concise Introduction to Logic. For truth trees, notes has been uploaded to LMS. In addition, you can choose to read Chapter 2 from Jeffery's Formal Logic.

To practice, you can solve the questions in Sections 6.2-6.5 using truth trees instead of truth tables, and then check your truth trees here: formallogic.com.

Reading: Sections 6.2-6.5 from Hurley's A Concise Introduction to Logic

Reading: Sections 5.3-5.7 from Hurley's A Concise Introduction to Logic

Reading: Sections 5.1-5.3 from Hurley's A Concise Introduction to Logic

Reading: Sections 4.4-4.7 from Hurley's A Concise Introduction to Logic

Reading: Sections 4.1-4.3 from Hurley's A Concise Introduction to Logic

Reading: Section 1.5 from Hurley's A Concise Introduction to Logic

Reading: Section 1.4 from Hurley's A Concise Introduction to Logic

Reading: Sections 1.1 and 1.2 from Hurley's A Concise Introduction to Logic