形考任务3成绩_形考任务3 数理逻辑部分概念及性质（占形考总分的20）0
形考任务3成绩_形考任务3 数理逻辑部分概念及性质（占形考总分的20）0
试卷总分:100 得分:100
单项选择题一网一平台答案
1. 下列公式中 (??? )为永真式．
A. ┐ A ∧ ┐ B ? ┐( A ∧ B )
B. ┐ A ∧ ┐ B ? ?┐ A ∨ ┐ B
C. ┐ A ∧ ┐ B ?? ┐( A ∨ B )一网一平台答案
D. ┐ A ∧ ┐ B ? A ∨ B ??
答案:
2.下列等价公式成立的为(??? )．
A. ┐P ∨( P ∧ Q ){图}Q
B. ┐P ∧┐ Q{图}P ∨ Q
C. Q→ ( P ∨ Q ){图}┐ Q ∧( P ∨ Q )
D. P→ (┐ Q→ P ){图}┐ P→ ( P→ Q )
答案:
3.设命题公式 G ：{图}，则使公式 G 取真值为1的 P ， Q ， R 赋值分别是 (??? )．
A. 0, 1, 0
B. 0, 0, 0
C. 0, 0, 1
D. 1, 0, 0
答案:
4.设个体域 D 是整数集合，则命题{图}的真值是（?? ）．
A. 不确定
B. 以上说法都不是
C. F
D. T
答案:
5.设 A （ x ）： x 是人， B （ x ）： x 是教师，则命题“有人是教师”可符号化为（??? ）．
A. {图}
B. {图}，我们的目标是要做全覆盖、全正确的答案搜索服务。
C. {图}
D. {图}
答案:
6.谓词公式({图}x )( A ( x )→ B ( x )∨ C ( x ， y ))中的（ ）。
A. x 是约束变元， y 都是自由变元
B. x ， y 都是约束变元
C. x 是自由变元， y 都是约束变元
D. x ， y 都是自由变元
答案:
7.设 A （ x ）： x 是书， B （ x ）： x 是数学书，则命题“不是所有书都是数学书”可符号化为（??? ）．
A. {图}
B. {图}
C. {图}
D. {图}
答案:
8.前提条件{图}的有效结论是(??? )．
A. ┐P
B. P
C. ┐ Q
D. Q
答案:国开形成性考核答案
9.命题公式{图}为(????? )
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.设个体域 D ＝ { a , b } ，则谓词公式 ( ? x )( A ( x ) ∧ B ( x )) 消去量词后的等值式为 ( A ( a ) ∧ B ( a )) ∧ ( A ( b ) ∧ B ( b )) ． (??? )?
答案:
12.设 P ：他生病了， Q ：他出差了， R ：我同意他不参加学习．那么命题“如果他生病或出差了，我就同意他不参加学习”符号化的结果为 ( P ∨ Q ) → ┐ R ． (??? )
答案:
13.命题公式 P → ( Q ∨ P ) 的真值是 T ． (??? )
答案:
14.谓词命题公式 ( ? x )( P ( x ) → Q ( x ) ∨ R ( x ， y )) 中的约束变元为 x ． (??? )
答案:
15.命题 公式 ┐ P ∧ ( P ∨ Q ){图}Q 成立． (??? )?一网一平台答案
答案:
16.设 P ：小王来学校， Q ：他会参加比赛 ． 那么命题 “ 如果小王来学校，则他会参加比赛 ” 符号化的结果为 P → Q ． (??? )一网一平台答案
答案:
17.设 P ( x ) ： x 是人， Q ( x ) ： x 去上课，那么命题“有人去上课 ． ”为( ? x) ( P ( x ) → Q ( x )) ． (??? )?
答案:
18.谓词命题公式 ( ? x )(( A ( x ) ∧ B ( x )) ∨ C ( y )) 中的自由变元为 x ． (??? )?
答案:
19.设个体域 D ＝ {1,2, 3, 4} ， A ( x ) 为 “ x 大于 5 ” ，则谓词公式 ( ? x ) A ( x ) 的真值为 T ． (??? )??
答案:
20.命题公式┐ P ∧ ( P→ ┐ Q ) ∨ P 为永真式． (??? )?
答案: |
发表于 2024-10-11 22:13:59
中发现Ni：
中发现Ni：
中发现Ni：
中发现Ni：
中发现Ni：
中发现Ni：
QQ登录
