|
|
形考任务3成绩_形考任务3 数理逻辑部分概念及性质（占形考总分的20）0
形考任务3成绩_形考任务3 数理逻辑部分概念及性质（占形考总分的20）0
试卷总分:100 得分:100
单项选择题
1. 设命题公式 G ：{图}，则使公式 G 取真值为1的 P ， Q ， R 赋值分别是 (??? )．
A. 1, 0, 0
B. 0, 0, 1
C. 0, 1, 0
D. 0, 0, 0
答案:
2.设个体域 D ={ a , b , c }，那么谓词公式{图}消去量词后的等值式为(??? )．
A. {图}
B. {图}
C. {图}
D. {图}
答案:
3.下列公式 (??? )为重言式．
A. ( Q → ( P ∨ Q )) ? (┐ Q ∧ ( P ∨ Q ))，我们的目标是要做全覆盖、全正确的答案搜索服务。
B. ┐ P ∧ ┐ Q ? P ∨ Q
C. (┐ P ∨ ( P ∧ Q )) ? Q
D. Q → ( P ∨ ( P ∧ Q ))? Q → P
答案:
4.下列等价公式成立的为(??? )．
A. ┐P ∧┐ Q{图}P ∨ Q
B. Q→ ( P ∨ Q ){图}┐ Q ∧( P ∨ Q )
C. ┐P ∨( P ∧ Q ){图}Q
D. P→ (┐ Q→ P ){图}┐ P→ ( P→ Q )
答案:
5.设个体域 D 是整数集合，则命题{图}的真值是（?? ）．
A. 以上说法都不是
B. F
C. T
D. 不确定
答案:
6.设 P ：我将去打球， Q ：我有时间．命题“我将去打球，仅当我有时间时”符号化为(??? )．
A. {图}
B. {图}
C. {图}
D. {图}
答案:
7.命题公式 ( P ∨ Q ) → R 的析取范式是 (??? )．
A. ( P ∨ Q )∨ R
B. (┐ P ∧┐ Q )∨ R，我们的目标是要做全覆盖、全正确的答案搜索服务。
C. ┐( P ∨ Q )∨ R
D. ( P ∧ Q )∨ R
答案:
8.命题公式{图}的主合取范式是(? ??)．
A. {图}
B. {图}
C. {图}
D. {图}
答案:
9.前提条件{图}的有效结论是(??? )．
A. P
B. ┐ Q
C. ┐P
D. Q
答案:
10.命题公式 ( P ∨ Q ) 的合取范式是 (??? ) ．
A. ( P ∨ Q )
B. ( P ∧ Q )∨( P ∨ Q )
C. ┐(┐ P ∧┐ Q )
D. ( P ∧ Q )
答案:
判断题
11.设 P ( x ) ： x 是人， Q ( x ) ： x 学习努力， 那么命题 “所有的人都学习努力 ． ” 为 ( ? x )( P ( x ) ∧ Q ( x )) ． (??? )
答案:
12.命题公式 P → ( Q ∨ P ) 的真值是 T ． (??? )
答案:
13.谓词公式 ┐( ? x ) P ( x ) {图} ( ? x ) ┐ P ( x ) 成立． (??? )
答案:
14.谓词命题公式 ( ? x )( P ( x ) → Q ( x ) ∨ R ( x ， y )) 中的约束变元为 x ． (??? )
答案:
15.命题公式 ┐ P ∧ P 的真值是 T ． (??? )
答案:
16.下面的推理是否正确． (??? )
(1) ( ? x ) A ( x ) → B ( x )???????????????????? 前提引入
(2) A ( y ) → B ( y )? ? ? ? ? ? ? ? ? ? ? ? ? ?US (1)
答案:
17.设 P ：他生病了， Q ：他出差了， R ：我同意他不参加学习．那么命题“如果他生病或出差了，我就同意他不参加学习”符号化的结果为 ( P ∨ Q ) → ┐ R ． (??? )
答案:
18.谓词命题公式 ( ? x )(( A ( x ) ∧ B ( x )) ∨ C ( y )) 中的自由变元为 x ． (??? )?
答案:
19.命题公式 ┐( P → Q ) 的主析取范式是 P ∨ ┐ Q ． (??? )?
答案:
20.设个体域 D ＝ {1,2, 3, 4} ， A ( x ) 为 “ x 大于 5 ” ，则谓词公式 ( ? x ) A ( x ) 的真值为 T ． (??? )??
答案: |
本帖子中包含更多资源
您需要 登录 才可以下载或查看，没有帐号？立即注册
x
上一篇：24春国开电大春福建广播电视大学理工英语1Unit 1 形考成绩单元自测1（10分）参考答案_1下一篇：24春国开电大春福建广播电视大学离散数学（本）形考任务2成绩形考任务2 图论部分概念及性质（占形考总分的20）参考答案(1)_1
|
发表于 2024-5-23 14:49:48
中发现Ni：
中发现Ni：
中发现Ni：
中发现Ni：
中发现Ni：
中发现Ni：
QQ登录
