24秋国开电大春西安广播电视大学离散数学（本）形考任务3成绩形考任务3 数理逻辑部分概念及性质（占形考总分的20）参考答案_1

yabao

形考任务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 为永真式． (??? )?
答案: