第2章 离散数学一阶逻辑练习题演示教学.docVIP

第2章 离散数学一阶逻辑练习题 精品文档 精品文档 收集于网络，如有侵权请联系管理员删除 收集于网络，如有侵权请联系管理员删除 精品文档 收集于网络，如有侵权请联系管理员删除 第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、个体域是