CMSC250 Spring 2004 Homework 4 Due Wednesday February 25 at the beginning of your discussion section You must write the solutions to the problems single sided on your own lined paper with all sheets stapled together and with all answers written in sequential order or you will lose points 1 Complete the following proofs using the method described in class line numbers rules etc P1 P2 a P3 x D P x T x Q x y D Q y R y P y z D T z R z S z w D Q w S w P1 P2 b P3 t D A t B t C t D t u D A u D u E u v D E v C v A v h D B h E h P1 P2 c P3 P4 w D J w M w x D M x N x J x K x y D N y L y 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 universal set 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 all people 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 be true 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 textbooks are cheap Some textbooks 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 that situation 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 instrument 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 listed for 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 symbolic 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 accordian c John plays trumpet Kate plays piano trumpet and accordian and Lisa doesn t play anything d John plays trumpet Kate plays piano and trumpet and Lisa plays trumpet e John plays trumpet Kate doesn t play anything and Lisa plays piano and accordian 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 plays piano trumpet and accordian 2
View Full Document
Unlocking...