广东开放大学10023 离散数学.pdf

百年教育职业培训中心：/ 广东开放大学 终结性考核 参考资料 百年教育职业培训中心 编制 离散数学 判断题 无向完全图Kn(n>=3)都是欧拉图。 A.对 B.错 正确的答案是“错”。 任意命题公式都存在与之等值的主范式，但却不唯一。 A.对 B.错 正确的答案是“错”。 前束范式是数理逻辑中使用命题逻辑所描述的形式语言的一种格式。 百年教育职业培训中心：/ A.对 B.错 正确的答案是“错”。 若是两个命题公式等价，则它们具有相同的主析取范式和主合取范式。 A.对 B.错 正确的答案是“对”。 题目 A.对 B.错 正确的答案是“对”。 题目 A.对 B.错 正确的答案是“对”。 题目 A.对 B.错 正确的答案是“对”。 设A={1 ，2，3，4 ，5，6}，则A 有64 个真子集。 A.对 B.错 正确的答案是“错”。 题目 A.对 B.错 正确的答案是“对”。 设A = { x ，y z } ，B = { 1 ，2 ，3 }，二元关系R = {<x ，1>, <x ，2>, <y ，1>, <z ，3>}是A 百年教育职业培训中心：/ 到B 上的函数。 A.对 B.错 正确的答案是“错”。 A.对 B.错 正确的答案是“错”。 一个合取范式是重言式当且仅当它的每个简单析取式都是重言式。 A.对 B.错 正确的答案是“对”。 具有确切真值的陈述句称为命题。 A.对 B.错 正确的答案是“对”。 题目 A.对 B.错 正确的答案是“对”。 A ，B 是集合，A ⊕B=Φ，当且仅当A=B 。 A.对 B.错 正确的答案是“对”。 题干 设A 、B 为任意集合，则ρ(A-B)= ρ(A)- ρ(B)。 A.对 B.错 正确的答案是“错”。 具有确切真值的陈述句称为命题。（对） 任何命题变元和命题常量都是一个命题公式。（对） 命题公式的析取范式与合取范式都是唯一的。（错） 命题变元是命题逻辑甚至较高逻辑中使用的命题公式的基本组成部分。（对） 永真式不一定是可满足的。（错） 一个命题公式，如果它不是永真式，则它一定是永假式。（错） 任意命题公式都存在与之等值的主范式，但却不唯一。（错） 百年教育职业培训中心：/ 在推导过程中，不可以随时引入前提集合中的任意一个前提。（错） 若是两个命题公式等价，则它们具有相同的主析取范式和主合取范式。（对） 有限个文字的合取称为子句。（错） 由原子公式、联结词和量词可构成谓词公式。（对） 量词的辖域指一量词后的最短公式，表示一个量词在一个公式中的作用范围。（对） 对于存在量词，特性谓词是作为析取项中的一项加入。（错） 对于全称量词，特性谓词是作为蕴涵式的前件加入。（对） 在谓词逻辑推理过程中，不能使用命题演算系统中的证明方法和推理规则。 （错） 一个谓词公式如果其中由一部分公式内的变元x 不呈约束出现，则叫x 在此谓词 公式中自由出现，而此个体变元X 叫此谓词公式的自由变元。（对） 前束范式是数理逻辑中使用命题逻辑所描述的形式语言的一种格式。（错） (ᗄx)(F(x) ∨G(x))→(∃y)R(y)是一个前束范式。（错） 任何一个谓词公式均和一个前束范式等价。（对） 在谓词公式中，变元x 不可能既是自由变元也是约束变元。（错） 空集是任何集合的真子集。 （错）    是空集。 （错）     a  {a}, a （对） 如果a A B ，则a  A 或a B 。 （错） 如果A ∪B B, 则A B 。 （对） φ∈φ且φ∈{ φ}