四川大学离散期考试题及答案.docVIP

四川大学期末考试试题（闭卷） （2007-2008学年第1学期） 课程号：31100340 课程名称： 离散数学（A卷）任课教师： 适用专业年级：2006级计算机科学与技术、软件工程 学号： 姓名： 考试须知 四川大学学生参加由学校组织或由学校承办的各级各类考试，必须严格执行《四川大学考试工作管理办法》和《四川大学考场规则》。有考试违纪作弊行为的，一律按照《四川大学学生考试违纪作弊处罚条例》进行处理。 四川大学各级各类考试的监考人员，必须严格执行《四川大学考试工作管理办法》、《四川大学考场规则》和《四川大学监考人员职责》。有违反学校有关规定的，严格按照《四川大学教学事故认定及处理办法》进行处理。 题 号 一 二 三 四 五 卷面成绩 得 分 阅卷教师 阅卷时间 一、单项选择题（本大题共15小题，每小题1分，共15分）在每小题列出的四个备选项中只有一个是符合题目要求的，请将其代码填写在题后的括号内。错选、多选或未选均无分 1、下列公式中，（ ）不是永真式。 ①（P∧Q）→Q ② P→（P∨Q） ③（P→Q）(（～Q→～P ） ④（～P∨Q）∧（～（～P∧～Q）） 2、下列谓词公式中是前束范式的是（ ） ① ②