Discrete Mathematics教学习题（华南理工）Tutorial03-Answer.pdfVIP

Discrete Mathematics I (Semester 2, 2014-2015) Tutorial 03 - Answer Refer to Chapter 1.5 and 1.6 Date: March-2015 1. For each of these sets of premises, what relevant conclusion or conclusions can be drawn? Explain the rules of inference used to obtain each conclusion from the premises. a) If I take the day off, it either rains or snows. I took Tuesday off or I took Thursday off. It was sunny on Tuesday. It did not snow on Thursday. b) If I eat spicy foods, then I have strange dreams. I have strange dreams if there is thunder while I sleep. I did not have strange dreams. c) What is good for corporations is good for the United States. What is good for the United States is good for you. What is good for corporations is for you to buy lots of stuff. d) All rodents gnaw their food. Mice are rodents. Rabbits do not gnaw their food. Bats are not rodents. Answer: a) P(x): I take x off Q(x): x rains. R(x): x snows. ∀x (P(x)→(Q(x)∨R(x))) (P(Tue)∨P(Thu)) (¬Q(Tue)∧¬R(Tue)) (¬R(Thu)) ∀x (P(x)→(Q(x)∨R(x))) ∧ (P(Tue)∨P(Thu)) ∧ (¬Q(Tue)∧¬R(Tue)) ∧ (¬R(Thu)) ⇒ (P(Tue)→→(Q(Tue)∨∨R(Tue))) ∧∧ (P(Thu)→→(Q(Thu)∨∨R(Thu))) ∧ →→ ∨∨ ∧∧ →→ ∨∨ (P(Tue)∨P(Thu)) ∧ (¬Q(Tue)∧¬R(Tue)) ∧ (¬R(Thu)) ⇒ ¬P(Tue) ∧ (P(Thu)→(Q(Thu)∨R(Thu))) ∧ (P(Tue)∨P(Thu)) ∧ (¬R(Thu)) ⇒ (P(Thu)→(Q(Thu)∨R(Thu))) ∧ P(Thu) ∧ (¬R(Thu)) ⇒ (Q(Thu)∨∨R(Thu)) ∧ ¬R(Thu) ∨∨ ⇒ Q(Thu) It rains on Thursday Discrete Math