Midterm1_sol

# Midterm1_sol - Solutions to Midterm 1 Question 1(a Someone...

This preview shows pages 1–3. Sign up to view the full content.

Solutions to Midterm 1 Question 1 (a) Someone has both been to every state and doesn’t know everyone. (b) It is not the case that every book that has been made into a movie is liked by everyone. (OR, there is a book that has been made into a movie and someone doesn’t like the book.) Question 2 (a) x ¬∀ yD ( x, y, Klondike bar ) or x y ¬ D ( x, y, Klondike bar ) . (b) Let B ( s ) = student s goes to beach, H ( s ) = student s ﬁnishes their home- work. xH ( x ) B ( x ) Question 3 ¬∃ x y ( P ( x ) ∧ ∃ z ( Q ( x ) → ¬ R ( y, z ))) ≡∀ x y ¬ ( P ( x ) ∧ ∃ z ( Q ( x ) → ¬ R ( y, z ))) ≡∀ x y ( ¬ P ( x ) ∨ ¬∃ z ( Q ( x ) → ¬ R ( y, z ))) ≡∀ x y ( ¬ P ( x ) ∨ ∀ z ¬ ( Q ( x ) → ¬ R ( y, z ))) ≡∀ x y ( ¬ P ( x ) ∨ ∀ z ¬ ( ¬ Q ( x ) ∨ ¬ R ( y, z ))) ≡∀ x y ( ¬ P ( x ) ∨ ∀ z ( Q ( x ) R ( y, z ))) Question 4 1

This preview has intentionally blurred sections. Sign up to view the full version.

View Full Document
( ¬ p q ) ( ¬ q r ) [( ¬ p q ) ∨ ¬ q ] [( ¬ p
This is the end of the preview. Sign up to access the rest of the document.

{[ snackBarMessage ]}

### Page1 / 3

Midterm1_sol - Solutions to Midterm 1 Question 1(a Someone...

This preview shows document pages 1 - 3. Sign up to view the full document.

View Full Document
Ask a homework question - tutors are online