Assigned Monday 7/30 and due 8/1:

Read 9.1 and 3.1.

Complete the following problems:

12.4: 10, 11

12.5: 3, 16, 18(in honor of parents weekend)

Additional problems:

1. In 12.4 on p.554 there is a table (#2) listing logical implications. Show that the sixth one, Hypothetical syllogism, is valid. It may help to refer to the definition of logical implication on p. 553 and the example in class.

2. Translate "If you are a good singer then my initials are G. W. B." into a logically equivalent statement involving a disjunction. Then apply one of De Morgan's laws to express this new statement as a negation of a conjunction. Your answers should be in words, not in symbols.

Essay question due 8/6:

The statements below form another of Lewis Carroll's logic puzzles. Write a careful proof of what these statements imply. (You are welcome to write a two column proof as part of this essay question. Just be sure that your choice of symbols, statements, and reasons are easily understood by the reader.)

The puzzle came from the Lewis Carrol E-text Collection. Check this link for more logic puzzles of many different types.

1. The only animals in this house are cats;
2. Every animal is suitable for a pet, that loves to gaze at the moon;
3. When I detest an animal, I avoid it;
4. No animals are carnivorous, unless they prowl at night;
5. No cat fails to kill mice;
6. No animals ever take to me, except what are in this house;
7. Kangaroos are not suitable for pets;
8. None but carnivors kill mice;
9. I detest animals that do not take to me;
10. Animals, that prowl at night, always love to gaze at the moon.

Assigned Wednesday 8/1 and due 8/3:

Read 9.2 and refresh your memory about material in 1.1 and 1.2. Please note that when graphing linear inequalities, the book shades points that DO NOT satisfy the inequality. This is contrary to convention - we'll discuss it in class on Friday.

As mentioned in class also read through 3.1.

Complete the following problems:

12.2: 20 For this problem be sure to list the truth values for p, q, and r in the standard way for three proposition truth tables. What do these truth tables say about these statements? What is the name for this property?

(Note: For an example of this standard listing see p. 17 table 4 in the handout. Also make sure you understand the standard way to construct one and two proposition truth tables. If this does not make sense, ask me!)

12.5: 5, 6

9.1: 2, 4, 7, 10.

Assigned Friday 8/3 and due Monday 8/6:

Read 9.3 and 3.2

Complete the following problems:

1.3: 20, 21

9.1: 6, 8

9.2: 2, 5

12.5: 10