3. Logic of Quantified Statements

The theory is contained in Chapter 3 Sections 3.1–3.3 to page 139 in Epp. The screencast revises all the material. Similar material is also found in Section 3.1 of Levin.

(In the Epp textbook, you might recognise Tarski's World from Inf1A, but it is not part of our course and neither is Section 3.4 in Epp)

Try some of these questions from Epp to test your understanding.

• Exercise Set 3.1 Questions 6, 13, 14, 19, and 32
• Exercise Set 3.2 Questions 1, 11, 16, 22, 26, 32, 34, 41, and 45

Or similar questions from Section 3.1: Exercises in Levin.

This is the end of the Week 1 study guide. There is a quiz to test your understanding: go to Learn and click through “Weekly Quizzes” to access it.