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 questions about the sections covered.
- 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.