离散数学试题及答案1(理工大学) .pdfVIP

离散数学试题及答案1 （计算机科学与技术） 一、单选题 （题数：25，共 50.0 分） 1 不是可满足的公式必永（）。（2.0 分） A 、假 B、真 C、负 D、正 正确答案： A 2 方法简单但是里面充满了（）（2.0 分） A 、方法论 B、推广 C、推理 D、公式 正确答案： A 3 在联结词的集合Ω中如果一个联结词可以用集合Ω中的其它联结词（）,则该联结词在Ω中 被称为是冗余的,否则该联结词被称为是独立的。（2.0 分） A 、表示 B、代言 C、规划 D、条件 正确答案： A 4 在一阶谓词逻辑的（）中,所有命题逻辑的推理规则都要继承下来（2.0 分） A 、推理 B、公式 C、检查 D、发展 正确答案： A 5 首先求出公式G 的无ヨ前束型（）（2.0 分） A 、公式 B、实数 C、分数 D、结构 正确答案： A 6 对()中出现的个体常项,指定一个D 中的元素（2.0 分） A 、A B、F C、G D、V 正确答案： A 7 个体常元:通常用排在前面的小写字毋及其下标（）（2.0 分） A 、表示 B、发展 C、位置 D、幅度 正确答案： A 8 谓词逻辑的任一()A,都