|
形考任务3成绩_形考任务3 数理逻辑部分概念及性质(占形考总分的20)0
形考任务3成绩_形考任务3 数理逻辑部分概念及性质(占形考总分的20)0
,我们的目标是要做全覆盖、全正确的答案搜索服务。
试卷总分:100 得分:100
单项选择题
1. 设 A ( x ): x 是书, B ( x ): x 是数学书,则命题“不是所有书都是数学书”可符号化为(??? ).
A. {图}
B. {图}
C. {图}
D. {图}
答案:
2.设 P :我将去打球, Q :我有时间.命题“我将去打球,仅当我有时间时”符号化为(??? ).
A. {图}
B. {图}
C. {图}
D. {图}
答案:
3.谓词公式({图}x )( A ( x )→ B ( x )∨ C ( x , y ))中的( )。
A. x 是自由变元, y 都是约束变元
B. x , y 都是自由变元
C. x , y 都是约束变元
D. x 是约束变元, y 都是自由变元
答案:
4.设个体域为整数集,则公式{图}的解释可为(??? ).,我们的目标是要做全覆盖、全正确的答案搜索服务。
A. 存在一整数 x 有整数 y 满足 x+y =0
B. 任一整数 x 对任意整数 y 满足 x+y =0
C. 对任一整数 x 存在整数 y 满足 x+y =0
D. 存在一整数 x 对任意整数 y 满足 x+y =0
答案:
,我们的目标是要做全覆盖、全正确的答案搜索服务。
5.命题公式 ( P ∨ Q ) 的合取范式是 (??? ) .
A. ┐(┐ P ∧┐ Q )
B. ( P ∧ Q )
C. ( P ∧ Q )∨( P ∨ Q )
D. ( P ∨ Q )
答案:
6.命题公式{图}为(????? )
A. 矛盾式
B. 重言式
C. 可满足式
D. 合取范式
答案:
7.下列等价公式成立的为(??? ).
A. ┐P ∧┐ Q{图}P ∨ Q
B. P→ (┐ Q→ P ){图}┐ P→ ( P→ Q )
C. ┐P ∨( P ∧ Q ){图}Q
D. Q→ ( P ∨ Q ){图}┐ Q ∧( P ∨ Q )
答案:
8.下列公式 (??? )为重言式.
A. ( Q → ( P ∨ Q )) ? (┐ Q ∧ ( P ∨ Q ))
B. ┐ P ∧ ┐ Q ? P ∨ Q
C. (┐ P ∨ ( P ∧ Q )) ? Q
D. Q → ( P ∨ ( P ∧ Q ))? Q → P
答案:,我们的目标是要做全覆盖、全正确的答案搜索服务。
9.表达式{图}中{图}的辖域是(??? ).,我们的目标是要做全覆盖、全正确的答案搜索服务。
A. {图}
B. {图}
C. {图}
D. {图}
答案:
10.下列公式中 (??? )为永真式.
A. ┐ A ∧ ┐ B ? ?┐ A ∨ ┐ B
B. ┐ A ∧ ┐ B ?? ┐( A ∨ B )
C. ┐ A ∧ ┐ B ? A ∨ B ??
D. ┐ A ∧ ┐ B ? ┐( A ∧ B )
答案:
判断题
11.设个体域 D = {1, 2, 3} , A ( x ) 为“ x 小于 3 ” ,则谓词公式 ( ? x ) A ( x ) 的真值为 T . (??? )?
答案:
12.设 P :我们下午 2 点去礼堂看电影, Q :我们下午 2 点去教室看书. 那么命题 “ 我们下午 2 点或者去礼堂看电影或者去教室看书 ” 符号化的结果为 P ∨ Q . (??? )
答案:
13.命题公式┐ P ∧ ( P→ ┐ Q ) ∨ P 为永真式. (??? )?
答案:
14.设 P :昨天下雨, Q :今天下雨 . 那么命题 “ 昨天下雨,今天仍然下雨 ” 符号化的结果为 P ∧ Q . (??? )?
答案:
15.设个体域 D = { a , b }, 那么谓词公式( ? x)A ( x )∨( ? y)B ( y ) 消去量词后的等值式为 A ( a ) ∨ B ( b ) . (??? )?
答案:
16.命题公式 ┐( P → Q ) 的主析取范式是 P ∨ ┐ Q . (??? )?
答案:,我们的目标是要做全覆盖、全正确的答案搜索服务。
17.谓词公式 ┐( ? x ) P ( x ) {图} ( ? x ) ┐ P ( x ) 成立. (??? )
答案:
18.设 P :小王来学校, Q :他会参加比赛 . 那么命题 “ 如果小王来学校,则他会参加比赛 ” 符号化的结果为 P → Q . (??? )
答案:
19.谓词命题公式 ( ? x )(( A ( x ) ∧ B ( x )) ∨ C ( y )) 中的自由变元为 x . (??? )?
答案:
20.设 P ( x ) : x 是人, Q ( x ) : x 去上课,那么命题“有人去上课 . ”为( ? x) ( P ( x ) → Q ( x )) . (??? )?
答案: |
本帖子中包含更多资源
您需要 登录 才可以下载或查看,没有帐号?立即注册
x
上一篇:24春国开电大春福建广播电视大学理工英语1Unit 7 形考成绩单元自测7(10分)参考答案_1下一篇:24春国开电大春福建广播电视大学理工英语1Unit 5 形考成绩单元自测5(10分)参考答案_1
|