Lesson 5.

NOTE 1: Be sure to read Homework Format and Homework Writing Policy BEFORE writing up your solutions to be turned in.

NOTE 2: When two or more Lessons are to be turned in on the same day, please staple the Lessons separately and turn them in separately.
(This is Lesson 5; if another Lesson is due the same day as this Lesson is due, staple the two Lessons separately and turn them in separately.)

Due Monday, January 28

Sect. 1:

Exercises 1.4(e)(f)(g)*,  1.8(c)
*In Exercise 1.4, some of the “statements” contain one or more “variables”. Assume that the value of the variable is given, so that these are really statements. (In Section 1.2, we will learn another way of dealing with “unintroduced” variables.)

Also:  1.8(d)

Verify using truth tables that the statement

IF p,  THEN (q OR  r)

is equivalent to the statement

IF ( p AND  (NOTq)),  THEN r.

Verify directly using truth tables. (Be sure to explain how your truth tables verify the desired result.) ALSO, see if you can verify this using logical equivalences, in particular using DeMorgan's Laws and the fact that
    IF p,  THEN q
is equivalent to
    (NOTp)  OR  q.
In other words, try to obtain a sequence of logical equivalent statements, beginning with, e.g., “IF p,  THEN (q OR  r)” and ending with the other statement given above.

NOTE: As stated on the Course Home Page, all due dates are tentative. Assignments, or parts of assignments, may be postponed to a later date.

Last modified Jan 26, 2008 12:03 PM

Go to next lesson.

Back to Course Home Page