6.1: 2, 6, 9(b), 14, 17

4.1: 4, 6, 8, 9, 10, 12

4.2: 3,5

Skip to content
# Math taught and learned

## Yajun An

# Category: Archive: Math_317_Fall2016

# (317) Homework 9(DUE 12/1)

# (317)Homework 8(Due 11/17)

# (317)Homework 7(Due 11/10)

# (317)Homework 6(Due 11/3)

# (317)Homework 5 (Due 10/13)

# (317) Statements with/out variables

# (317)Homework 4(Due 10/6)

# (317)Homework 3(Due 9/29)

# (317) Homework 2(Due 9/22)

# (317) Sum up of 1.1 and 1.2

6.1: 2, 6, 9(b), 14, 17

4.1: 4, 6, 8, 9, 10, 12

4.2: 3,5

Advertisements

Here are the problems due on Thursday, 11/17. A quick reminder that we have our second quiz on 11/17, Thursday. It should cover the proof strategies.

Problems:

3.4: 23

3.5: 1,2,10,26,28,30

3.6: 1,2

Section 3.3: 2,6,9,14,19,21

Section 3.4: 9,11,12,13

Hi all,

Please do your test corrections, and hand in the following problems:

3.1: 2,3,8,15,16

3.2: 2,3,4,6,12

Hi all,

Midterm is coming up soon! Review by looking at homework problems, activity sheets and reading reviews.

Here are the problems due on Thursday

2.2: 4,8,11

2.3: 1,3,5,6,11

Here we will sum up statements with or without variables.

If is a statement without variables, it has *truth values*. There are only two truth values: true or false.

On the other hand, is a statement with variable . It has a truth set, where each is the set is a value that makes true. It is possible that all in the universe makes true; or there are only some values that make it true.

For example:

: ” 3 is a prime number.” is a statement, and there is no variable. The truth value of depends on itself and nothing else.

: “ is a prime number.” is a statement, and is the variable. The truth set of is the set of all prime numbers, which is a subset of .

Quantifiers bind variables, and they only make sense for statements with variables. Both and have no free variable, and therefore become statements. They now have only truth values true and false.

As and are really the shorthand notation for and , the truth value would depend on both and the universe .

In our previous example of, adding the universal quantifier makes the statement into , which means “all are prime.” This statement is either true or false. It is true, if the universe we choose is the set of all prime numbers, and false if the universe is all integers .

Similarly, the existential quantifier makes the statement into , which means “there are some that is prime.” This statement is either true or false. If the intersection of the universe and the set of prime numbers is non-empty, for example , then the statement is true. If the universe doesn’t contain any prime numbers, for example , then the statement is false.

2.1: 9

2.2: 2,5,6,7,9,11,12

Hi all,

Homework due:

1.5: 2,3,5,9

2.1: 2,3,5,7,8

One more reminder that we are having a quiz next Tuesday!

Section 1.3: 2,4,6,8

Section 1.4: 6,9,11,13,14

If you like to know more about Venn Diagram for more than three sets, check out this article.

Hi all,

This week we will talk about sections 1.3-1.5, and we will use everything we have learned last week. Here is a summary:

Proofs (or arguments) are about statements, composed of statements with logical connectives. We hope to make arguments/write down proofs that are valid, so when all premises are true, we can only say the conclusion must be true. Truth tables are nice ways of organizing information, and you can use truth tables to list all logical possibilities.

Statements: sentences that can only be either true or false. You might need more information to know the truth value of it. We use capital letters to represent statements.

To connect these statements, we use logical connectives. We have three so far: , , , and one more will be introduced in section 1.5. These connect the statements you make.

In an argument, you might see words like: therefore/then/hence/thus/we conclude, etc. Statements before these words are called premises, and statements after these words are called conclusions. An argument is *invalid*, if all premises are true, but the conclusion *can be* false. So if you want to judge the validity of an argument, try to see if you can come up with something that satisfies all the premises but doesn’t satisfy the conclusion. These are call counterexamples.

Remind you that logical forms (statements with logical connectives) are not unique, as you can see in the equivalent formulas on page 21 and 23.

Finally, truth table is a great tool for organizing information. Above equivalent formulas can be discovered via such tables.