## Navigation

**Chapter 1:**Section 1.1, Section 1.2, Section 1.3, Section 1.4, Section 1.5.**Chapter 2:**Section 2.1, Section 1.2, Section 2.3.**Chapter 3:**Section 3.1, Section 3.2, Section 3.3, Section 3.4, Section 3.5, Section 3.6.**Chapter 4:**Section 4.1, Section 4.2, Section 4.3, Section 4.4, Section 4.6.**Chapter 5:**Section 5.1, Section 5.2, Section 5.3.**Chapter 6:**Section 6.1, Section 6.2, Section 6.3, Section 6.4.

## Section 1.1

### Videos

### Outcomes

After attending class and working on the HW (and maybe watching the videos) you should:

- be able to determine if an argument is valid or not (Example 1.1.1, Problem 1.1.7);
- know the symbols and use of "and", "or" and "not";
- be able to translate statements from English to logical symbols (Example 1.1.2, Problem 1.1.1) and vice-versa (Example 1.1.3, Problem 1.1.6);
- be able to determine if a logical expression is well-formed (Problem 1.1.4).

### Problems

**Section 1.1:** 1, 3, 6, 7.

Back to the TOP.

## Section 1.2

### Videos

### Outcomes

After attending class and working on the HW (and maybe watching the videos) you should:

- know how to write truth tables (Examples 1.2.1, 1.2.2, Problem 1.2.2);
- understand the concept of logical equivalency;
- simplify and prove equivalency using Boolean algebra (Examples 1.2.5, 1.2.6, Problem 1.2.12).

### Problems

**Section 1.2:** 2, 12.

Back to the TOP.

## Section 1.3

### Videos

### Outcomes

After attending class and working on the HW (and maybe watching the videos) you should:

- be familiar with the notions of sets and its basic operations (union, intersection and subtraction);
- know what the
*Truth Set*of a statement (which depends on a variable) is (Example 1.3.5, Problem 1.3.8).

### Problems

**Section 1.3:** 2, 4, 6, 8.

Back to the TOP.

## Section 1.4

### Videos

### Outcomes

After attending class and working on the HW (and maybe watching the videos) you should:

- know how to use Venn Diagrams (Problems 1.4.6 and 1.4.11);
- prove equality of two sets with logic (Problem 1.4.7).

### Problems

**Section 1.4:** 2, 6, 7, 9, 11.

Back to the TOP.

## Section 1.5

### Videos

### Outcomes

After attending class and working on the HW (and maybe watching the videos) 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).

### Problems

**Section 1.5:** 3, 4, 5, 9.

Back to the TOP.

## Section 2.1

### Videos

### Outcomes

After attending class and working on the HW (and maybe watching the videos) you should:

- 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).

### Problems

**Section 2.1:** 3, 5, 6.

Back to the TOP.

## Section 2.2

### Videos

### Outcomes

After attending class and working on the HW (and maybe watching the videos) you should:

- 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).

### Problems

**Section 2.2:** 2, 5, 7, 10.

Back to the TOP.

## Section 2.3

### Videos

- Problem
2.3.1(a-c).
**NOTE:***There is a mistake in part (c)!*There is a $\in$ symbol that makes no sense. Please read the comments in the video and turn on annotations (click on the gear icon below the video window and click "On" for "Annotations") to see exactly where. - Problem 2.3.1(d).
- Problem
2.3.10 and 2.3.11.
**NOTE:***There is a mistake in Problem 10!*On the second board I copy and $\land$ and an $\lor$, and the error carries over, resulting in an $\cup$ where there should be an $\cap$. Please read the comments in the video and turn on annotations (click on the gear icon below the video window and click "On" for "Annotations") to see exactly where.

### Outcomes

After attending class and working on the HW (and maybe watching the videos) you should:

- 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).

### Problems

**Section 2.3:** 2, 5, 6, 9, 12.

Back to the TOP.

## Section 3.1

### Videos

### Outcomes

After attending class and working on the HW (and maybe watching the videos) you should:

- understand what a proof is;
- be able to write (Problems 3.1.6 and 3.1.10) and read (Problems 3.1.2) simple proofs;
- be able to prove simple statements of the form $P \rightarrow Q$ (Example 3.1.2, Problems 3.2.2, 3.2.4);
- be able to prove simple statements of the form $P \rightarrow
Q$ using the
*contrapositive*(Example 3.1.3, Problems 3.1.10).

### Problems

**Section 3.1:** 2, 3, 6, 10, 15, 16.

Back to the TOP.

## Section 3.2

### Videos

### Outcomes

After attending class and working on the HW (and maybe watching the videos) you should:

- be able to prove simple negative statements (i.e., of the form $\neg P$ -- Example 3.2.1, Problem 3.2.7);
- be able to prove statements
*by contradictions*(Examples 3.2.2, 3.2.3) - be able to
*use*assumptions of the forms $P \rightarrow Q$ and $\neg P$ in proofs (Example 3.2.5, Problem 3.2.9).

### Problems

**Section 3.2:** 2, 4, 7, 9, 12.

Back to the TOP.

## Section 3.3

### Videos

### Outcomes

After attending class and working on the HW (and maybe watching the videos) you should:

- be able to prove simple statements involving quantifiers (most problems of 3.3);
- be able to use in proofs assumptions involving quantifiers (most problems of 3.3);
- know the notation ($a \mid b$) and definition for "$a$ divides $b$" and how to prove statements involving divisibility (Theorem 3.3.6, Problem 3.3.18);

### Problems

**Section 3.3:** 2, 4, 10, 15, 18, 21.

Back to the TOP.

## Section 3.4

### Videos

### Outcomes

After attending class and working on the HW (and maybe watching the videos) you should:

- be able to prove and use statements connected by "and"s (Example 3.4.1, Problem 3.4.3);
- know how to approach proofs on containment (Problems 3.4.4, 3.4.8, etc.) equalities of two sets (Example 3.4.4, Problem 3.4.16);
- know how to approach proofs on
*iff*statements (Examples 3.4.2, 3.4.3, Theorem 3.4.6, Problem 3.4.8).

### Problems

**Section 3.4:** 3, 8, 10, 16, 24.

Back to the TOP.

## Section 3.5

### Videos

### Outcomes

After attending class and working on the HW (and maybe watching the videos) you should:

- know how to prove a statement with an "or" in the conclusion (Examples 3.5.2, 3.5.3, Problem 3.5.8);
- know how to prove a statement with an "or" in the premise (Example 3.5.1, Problem 3.5.17).

### Problems

**Section 3.5:** 3, 8, 9, 13, 17, 21, 24.

Back to the TOP.

## Section 3.6

### Videos

### Outcomes

After attending class and working on the HW (and maybe watching the videos) you should:

- understand the "there exists a unique" quantifier, including how to write it without using the $\exists !$ symbol;
- know how to negate a statement of the form "$\exists ! x \; (P(x))$";
- know how to prove "there exists a unique" statement (Example 3.6.2, all problems from 3.6);

### Problems

**Section 3.6:** 2, 3, 7, 10.

Back to the TOP.

## Section 4.1

### Videos

### Outcomes

After attending class and working on the HW (and maybe watching the videos) you should:

- understand ordered pairs and Cartesian products;
- know how to prove statements involving set operations of Cartesian products (Theorem 4.1.3 and Problems 4.1.9 and 4.1.10);
- know how to find truth sets of statements in more than one variable (Example 4.1.6 and Problem 4.1.3).

### Problems

**Section 4.1:** 3, 7, 9, 10.

Back to the TOP.

## Section 4.2

### Videos

### Outcomes

After attending class and working on the HW (and maybe watching the videos) you should:

- understand what a relation is;
- understand domains, images, inverses and compositions of relations and be able to prove statements involving these.

### Problems

**Section 4.2:** 2, 3, 5, 6(b), 8.

Back to the TOP.

## Section 4.3

### Videos

### Outcomes

After attending class and working on the HW (and maybe watching the videos) you should:

- understand graphic representation of relations (Problem 4.3.5);
- understand relations on a (single) set;
- understand (and be able to identify) reflexive, symmetric and transitive relations (most problems from 4.3).

### Problems

