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

[复制链接]
查看: 5|回复: 0

13万

主题

13万

帖子

39万

积分

论坛元老

Rank: 8Rank: 8

积分
390226
发表于 2024-5-25 10:02:08 | 显示全部楼层 |阅读模式
形考任务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 . (??? )?
答案:

本帖子中包含更多资源

您需要 登录 才可以下载或查看,没有帐号?立即注册

x





上一篇:题目:组装计算机硬件时,一般先安装( ),再固定主板。
下一篇:24春国开电大内蒙古广播电视大学离散数学(本)形考任务2成绩形考任务2 图论部分概念及性质(占形考总分的20)参考答案_1
回复

使用道具 举报

您需要登录后才可以回帖 登录 | 立即注册

本版积分规则

精彩课程推荐
|网站地图|网站地图