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

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

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

试卷总分:100 得分:100

单项选择题

1. 命题公式{图}为(????? )

A. 合取范式

B. 矛盾式渝粤题库

C. 重言式

D. 可满足式

答案:

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

A. {图}

B. {图}

C. {图}国开搜题

D. {图}

答案:

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

A. {图}

B. {图}

C. {图}

D. {图}

答案:

4.设个体域 D 是整数集合，则命题{图}的真值是（?? ）．

A. F渝粤教育

B. 以上说法都不是一网一平台答案

C. T

D. 不确定渝粤题库

答案:

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

A. {图}

B. ┐ P ∧ ( P ∨ Q ){图}Q渝粤搜题

C. ┐ P ∧ ┐ Q {图}P ∨ Q一网一平台答案

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

答案:

6.表达式{图}中{图}的辖域是(??? )．

A. {图}

B. {图}国家开放大学作业答案渝粤教育

C. {图}

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

答案:

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

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

B. P→ (┐ Q→ P ){图}┐ P→ ( P→ Q )

C. Q→ ( P ∨ Q ){图}┐ Q ∧( P ∨ Q )

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

答案:

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

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

B. ┐ P ∧ ┐ Q ? P ∨ Q

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

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

答案:

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

A. {图}

B. {图}国家开放大学作业答案

C. {图}

D. {图}

答案:

10.命题公式{图}的主合取范式是(? ??)．

A. {图}

B. {图}

C. {图}

D. {图}

答案:

国家开放大学作业答案渝粤题库，我们的目标是要做全覆盖、全正确的答案搜索服务。

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

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

答案:

12.下面的推理是否正确． (??? )

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

(2) A ( y ) → B ( y )? ? ? ? ? ? ? ? ? ? ? ? ? ?US (1)一网一平台答案

答案:

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

答案:

14.谓词公式 ┐( ? x ) P ( x ) {图} ( ? x ) ┐ P ( x ) 成立． (??? )渝粤题库，我们的目标是要做全覆盖、全正确的答案搜索服务。

答案:

15.设 P ：我们下午 2 点去礼堂看电影， Q ：我们下午 2 点去教室看书． 那么命题 “ 我们下午 2 点或者去礼堂看电影或者去教室看书 ” 符号化的结果为 P ∨ Q ． (??? )

答案:

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

答案:

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

答案:

18.命题 公式 ┐ P ∧ ( P ∨ Q ){图}Q 成立． (??? )?国开形成性考核答案

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

19.命题公式 ┐( P → Q ) 的主析取范式是 P ∨ ┐ Q ． (??? )?

答案:

20.谓词命题公式 ( ? x )( P ( x ) → Q ( x ) ∨ R ( x ， y )) 中的约束变元为 x ． (??? )

答案: