2016年秋国家开放大学《离散数学》形考6试题及答案(答案全部正确)

2016 年秋国家开放大学 离散数学 形考 6 试题及答案 答案全部正确 06 任务 0001 试卷总分 100 测试时间 0 单项选择题 一 单项选择题 共一 单项选择题 共 1010 道试题 共道试题 共 100100 分 分 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 0D 存在一整数 x 对任意整数 y 满足 x y 0 3 下列公式成立的为 A P Q P QB P Q P QC Q P PD P P Q Q 4 下列公式中 为永真式 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 则使公式 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 单项选择题 一 单项选择题 共一 单项选择题 共 1010 道试题 共道试题 共 100100 分 分 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 任务 0002 试卷总分 100 测试时间 0 单项选择题 一 单项选择题 共一 单项选择题 共 1010 道试题 共道试题 共 100100 分 分 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 QB Q P P QC 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 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 B C D 10 命题公式 P Q R 的析取范式 是 A P Q RB P Q RC P Q RD P Q R 06 任务 0003 试卷总分 100 测试时间 0 单项选择题 一 单项选择题 共一 单项选择题 共 1010 道试题 共道试题 共 100100 分 分 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 B P Q C P Q D P Q 6 在谓词公式 x A x B x C x y 中 A x y 都是约束变元 B x y 都是自由变元 C x 是约束变元 y 都是自由变元 D x 是自由变元 y 都是约束变元 7 下列公式中 为永真式 A A B A B B A B A B C A B A B D A B A B 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 设个体域 D a b c 那么谓词公式消去量词后的等值式为 A A a A b A c B a B b B b B A a A b A c B a B b B b C A a A b A c B a B b B b D A a A b A c B a B b B b 10 前提条件的有效结论是 A P B P C Q D Q 06 任务 0004 试卷总分 100 测试时间 0 单项选择题 一 单项选择题 共一 单项选择题 共 1010 道试题 共道试题 共 100100 分 分 1 下列公式成立的为 A P Q P Q B P Q P Q C Q P P D P P Q Q 2 命题公式 P Q R 的析取范式是 A P Q R B P Q R C P Q R D P Q R 3 设 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 4 下列公式 为重言式 A P Q P Q B Q P Q Q P Q C P Q P P P Q D P P Q Q 5 表达式中的辖域是 A P x y B P x y Q z C R x y D P x y R x y 6 命题公式 P Q 的合取范式是 A P Q B P Q P Q C P Q D P Q 7 下列等价公式成立的为 A P P Q Q B Q P P Q C P Q P Q D P P Q 8 在谓词公式 x A x B x C x y 中 A x y 都是约束变元 B x y 都是自由变元 C x 是约束变元 y 都是自由变元 D x 是自由变元 y 都是约束变元 9 命题公式 P Q Q 为 A 矛盾式 B 可满足式 C 重言式 D 合取范式 10 设个体域 D a b c 那么谓词公式消去量词后的等值式为 A A a A b A c B a B b B b B A a A b A c B a B b B b C A a A b A c B a B b B b D A a A b A c B a B b B b 06 任务 0005 试卷总分 100 测试时间 0 单项选择题 一 单项选择题 共一 单项选择题 共 1010 道试题 共道试题 共 100100 分 分 1 命题公式 P Q 的主合取范式是 A P Q B P QC P QD P Q 2 设个体域 D 是整数集合 则命题 x y x y y 的真值是 A TB F C 不确定D 以上说法都不是 3 命题公式的析取范式是 A B C D 4 设 P 我将去打球 Q 我有时间 命题 我将去打球 仅当我有时间时 符号化为 A B C D 5 设个体域为整数集 则公式 x y x y 0 的解释可为 A 存在一整数 x 有整数 y 满足 x y 0 B 任一整数 x 对任意整数 y 满足 x y 0 C 对任一整数 x 存在整数 y 满足 x y 0D 存在一整数 x 对任意整数 y 满足 x y 0 6 命题公式 P Q R 的析取范式是 A P Q RB P Q RC P Q RD P Q R 7 下列公式成立的为 A P Q P QB P Q P QC Q P PD P P Q Q 8 设个体域 D a b c 那么谓词公式消去量词后的等值式为 A A a A b A c B a B b B b B A a A b A c B a B b B b C A a A b A c B a B b B b D A a A b A c B a B b B b 9 下列公式中 为永真式 A A B A B B A B A B C A B A B D A B A B 10 下列等价公式成立的为 A P P Q Q B Q P P QC P Q P Q D P P Q 06 任务 0006 试卷总分 100 测试时间 0 单项选择题 一 单项选择题 共一 单项选择题 共 1010 道试题 共道试题 共 100100 分 分 1 命题公式 P Q 的合取范式是 A P Q B P Q P Q C P Q D P Q 2 前提条件的有效结论是 A PB PC QD Q 3 表达式中的辖域是 A P x y B P x y Q z C R x y D P x y R x y 4 命题公式的析取范式是 A B C D 5 下列公式 为重言式 A P Q P QB Q P Q Q P Q C P Q P P P Q D P P Q Q 6 下列公式中 为永真式 A A B A B B A B A B C A B A B D A B A B 7 下列等价公式成立的为 A P P Q Q B Q P P Q C P Q P Q D P P Q 8 设 P 我将去打球 Q 我有时间 命题 我将去打球 仅当我有时间时 符号化为 A B C D 9 下列等价公式成立的为 A P Q P QB P Q P P P Q C Q P Q Q P Q D P P Q Q 10 设个体域 D 是整数集合 则命题 x y x y y 的真值是 A TB F C 不确定D 以上说法都不是 06 任务 0007 试卷总分 100 测试时间 0 单项选择题 一 单项选择题 共一 单项选择题 共 1010 道试题 共道试题 共 100100 分 分 1 设个体域为整数集 则公式 x y x y 0 的解释可为 A 存在一整数 x 有整数 y 满足 x y 0 B 任一整数 x 对任意整数 y 满足 x y 0 C 对任一整数 x 存在整数 y 满足 x y 0D 存在一整数 x 对任意整数 y 满足 x y 0 2 命题公式 P Q 的主合取范式是 A P Q B P QC P QD P Q 3 设 P 我将去打球 Q 我有时间 命题 我将去打球 仅当我有时间时 符号化为 A B C D 4 命题公式 P Q 的合取范式是 A P Q B P Q P Q C P Q D P Q 5 命题公式 P Q R 的析取范式是 A P Q RB P Q RC P Q RD P Q R 6 前提条件的有效结论是 A P B P C Q D Q 7 下列公式成立的为 A P Q P Q B P Q P Q C Q P P D P P Q Q 8 下列公式 为重言式 A P Q P Q B Q P Q Q P Q C P Q P P P Q D P P Q Q 9 在谓词公式 x A x B x C x y 中 A x y 都是约束变元 B x y 都是自由变元 C x 是约束变元 y 都是自由变元 D x 是自由变元 y 都是约束变元 10 命题公式的析取范式是 A B C D 06 任务 0008 试卷总分 100 测试时间 0 单项选择题 一 单项选择题 共一 单项选择题 共 1010 道试题 共道试题 共 100100 分 分 1 下列公式成立的为 A P Q P Q B P Q P Q C Q P P D P P Q Q 2 表达式中的辖域是 A P x y B P x y Q z C R x y D P x y R x y 3 命题公式 P Q R 的析取范式是 A P Q R B P Q R C P Q R D P Q R 4 命题公式 P Q Q 为 A 矛盾式 B 可满足式 C 重言式 D 合取范式 5 设 P 我将去打球 Q 我有时间 命题 我将去打球 仅当我有时间时 符号化为 A B C D 6 设 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 7 下列公式中 为永真式 A A B A B B A B A B C A B A B D A B A B 8 设个体域 D 是整数集合 则命题 x y x y y 的真值是 A T B F C 不确定 D 以上说法都不是 9 在谓词公式 x A x B x C x y 中 A x y 都是约束变元 B x y 都是自由变元 C x 是约束变元 y 都是自由变元 D x 是自由变元 y 都是约束变元 10 命题公式的析取范式是 A B C D 06 任务 0009 试卷总分 100 测试时间 0 单项选择题 一 单项选择题 共一 单项选择题 共 1010 道试题 共道试题 共 100100 分 分 1 设 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 2 命题公式的析取范式是 A B C D 3 下列等价公式成立的为 A P P Q Q B Q P P Q C P Q P Q D P P Q 4 设个体域为整数集 则公式 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 5 命题公式 P Q Q 为 A 矛盾式 B 可满足式 C 重言式 D 合取范式 6 命题公式 P Q 的合取范式是 A P Q B P Q P Q C P Q D P Q 7 命题公式 P Q 的主合取范式是 A P Q B P Q C P Q D P Q 8 命题公式 P Q R 的析取范式是 A P Q R B P Q R C P Q R D P Q R 9 设 P 我将去打球 Q 我有时间 命题 我将去打球 仅当我有时间时 符号化为 A B C D 10 设 A x x