命题逻辑和谓词逻辑习题课题目及参考答案.doc

命题逻辑和谓词逻辑习题课的题目及参照答案 命题逻辑和谓词逻辑习题课的题目及参照答案 PAGE / NUMPAGES 命题逻辑和谓词逻辑习题课的题目及参照答案 命题逻辑和谓词逻辑习题课的题目及参照答案 说明：红色标明题目能够姑且不做 命题逻辑和谓词逻辑习题课的题目 一、 填空 1、 若 P，Q，为二命题， 真值为 0 当且仅 当 。 2、 命题“对于随意给定的正实数，都存在比它大的实数”令 F(x) ：x 为实数，则命题的逻辑谓词公式为 。 3、谓词合式公式的前束范式 为 。 4、 将量词辖域中出现的 和指导变元互换为另一变元符号，公式其他的部分不变，这类方法称为换名规则。 5、 设 x 是谓词合式公式 A的一个客体变元，A 的论域为 D，A(x) 对于 y 是自由的， 则 被称为存在量词消去规则，记为 ES。 6．设 P，Q 的真值为 0， R，S 的真值为 1，则 的真值 = 7．公式的主合取范式为  。 。 8．若解说 I 的论域 D 仅包括一个元素， 则 在 I 下真值为 。 P ：你努力， Q：你失败。“除非你努力，不然你将失败”的翻译为 ；“固然你努力 了，但仍是失败了”的翻译为 。 论域 D={1， 2} ，指定谓词 P P P P P (1, (1, (2, (2, 1) 2) 1) 2) T T F F 则 公 式 真 值 为 。 P，Q 真值为 0 ；R，S 真值为 1。则的 真 值 为 。 12. 的 主 合 取 范 式 为 。 设 P（ x）：x 是素数， E(x) ：x 是偶数， O(x) ： x 是奇数 N (x,y) ： x 能够整数 y。 则谓词的自然语言是 。 谓词的前束范式为 。 二、 选择 1、 以下语句是命题的有（ ）。 A、明年中秋节的夜晚是晴日；B、； C、当且仅当 x 和 y 都大于 0； D、我正在谎话。 2、以下各命题中真值为真的命题有 （ ）。 A、 2+2=4 当且仅当 3 是奇数； B、 2+2=4 当且仅当 3 不是奇数； C、 2+2≠ 4 当且仅当 3 是奇数； D、 2+2≠4 当且仅当 3 不是奇数； 3、 以下符号串是合式公式的有（ ） A、；B、；C、；D、。 4、 以下等价式建立的有（ ）。 A、；B、； C、 ；  D 、。 5、 若和 B为A、称为  wff ，且则（ B 的前件；  B 、称  ）。 B 为的 有效结论 C、当且仅当； D、当且仅当。 6、 A，B 为二合式公式，且，则 （ ）。 A、为重言式； B 、； C、； D 、； E 、为重 言式。 7、 “人老是要死的”谓词公式表示为 （ ）。 （论域为全总个体域） M(x) Mortal(x) ： x 是要死的。  ：  x  是人； A、；  B 、 C、；D、 8、 公式的解说 I 为：个体域 D={2} ，P(x) ： x3, Q(x) ：x=4 则 A的真值为（ ）。 A、1； B 、0； C 、可知足式； D 、 没法判断。 9、 以下等价关系正确的选项是（ ）。 A、； B、； C、； D、。 10、以下推理步骤错在（ ）。 ① P ② US① ③ P ④ ES③ ⑤ T②④ I ⑥ EG⑤ A、②； B、④； C、⑤； D、⑥ 11、在下述公式中是重言式为 （ ） A．；B．； C．； D ．。 12、命题公式 中极小项的个数为 （ ），成真赋值的个数为 （ ）。 A．0； B ．1； C ．2； D ．3 。 三、 逻辑判断 1、 用等值演算法和真值表法判断公式的 种类。（ 10 分） 2、 以下问题，若建立请证明，若不建立请举出反例：（ 10 分） 1） 已知，问建立吗 2） 已知，问建立吗 3、 假如厂方拒绝增添薪资，那么停工就 不会停止，除非停工超出一年而且工厂 撤换了厂长。 问：若厂方拒绝增添薪资，而停工刚开始， 停工能否能够停止。（ 10 分） 四、计算 1、 设命题 A1，A2 的真值为 1，A3，A4 真值 为 0，求命题 的真值。（5 分） 2、 利用主析取范式，求公式的种类。 （5分） 五、谓词逻辑推理 15% 1、用 CP规则证明下题 （每题 8 分） 2、用逻辑推理证明： 全部的舞蹈者都很有风采，王华是个学 生且是个舞蹈者。所以有些学生很有风采。 六、证明：（ 10%） 设论域 D={a , b , c} ，求证：。 参照答案： 一、 填空 1、P 真值为 1，Q的真值为 0； 2、； 3、； 4、拘束变元； 5、，y 为 D 的某些元素。 6.1 ； 7． 1 ； ； T 1 ； ； 随意 x，假如 x 是素数则存在一个 y， y 是奇数且 y 整除 x ； 。 二、 选择 题 2 3 4