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

形考任务3 数理逻辑部分概念及性质（占形考总分的20%）答卷

形考任务3 数理逻辑部分概念及性质（占形考总分的20%）答卷

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

试卷总分:100 得分:100

单项选择题

一网一平台答案

1. 设命题公式G：{图}，则使公式G取真值为1的P，Q，R赋值分别是 (??? )．

A. 0, 0, 0国家开放大学作业答案

B. 0, 0, 1

C. 0, 1, 0

D. 1, 0, 0

答案:

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

A. {图}

B. {图}

C. {图}渝粤搜题

D. {图}

答案:

国家开放大学作业答案

3.下列等价公式成立的为(??? )．国开形成性考核答案

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

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

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

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

答案:

一网一平台答案

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

A. {图}

B. {图}

C. {图}

D. {图}

答案:

5.命题公式 (P∨Q)→R的析取范式是 (??? )．

A. ┐(P∨Q)∨R

B. (P∧Q)∨R

C. (P∨Q)∨R

D. (┐P∧┐Q)∨R

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

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

A. {图}一网一平台答案

B. {图}

C. {图}

D. {图}

答案:渝粤教育

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

A. (P∧Q)

B. (P∧Q)∨(P∨Q)

C. (P∨Q)

D. ┐(┐P∧┐Q)

答案:

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

A. x，y都是约束变元

B. x，y都是自由变元

C. x是约束变元，y都是自由变元渝粤题库

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

答案:

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

A. {图}

B. {图}

C. {图}

D. {图}

答案:

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

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

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

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

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

答案:一网一平台答案

判断题

11.命题公式P→(Q∨P)的真值是T．(??? )

答案:

12.命题公式┐P∧P的真值是T．(??? )

答案:

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

答案:

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

答案:

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

答案:

16.设个体域D＝{a, b}，则谓词公式(?x)(A(x)∧B(x))消去量词后的等值式为(A(a)∧B(a))∧(A(b)∧B(b))．(??? )?渝粤题库

答案:

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

答案:国开搜题渝粤搜题

渝粤搜题渝粤题库

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

答案:

19.下面的推理是否正确．(??? )国开搜题

(1) (?x)A(x)→B(x)???????????????????? 前提引入国开形成性考核答案

渝粤教育

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

答案:

渝粤搜题

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

答案: