Skip to main content

DMP - top navigation

  • Learn
  • Piazza
  • DRPS

Breadcrumb

  1. Home
  2. DMP: Discrete Mathematics and Probability
  3. DMP: Weekly Study Guides
  4. DMP: Week 1

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)

You should try 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.

License
All rights reserved The University of Edinburgh

Book traversal links for 3. Logic of Quantified Statements

  • 2. Logic of Compound Statements
  • Up
  • DMP: Week 2

Navigation links

  • DMP: Schedule
  • DMP: Weekly Study Guides
    • DMP: Week 1
      • 1. Set Theory, Relations, and Functions
      • 1.1 Variables
      • 1.2 Set Theory
      • 1.3 Relations and Functions
      • 1.4 The Language of Graphs
      • 2. Logic of Compound Statements
      • 3. Logic of Quantified Statements
    • DMP: Week 2
    • DMP: Week 3
    • DMP: Week 4
    • DMP: Week 5
    • DMP: Week 7
    • DMP: Week 8
    • DMP: Week 9
    • DMP: Week 10
    • DMP: Week 11
  • DMP: Homework Exercises
  • DMP: Lectures
  • DMP: Tutorials
  • DMP: Assessment
  • DMP: Textbooks
  • DMP: Staff
  • DMP: About
RSS feed

Opencourse privacy & accessibility statements; contact Informatics, ILTS.