第2章 离散数学一阶逻辑练习题(3页).doc

-第2章 离散数学一阶逻辑练习题-第 3 页第2章 一阶逻辑一 选择填空题1、谓词公式中量词的辖域是 ， 是约束变元， 是自由变元。2、若个体域为整数域，下列公式中值为真的是 A B C D 3设个体域，公式消量词后应为 4、在谓词演算中，下列各式 是正确的。A B C D 5、下列各式不正确的是 A B C D 6、的否定是 A B C D 7、将“并非每个实数都是有理数”谓词逻辑符号化，8、设是计算机，能做，是智能工作，则“并非所有智能工作都能由计算机来做”可符号化为 9、个体域是，命题的真值为 10、已知公式，求一组公式的成假解释 二、求下列公式的前束范式1、2、3、三、判断下列公式的类型，若不是永真式，请给出一个成假解释。1、2、3、四、用谓词演算推理规则证明;五、将下列推理符号化，并给出推理过程。“每个喜欢步行的人都不喜欢坐汽车；每个人或者喜欢坐汽车或者喜欢骑自行车；并非每个人都喜欢骑自行车。所以，有人不喜欢步行。”