2017离散数学问题详解1--5)(2)
- 1、下载文档前请自行甄别文档内容的完整性，平台不提供额外的编辑、内容补充、找答案等附加服务。
- 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
- 3、如文档侵犯您的权益，请联系客服反馈,我们会尽快为您处理(人工客服工作时间：9:00-18:30)。
06任务_0001
试卷总分：100 测试时间：0
单项选择题
一、单项选择题（共10 道试题，共100 分。）
1. 命题公式的析取式是( )．
A.
B.
C.
D.
2. 设个体域为整数集，则公式"x$y(x+y=0)的解释可为( )．
A. 存在一整数x有整数y满足x+y=0
B. 任一整数x对任意整数y满足x+y=0
C. 对任一整数x存在整数y满足x+y=0
D.
存在一整数x对任意整数y满足x+y=0
3. 下列公式成立的为( )．
A. ⌝P∧⌝Q ⇔P∨Q
B. P→⌝Q⇔⌝P→Q
D. ⌝P∧(P∨Q)⇒Q
4. 下列公式中( )为永真式．
A. ⌝A∧⌝B ↔⌝A∨⌝B
B. ⌝A∧⌝B ↔⌝(A∨B)
C. ⌝A∧⌝B ↔A∨B
D. ⌝A∧⌝B ↔⌝(A∧B)
5. 设P：我将去打球，Q：我有时间．命题“我将去打球，仅当我有时间时”符
号化为( )．
A.
B.
C.
D.
6. 命题公式(P∨Q)→R的析取式是( )
A. ⌝(P∨Q)∨R
B. (P∧Q)∨R
C. (P∨Q)∨R
D. (⌝P∧⌝Q)∨R
7. 命题公式（P∨Q）的合取式是( )．
B. （P∧Q）∨（P∨Q）
C. （P∨Q）
D. ⌝（⌝P∧⌝Q）
8. 设命题公式G：，则使公式G取真值为1的P，Q，R赋值分别
是( )．
A. 0, 0, 0
B. 0, 0, 1
C. 0, 1, 0
D. 1, 0, 0
9. 命题公式P→Q的主合取式是( )．
A. (P∨Q)∧(∏∨⌝Θ)∧(⌝∏∨⌝Θ)
B. ⌝P∧Q
C. ⌝P∨Q
D. P∨⌝Q
10. 下列等价公式成立的为( )．
A. ⌝P∧P⇔⌝Q∧Q
B. ⌝Q→P⇔P→Q
C. P∧Q⇔P∨Q
D. ⌝P∨P⇔Q
06任务_0002
试卷总分：100 测试时间：0
单项选择题
一、单项选择题（共10 道试题，共100 分。）
1. 命题公式(P∨Q)→Q为( )
A. 矛盾式
B. 可满足式
C. 重言式
D. 合取式
2. 设个体域为整数集，则公式"x$y(x+y=0)的解释可为( )．
A. 存在一整数x有整数y满足x+y=0
B. 任一整数x对任意整数y满足x+y=0
C. 对任一整数x存在整数y满足x+y=0
D.
存在一整数x对任意整数y满足x+y=0
3. 命题公式的析取式是( )．
A.
B.
C.
D.
4. 下列等价公式成立的为( )．
A. ⌝P∧P⇔⌝Q∧Q
B. ⌝Q→P⇔P→Q
C. P∧Q⇔P∨Q
D. ⌝P∨P⇔Q
5. 设命题公式G：，则使公式G取真值为1的P，Q，R赋值分别
是( )．
A. 0, 0, 0
B. 0, 0, 1
C. 0, 1, 0
D. 1, 0, 0
6. 在谓词公式(∀x)(A(x)→B(x)∨C(x，y))中，（）．
A. x，y都是约束变元
B. x，y都是自由变元
C. x是约束变元，y都是自由变元
D. x是自由变元，y都是约束变元
7. 命题公式P→Q的主合取式是( )．
A. (P∨Q)∧(∏∨⌝Θ)∧(⌝∏∨⌝Θ)
B. ⌝P∧Q
C. ⌝P∨Q
D. P∨⌝Q
8. 设A（x）：x是人，B（x）：x是教师，则命题“有人是教师”可符号化为（）．
A. ⌝(x)(A(x)∧⌝B(x))
B. (∀x)(A(x)∧B(x))
C. ⌝(∀x)(A(x)→B(x))
D. (x)(A(x)∧B(x))
9. 设P：我将去打球，Q：我有时间．命题“我将去打球，仅当我有时间时”符
号化为( )．
A.
B.
C.
D.
10. 命题公式(P∨Q)→R的析取式是( )
A. ⌝(P∨Q)∨R
B. (P∧Q)∨R
C. (P∨Q)∨R
D. (⌝P∧⌝Q)∨R
06任务_0003
试卷总分：100 测试时间：0
单项选择题
一、单项选择题（共10 道试题，共100 分。）
1. 设P：我将去打球，Q：我有时间．命题“我将去打球，仅当我有时间时”符
号化为( )．
A.
B.
C.
D.
2. 下列公式成立的为( )．
A. ⌝P∧⌝Q ⇔P∨Q
B. P→⌝Q⇔⌝P→Q
C. Q→P⇒ P
D. ⌝P∧(P∨Q)⇒Q
3. 下列公式( )为重言式．
A. ⌝P∧⌝Q↔P∨Q
B. (Q→(P∨Q)) ↔(⌝Q∧(P∨Q))
C. (P→(⌝Q→P))↔(⌝P→(P→Q))
D. (⌝P∨(P∧Q)) ↔Q
4. 命题公式(P∨Q)→R的析取式是( )
A. ⌝(P∨Q)∨R
B. (P∧Q)∨R
C. (P∨Q)∨R
D. (⌝P∧⌝Q)∨R
5. 命题公式P→Q的主合取式是( )．
A. (P∨Q)∧(∏∨⌝Θ)∧(⌝∏∨⌝Θ)