2016年秋国家开放大学《离散数学》形考6试题及答案（答案全部正确）
06任务_0001
试卷总分：100 测试时间：0
单项选择题
一、单项选择题（共 10 道试题，共 100 分。） 1. 命题公式
的析取范式是( )．
A. B. C. D. 2. 设个体域为整数集，则公式\的解释可为( )． A. 存在一整数x有整数y满足x+y=0 C. 对任一整数x存在整数y满足x+y=03. 下列公式成立的为( )．
B. 任一整数x对任意整数y满足x+y=0 D. 存在一整数x对任意整数y满足x+y=0
C. Q?P ? P
D. ?P?(P?Q)?Q
A. ?P??Q ? P?QB. P??Q ? ?P?Q4. 下列公式中 ( )为永真式．
A. ?A??B ? ?A??BB. ?A??B ? ?(A?B)C. ?A??B ? A?BD. ?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）的合取范式是 ( )． A. （P?Q）
B. （P?Q）?（P?Q） C. （P?Q） D. ?（?P??Q） 8. 设命题公式G：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
，则使公式G取真值为1的P，Q，R赋值分别是 ( )．
D. ?P?P ?Q
06任务_0002
试卷总分：100 测试时间：0
单项选择题
一、单项选择题（共 10 道试题，共 100 分。） 1. 命题公式(P?Q)?Q为( ) A. 矛盾式 B. 可满足式 C. 重言式
D. 合取范式
2. 设个体域为整数集，则公式\的解释可为( )． 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：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是教师，则命题“有人是教师”可符号化为（ ）．
，则使公式G取真值为1的P，Q，R赋值分别是 ( )．
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任务_0002
试卷总分：100 测试时间：0
单项选择题
一、单项选择题（共 10 道试题，共 100 分。） 1. 命题公式(P?Q)?Q为( )
A. 矛盾式B. 可满足式C. 重言式D. 合取范式
2. 设个体域为整数集，则公式\的解释可为( )． A. 存在一整数x有整数y满足x+y=0 C. 对任一整数x存在整数y满足x+y=0 3. 命题公式
B. 任一整数x对任意整数y满足x+y=0 D. 存在一整数x对任意整数y满足x+y=0
的析取范式是( )．
D.
C. P?Q?P?Q
D. ?P?P ?Q
A. B. C. 4. 下列等价公式成立的为( )． A. ?P?P ??Q?Q5. 设命题公式G：
B. ?Q?P?P?Q
，则使公式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?QC. ?P?QD. 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.
是 ( ) A. ?(P?Q)?R
B.
B. (P?Q)?R
C. C. (P?Q)?R
D.
10. 命题公式(P?Q)?R的析取范式
D. (?P??Q)?R 06任务_0003
试卷总分：100 测试时间：0
单项选择题
一、单项选择题（共 10 道试题，共 100 分。）
1. 设P：我将去打球，Q：我有时间．命题“我将去打球，仅当我有时间时”符号化为( )．
2016年秋国家开放大学《离散数学》形考6试题及答案(答案全部正确)
