24春国开电大内蒙古广播电视大学离散数学（本）形考任务3成绩形考任务3 数理逻辑部分概念及性质（占形考总分的20）参考答案_1

形考任务3成绩_形考任务3 数理逻辑部分概念及性质（占形考总分的20）0

形考任务3成绩_形考任务3 数理逻辑部分概念及性质（占形考总分的20）0

渝粤题库

试卷总分:100 得分:100渝粤教育

单项选择题

1. 谓词公式({图}x )( A ( x )→ B ( x )∨ C ( x ， y ))中的（　）。

A. x 是约束变元， y 都是自由变元

B. x ， y 都是自由变元

C. x ， y 都是约束变元

D. x 是自由变元， y 都是约束变元

答案:渝粤题库

2.设 A （ x ）： x 是人， B （ x ）： x 是教师，则命题“有人是教师”可符号化为（??? ）．

A. {图}国开搜题

B. {图}

C. {图}

D. {图}

答案:

渝粤题库

3.下列等价公式成立的为(??? )．

A. P ∧ Q{图}P ∨ Q

B. ┐P ∨ P{图}Q

C. ┐Q→ P{图}P→ Q

D. ┐P ∧ P{图}┐ Q ∧ Q

答案:

国开搜题

4.设个体域 D ={ a , b , c }，那么谓词公式{图}消去量词后的等值式为(??? )．

A. {图}

B. {图}

C. {图}

D. {图}

答案:

5.设 A （ x ）： x 是书， B （ x ）： x 是数学书，则命题“不是所有书都是数学书”可符号化为（??? ）．

A. {图}

B. {图}渝粤教育

C. {图}渝粤搜题

D. {图}渝粤搜题

答案:国家开放大学作业答案

渝粤题库

6.命题公式 ( P ∨ Q ) 的合取范式是 (??? ) ．

A. ( P ∨ Q )

B. ┐(┐ P ∧┐ Q )

C. ( P ∧ Q )

D. ( P ∧ Q )∨( P ∨ Q )

答案:

7.设 P ：我将去打球， Q ：我有时间．命题“我将去打球，仅当我有时间时”符号化为(??? )．

A. {图}

B. {图}

C. {图}渝粤题库，我们的目标是要做全覆盖、全正确的答案搜索服务。

D. {图}渝粤题库

答案:

8.设个体域为整数集，则公式{图}的解释可为(??? )．

A. 存在一整数 x 对任意整数 y 满足 x+y =0

B. 对任一整数 x 存在整数 y 满足 x+y =0

C. 任一整数 x 对任意整数 y 满足 x+y =0

D. 存在一整数 x 有整数 y 满足 x+y =0

答案:渝粤题库，我们的目标是要做全覆盖、全正确的答案搜索服务。

9.下列公式成立的为(??? )．

A. P→ ┐ Q{图} ┐ P→ Q

B. ┐ P ∧ ( P ∨ Q ){图}Q

C. {图}渝粤教育

D. ┐ P ∧ ┐ Q {图}P ∨ Q

答案:

10.下列公式 (??? )为重言式．

A. Q → ( P ∨ ( P ∧ Q ))? Q → P

B. ┐ P ∧ ┐ Q ? P ∨ Q

C. (┐ P ∨ ( P ∧ Q )) ? Q

D. ( Q → ( P ∨ Q )) ? (┐ Q ∧ ( P ∨ Q ))

答案:

判断题

11.设 P ( x ) ： x 是人， Q ( x ) ： x 学习努力， 那么命题 “所有的人都学习努力 ． ” 为 ( ? x )( P ( x ) ∧ Q ( x )) ． (??? )

答案:

12.设 P ：小王来学校， Q ：他会参加比赛 ． 那么命题 “ 如果小王来学校，则他会参加比赛 ” 符号化的结果为 P → Q ． (??? )

答案:

13.谓词命题公式 ( ? x )(( A ( x ) ∧ B ( x )) ∨ C ( y )) 中的自由变元为 x ． (??? )?

答案:

14.设 P ：昨天下雨， Q ：今天下雨 ． 那么命题 “ 昨天下雨，今天仍然下雨 ” 符号化的结果为 P ∧ Q ． (??? )?一网一平台答案

答案:渝粤教育

国开搜题

15.设个体域 D ＝ {1,2, 3, 4} ， A ( x ) 为 “ x 大于 5 ” ，则谓词公式 ( ? x ) A ( x ) 的真值为 T ． (??? )??

答案:

16.命题公式┐ P ∧ ( P→ ┐ Q ) ∨ P 为永真式． (??? )?

答案:

17.设 P ( x ) ： x 是人， Q ( x ) ： x 去上课，那么命题“有人去上课 ． ”为( ? x) ( P ( x ) → Q ( x )) ． (??? )?

答案:

渝粤搜题

18.含有三个命题变项 P ， Q ， R 的命题公式 P ∧ Q 的主析取范式 ( P ∧ Q ∧ R ) ∨ ( P ∧ Q ∧ ┐ R ) ． (??? )?

答案:

19.下面的推理是否正确． (??? )渝粤题库，我们的目标是要做全覆盖、全正确的答案搜索服务。

(1) ( ? x ) A ( x ) → B ( x )???????????????????? 前提引入

(2) A ( y ) → B ( y )? ? ? ? ? ? ? ? ? ? ? ? ? ?US (1)

答案:

20.设个体域 D ＝ {1, 2, 3} ， A ( x ) 为“ x 小于 3 ” ，则谓词公式 ( ? x ) A ( x ) 的真值为 T ． (??? )?

答案: