Fudan University 复旦大学 2011-2012学年第2学期考试试卷 课程名称:离散数学(I 课程代码:SOFT130040.01 开课院系:软件学院 考试形式:开卷 姓名 学号 专业 叶° 「总分 DIRECTION: There are totally two pages and 60 marks of examination paper. You must write all your answers, include your name and student number clearly, on a given answersheet. You have 2 hours to solve all the questions. Please mark your name and id on each answer sheet 1. Give the following statements (a)If i graduate this semester, then i will have passed the physics course (b) If I do not study physics for 10 hours a week, then I would not pass physics (c)If I study physics for 10 hours a week, then I can not play volley ball Answer the following questions:(9 marks) (a) Formalize them in logic approach (5 marks) (b)Prove or disprove the assertion: if I play volleyball, I will not graduate this semester mar」 2. Define a binary connective A e B whose truth table is given in Table ??.Answer A|B|A⊕B 00 Table 1: Truth table of D the following questions. (7 marks) (a) Is e adequate? 2 marks)Fudan University ❊￾➀➷ 2011-2012➷❝✶2➷Ï⑧➪➪ò ➅➜➯→: ❧Ñê➷(II) ➅➜➇è: SOFT130040.01 ♠➅✓❳: ❫❻➷✓ ⑧➪✴➟: ♠ò ✻ ➯: ➷ Ò: ❀ ➆: ❑✽ 1 2 3 4 5 6 7 8 9 10 ♦➞ ✚➞ Direction: There are totally two pages and 60 marks of examination paper. You must write all your answers, include your name and student number clearly, on a given answersheet. You have 2 hours to solve all the questions. Please mark your name and id on each answer sheet. 1. Give the following statements: (a) If I graduate this semester, then I will have passed the physics course. (b) If I do not study physics for 10 hours a week, then I would not pass physics. (c) If I study physics for 10 hours a week, then I can not play volleyball. Answer the following questions: (9 marks) (a) Formalize them in logic approach. (5 marks) (b) Prove or disprove the assertion: if I play volleyball, I will not graduate this semester. (4 marks) 2. Define a binary connective A ⊕ B whose truth table is given in Table ??. Answer A B A ⊕ B 0 0 0 0 1 1 1 0 1 1 1 0 Table 1: Truth table of ⊕ the following questions.(7 marks) (a) Is {⊕} adequate? (2 marks) 1