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

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

答案: