设p他主修计算机科学,华南农业大学 离散数学 期末考试2013试卷及答案

1 华南农业大学期末考试试卷(A 卷)

2013-2014学年第 一 学期 考试科目： 离散结构

考试类型：(闭卷)考试 考试时间： 120 分钟

学号 姓名 年级专业

①本试题分为试卷与答卷2部分。试卷有四大题，共6页。

②所有解答必须写在答卷上，写在试卷上不得分。

一、选择题(本大题共 25 小题，每小题 2 分，共 50 分)

1、下面语句是简单命题的为_____。

A 、3不是偶数

B 、李平既聪明又用功

C 、李平学过英语或日语

D 、李平和张三是同学

2、设 p:他主修计算机科学, q:他是新生，r:他可以在宿舍使用电脑，下列命题“除非他不是新生，否则只有他主修计算机科学才可以在宿舍使用电脑。”可以符号化为______。

A 、r q p →⌝∧⌝

B 、r q p ⌝→∧⌝

C 、r q p →⌝∧

D 、r q p ∧→

3、下列谓词公式不是命题公式P →Q 的代换实例的是______。

A 、)()(y G x F →

B 、),(),(y x yG y x xF ∃→∀

C 、))()((x G x F x →∀

D 、)()(x G x xF →∃ 4

、设个体域为整数集，下列公式中其值为1的是_____。

A 、)0(=+∃∀y x y x

B 、)0(=+∀∃y x x y

C 、)0(=+∀∀y x y x

D 、)0(=+∃⌝∃y x y x