**Section 4.3:** 2, 4, 9, 12, 14, 16, 21.

Back to the TOP.

## Section 4.4

### Videos

### Outcomes

After attending class and working on the HW (and maybe watching the videos) you should:

- know what an
*antisymmetric*relation is; - know what are total and partial orders (and their difference -- Problem 4.4.2);
- know what least/greatest (or smallest/largest) and minimal/maximal elements are (and their difference) (Examples 4.4.5, 4.4.7, Problem 4.4.3);
- know what upper/lower bound are and what greatest lower bound and least upper bound are (Example 4.4.10, Problem 4.4.3).

### Problems

**Section 4.4:** 2, 3, 6, 9, 15, 20, 22.

Back to the TOP.

## Section 4.6

### Videos

### Outcomes

After attending class and working on the HW (and maybe watching the videos) you should:

- know what equivalence relation and equivalency class are;
- know what a partition is;
- know the relation between partitions and equivalence relations;
- know what are congruences modulo $n$ (as in $a \equiv b \pmod{n}$).

### Problems

**Section 4.6:** 4, 8, 13, 20, 22.

Back to the TOP.

## Section 5.1

### Videos

### Outcomes

After attending class and working on the HW (and maybe watching the videos) you should:

- understand functions as relations (and be able to prove basic facts about them).

### Problems

**Section 5.1:** 9, 11, 13, 17.

Back to the TOP.

## Section 5.2

### Videos

### Outcomes

After attending class and working on the HW (and maybe watching the videos) you should:

- know the definitions of one-to-one/injective and onto/surjective functions;
- know how to prove statements involving one-to-one and onto functions, including those involving compositions.

### Problems

**Section 5.2:** 3, 6, 11, 8, 9, 18.

Back to the TOP.

## Section 5.3

### Videos

### Outcomes

After attending class and working on the HW (and maybe watching the videos) you should:

- understand the definition of the inverse function;
- know the necessary and sufficient conditions to the existence of the inverse (e.g., Theorems 5.3.4-5).

### Problems

**Section 5.3:** 4, 6, 10, 12.

Back to the TOP.

## Section 6.1

### Videos

### Outcomes

After attending class and working on the HW (and maybe watching the videos) you should:

- understand the process of induction and how/why it works;
- be able to use induction to prove formulas (Example 6.1.1, Problems 6.1.4, 6.1.16), inequalities (Example 6.13, Problem 6.1.14) and divisibility questions (Example 6.1.2, Problem 6.1.9).

### Problems

**Section 6.1:** 2, 4, 9, 16.

Back to the TOP.

## Section 6.2

### Videos

### Outcomes

After attending class and working on the HW (and maybe watching the videos) you should:

- be able to prove by induction statements that are not formulas, such as statements on finite sets (Examples 6.2.1, 6.2.2, Problem 6.2.3), combinatotics (Problem 6.2.10) and geometry (Examples 6.2.3, 6.2.4).

### Problems

**Section 6.2:** 3, 5, 6 (**use** the triangle
inequality from Problem 12(c) of section 3.5; you don't need to do
that exercise, just refer to it), 10.

Back to the TOP.

## Section 6.3

### Videos

### Outcomes

After attending class and working on the HW (and maybe watching the videos) you should:

- understand recurrence and recursive definitions;
- be able to apply induction to prove summation formulas (Problems 6.3.2, 6.3.5, 6.3.9);
- be able to apply induction to prove formulas recursively defined sequences (Example 6.3.3, Problem 6.3.16);
- be able to apply induction to more complex inequalities (for integers -- Example 6.3.1, Problem 6.3.12).

### Problems

**Section 6.3:** 2, 5, 9, 12, 16.

Back to the TOP.

## Section 6.4

### Videos

### Outcomes

After attending class and working on the HW (and maybe watching the videos) you should:

- understand and know how to use strong induction (Theorem 6.4.2);
- understand more complex examples of recursively defined sequences (Problem 6.4.4);
- know what Fibonacci numbers are and be able to prove simple statements about them (Theorem 6.4.3, Problems 6.4.6, 6.4.7).

### Problems

**Section 6.4:** 4, 6, 7, 19.

Back to the TOP.