## Before the Lecture

• Read the rest of Section 1.5 and 2.1-3. (Note: Look at the section Outcomes to see what you are expected to get from the reading, perhaps after also some in class help.)
• Watch the videos related to this section (after reading it):
• Write down all questions about the above topics to bring to our (online) lecture. (You can also type them in the file "Questions.tex" in Sage Math Cloud.) 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

The "turn in" problems are due on 06/14 (Homework 2) by 11:59pm.

 Section 1.5: Turn in: 5, 9. Extra Problems: 3, 4. Section 2.1: Turn in: 6. Extra Problems: 3, 5. Section 2.2: Turn in: 2(b-c), 7. Extra Problems: 2(a), (d), 5, 10. Section 2.3: Turn in: 2(c), 12(a-b). Extra Problems: 2(a-b), (d), 5, 6, 9, 12(c). (Also, take a look at the statements of 14 and 15.)

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:

• know the truth table of if/then operation (Problem 1.5.4);
• know that $P \rightarrow Q$ is equivalent to $\neg P \vee R$;
• know the contrapositive and converse of if/then statements;
• translate statements with if/then from common speech to logical symbols (Examples 1.5.1, 1.5.3, Problem 1.5.3) and vice-versa;
• simplify and establish equivalency of statements involving if/then (Example 1.5.2, Problems 1.5.5, 1.5.9);
• understand and know how to use quantifiers, including multiple nested quantifiers (Examples 2.1.1, 2.1.4);
• translate statements with quantifiers from common speech to logical symbols (Examples 2.1.2, 2.1.3, Problem 2.1.3) and vice-versa (Problem 2.1.5);
• 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);
• understand families of sets (i.e., sets whose elements are sets), power sets and indexed families of sets;
• understand and know how to translate to logic statements unions and intersections of families as above (most problems from 2.3).

Back to the TOP, Lectures or to Main Page.