第2章谓词逻辑习题(最新)(共14页).doc

应用离散数学 谓词逻辑第2章：谓词逻辑2.1 个体词、谓词与量词习题2.11. 将下列命题用0元谓词符号化。（1）小王学过英语和法语。（2）2大于3仅当2大于4。（3）3不是偶数。（4）2或3是质数。（5）除非李键是东北人，否则他一定怕冷。解： (1) 令：x学过英语，Q(x)：x学过法语，c：小王，命题符号化为(2) 令：x大于y, 命题符号化为(3) 令：x是偶数，命题符号化为(4) 令：x是质数，命题符号化为(5) 令：x是北方人；：x怕冷；：李键；命题符号化为2. 设个体域，消去下列各式的量词。（1）（2）（3）（4）解：(1) 中，显然对y是自由的，故可使用UE规则，得到 ，因此，再用ES规则， ，所以（2）中，它对y不是自由的，故不能用UI规则，然而，对中约束变元y改名z，得到，这时用UI规则，可得：