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

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

2013-2014学年第 一 学期 考试科目：考试类型：(闭卷)考试 考试时间： 120 分钟 学号 姓名 年级专业

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

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

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

A、3不是偶数 B、李平既聪明又用功 C、李平学过英语或日语 D、李平和张三是同学

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

A、 p q r B、 p q r C、p q r D、p q r

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

A、F(x) G(y)

B、 xF(x,y) yG(x,y) D、 xF(x) G(x)

C、 x(F(x) G(x))

4、设个体域为整数集，下列公式中其值为

1的是_____。

A、 x y(x y 0) B、 y x(x y 0) C、 x y(x y 0) D、 x y(x y 0)

1