|
形考任务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
|