# Lecture 4

GO TO:

## Before the Lecture

• Read Sections 2.1 and 2.2. (Note: Look at the section Outcomes to see what you are expected to get from the reading, perhaps after also some in class help.) If you have time, start reading section 2.3 also!
• Watch the videos related to these sections (after reading them):
• Write down all questions about the above topics to bring to our (online) lecture. Comments about the videos are welcome!
• Work on the assigned problems for these sections. (See Related Problems below.) You don't need to finish them, but try to work on as many as you can and the bring your questions to class.

Back to the TOP, Lectures or to Main Page.

## Related Problems

All of these are to be turned in on 06/08 by 11:59pm (Homework 2).

Section 2.1: 3, 6. (5 was removed as I've done it in a video.)

Section 2.2: 2, 5, 7, 10.

Back to the TOP, Lectures or to Main Page.

## In Class

In class:

• We will discuss the reading and pace.
• I will discuss the main points.
• I will answer any other questions.
• We can work on the HW problems.

Back to the TOP, Lectures or to Main Page.

## Outcomes

After the assignment (reading and videos before class) and class, you should:

• understand and know how to use quantifiers, including multiple nested quantifiers;
• translate statements with quantifiers from common speech to logical symbols and vice-versa;
• know how to restate negation of quantified statements in positive form (Problem 2.2.2);
• understand and know how to used bounded quantifiers and how to negate them;
• know the distributive law'' for quantifiers (pgs. 70 and 71).

Back to the TOP, Lectures or to Main Page.