云南农业大学《离散数学》2020-2021学年第一学期期末试卷.docVIP

装订线 装订线 PAGE 4 PAGE 1 云南农业大学期末考试试卷（A卷） 2020-2021学年第 一 学期　 考试科目：　 离散数学 　　 考试类型：（闭卷）考试　　　 考试时间：　120 　分钟 学号 姓名 年级专业 题号 一 二 三 四 总分 得分 评阅人 得分 一、选择题（本大题共 25 小题，每小题 2 分，共 50 分） 1、下列语句中，_____是命题。 A、地球上的人真多 B、把门关上 C、下午有会吗？ D、 2、一个公式在等价意义下，下面哪个写法是唯一的_____。 A、析取范式 B、合取范式 C、主析取范式 D、以上都不唯一 3、设命题公式，则G是_____。 A、永真式 B、矛盾式 C、可满足式 D、以上都不是 4、命题公式是（ ）。 矛盾式； B、可满足式； C、重言式； D、等价式。 5、下列各式中哪个不成立（ ）。 A、 ； B、； C、； D、。 6、谓词公式中的 x是（ ）。 A、自由变元； B、约束变元； C、既是自由变元又是约束变元； D、既不是自由变