# Hmk1 - q and r Then establish the validity of the argument...

This preview shows page 1. Sign up to view the full content.

COT 3100 Homework #1 Spring 2000 Section 2 Lecturer: Arup Guha Assigned: 1/20/00 Due: 1/27/00, 1/28/00 in recitation 1) Fill out a truth table to evaluate which truth assignments make the expression p (q ∨ ¬ r) true. 2) Use the truth table method to verify that (p q) (r (q p)) is logically equivalent to the expression p r. (Notice that you must have a column for q in your truth table for p r, even though q is not part of the expression in order to evaluated the equivalence. 3) Use only the laws of logic on page 59 of the text to show the equivalence of the two expressions in question 2. (You may also use the implication identity: p q is logically equivalent to ¬ p q.) Show each step and note the law used at each step. 4) Do question 12c on page 89 of the text book. Here it is: Write the following argument in symbolic form. (Assign p, q, r, etc. to simple statements and then translate the argument into multiple complex statements using p,
This is the end of the preview. Sign up to access the rest of the document.

Unformatted text preview: q and r. ..) Then establish the validity of the argument or give a counterexample to show that it is invalid. If there is a chance of rain or her red headband is missing, then Lois will not mow her lawn. Whenever the temperature is over 80 degrees Fahrenheit, there is no chance for rain. Today the temperature is 85 degrees Fahrenheit and Lois is wearing her red headband. Therefore (sometime today) Lois will mow her lawn. 5) Consider the following quantified statements. Determine if they are true or not. Explain your answer. (Let the universe for x and y be the positive integers.) a) 2200 x 5 y [y > x] b) 5 x 2200 y [x > y] c) 2200 x [ (x > 4) ⇒ ( (x 2 – 2x – 3) > 5)] d) 5 x 5 y [ (3x + y = 20) ∧ (x + 2y = 20) ∧ (2x - y = 0)] 6) Prove that for all real numbers x, y and z, if x+y+z >= 60, then x>=20 or y>=20 or z>=20. (Hint: Try using the contrapositive. ..)...
View Full Document

{[ snackBarMessage ]}

Ask a homework question - tutors are online