DOC PREVIEW
UMD CMSC 250 - Homework #2

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 2Due Wednesday, February 11 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. For each of the following statements, give its converse, inverse, and contrapositive inEnglish sentences; be sure to label the three parts of each answer. You may changeverb tenses to make your answers sound better.(a) “If one thinks, one must reach conclusions.”1(b) “If you look good and dress well, you don’t need a purpose in life.”2(c) “California is a fine place to live if you happen to be an orange.”3(d) “You can be free only if I am free.”42. Construct a complete truth table to help you determine if the following argument isvalid or not. State whether it is valid or not, indicate the entries in the truth tablethat led you to your answer, and explain why those entries support your answer.p → (q ∨ r)q →∼ p∴ p → r3. Use the rules of inference you were given to complete the two proofs below. Use thesame format as was shown in class for these proofs — each line of your proof must bejustfied with the rule and line numbers you used to obtain that line.(a)P1 ∼ x ∨ wP2 (x → y) → (s → z)P3 ∼ z∴ s → w(b)P1 (a∧ ∼ b) ∨ (c ∧ a)P2 (a ∨ d) →∼ fP3 c → (f∨ ∼ a)∴ ∼ b1Helen Keller (1880–1968)2Robert Pante3Fred Allen (1894–1956)4Clarence Darrow (1857–1938)14. Indiana Jones, the famous archeologist, is off on another adventure. Indy knows thatin all his adventures he always has three tasks to accomplish: he must get the treasure,save the girl, and defeat the bad guy. However, being a college professor, Dr. Jones isalso a very logical person. In fact, he has developed a set of rules to de termine whichof his three tasks he should complete first. The rules are:P1 If Indy is in Europe or South America, he gets the treasure first.P2 If Indy is in Asia or Africa, he saves the girl or defeats the bad guy first.P3 Indy was almost squashed by a rolling boulder if and only if he is in South Americaor Africa.P4 Indy is in neither Europe nor South America if he falls into a pit of snakes.P5 Indy never defeats the bad guy first if he is in Africa.Indy can’t remember which continent he is currently on, but he does remember thatearlier in this adventure he fell into a pit of snakes and was almost squashed by arolling boulder. Help him figure out which task he should do first.You may use the following propositions:e = “Indy is in Europe.” t = “Indy gets the treasure first.”f = “Indy is in Africa.” g = “Indy saves the girl first.”s = “Indy is in South America.” b = “Indy defeats the bad guy first.”a = “Indy is in Asia.” p = “Indy falls into a pit of snakes.”r = “Indy is almost squashedby a rolling boulder.”(a) Convert each of the rules P1–P5 to symbolic form using only the nine prop ositionsdefined above, and the operators ∧, ∨, ∼, →, and ↔.(b) Convert the statements from the paragraph above into symbolic expressions, usingthe same nine propositions and the same operators as in part (a). Continue tolist these as premises for your proof — P6, etc.(c) Use the rules of inference you learned in class to determine which of the threetasks Indy should complete first. Be sure to use the same layout format as wasshown in class for logic proofs — same as in Question 3.(d) Which task will Indy do


View Full Document

UMD CMSC 250 - Homework #2

Download Homework #2
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 #2 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 #2 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?