DOC PREVIEW
UMD CMSC 250 - Homework #4

This preview shows page 1 out of 2 pages.

Save
View full document
View full document
Premium Document
Do you want full access? Go Premium and unlock all 2 pages.
Access to all documents
Download any document
Ad free experience
Premium Document
Do you want full access? Go Premium and unlock all 2 pages.
Access to all documents
Download any document
Ad free experience

Unformatted text preview:

CMSC250, Spring 2004 Homework 4Due Wednesday, February 25 at the beginning of your discussion section.You must write the solutions to the problems single-sided on your own linedpaper, with all sheets stapled together, and with all answers written in sequentialorder or you will lose points.1. Complete the following proofs using the method described in class (line numbers, rules,etc).(a)P1 ∀x ∈ D P (x) → (T (x) ∨ Q(x))P2 ∀y ∈ D Q(y) ∨ (R(y) ∧ P (y))P3 ∀z ∈ D (T (z) ∧ R(z)) → S(z)∴ ∀w ∈ D ∼ Q(w) → S(w)(b)P1 ∀t ∈ D (A(t) → B(t)) → (C(t) ∨ D(t))P2 ∃u ∈ D ∼ A(u) ∧ (D(u) → E(u))P3 ∀v ∈ D ∼ E(v) → (C(v) → A(v))∴ ∃h ∈ D ∼ B(h) ∨ E(h)(c)P1 ∀w ∈ D J(w) → M (w)P2 ∀x ∈ D M(x) → ((N(x) →∼ J(x))∧ ∼ K(x))P3 ∀y ∈ D N (y)∨ ∼ L(y)P4 ∀z ∈ D (J(z) ∧ K(z)) ∨ (L(z) ∧ M (z))∴ ∀q ∈ D ∼ J(q)2. Translate each of the following into formal language using the sets and predicates given.(a) Exactly two people completely understand quantum physics. (U = {universalset}, P (m) = m is a person, Q(n) = n completely understands quantum physics.)(b) I own at least three cats. (C = { all cats}, N(x) = I own x.)(c) No more than two people own both a kangaroo and a polar bear. (P = {allpeople}, K(p) = p owns a kangaroo, B(p) = p owns a polar bear.)3. For each of the following, decide if the argument is valid or invalid, and write “invalid”or “valid” as appropriate. If it is invalid, draw an Euler diagram to verify this fact.If it is valid, draw an Euler diagram that shows the premises and conclusion all to betrue.(a) • All shortshops can steal bases.• Some shortstops can hit home runs.• Therefore, some shortstops can steal bases and hit home runs.1(b) • All CS professors are intelligent.• All CS professors like music.• Therefore, all intelligent people like music.(c) • Some textbo oks are cheap.• Some textbo oks are useful.• Therefore, some textbooks are cheap and useful.4. In this problem, you are given a number of situations in English. For each situation,you must determine which symbolic expression(s) from the given list are true in thatsituation.Let L be the set of people {Kate, Lisa, John}, let M be the set of musical instruments{piano, trumpet, accordian}, and let the predicate P (x, y) mean “person x plays in-strument y.”Symbolic expressions to choose from:(1) ∀x ∈ L ∃y ∈ M P (x, y)(2) ∃x ∈ L ∀y ∈ M P (x, y)(3) ∀y ∈ M ∃x ∈ L P (x, y)(4) ∃y ∈ M ∀x ∈ L P (x, y)You may assume that in each situation, each person plays only the instruments listedfor him or her, and no others. In other words, if its not listed, they don’t play it!Remember, for each situation, write down the corresponding numbers of all the sym-bolic expressions that apply to that situation.Situations:(a) John plays piano, Kate plays trumpet, and Lisa plays accordian.(b) John plays piano, Kate plays piano and trumpet, and Lisa plays piano and accor-dian.(c) John plays trumpet, Kate plays piano, trumpet, and accordian, and Lisa doesn’tplay anything.(d) John plays trump et, Kate plays piano and trumpet, and Lisa plays trumpet.(e) John plays trumpet, Kate doesn’t play anything, and Lisa plays piano and accor-dian.(f) John plays accordian, Kate plays piano and accordian, and Lisa plays piano.(g) John plays piano, trumpet, and accordian, Kate plays trumpet and accordian,and Lisa plays accordian.(h) John plays piano and trumpet, Kate plays piano and accordian, and Lisa playspiano, trumpet, and


View Full Document

UMD CMSC 250 - Homework #4

Download Homework #4
Our administrator received your request to download this document. We will send you the file to your email shortly.
Loading Unlocking...
Login

Join to view Homework #4 and access 3M+ class-specific study document.

or
We will never post anything without your permission.
Don't have an account?
Sign Up

Join to view Homework #4 2 2 and access 3M+ class-specific study document.

or

By creating an account you agree to our Privacy Policy and Terms Of Use

Already a member?