第2章謂词逻辑习题(最新).docVIP

第2章：谓词逻辑 §2.1 个体词、谓词与量词 习题2.1 1. 将下列命题用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） 解： 中，显然对y是自由的，故可使用UE规则，得到 ，因此，再用ES规则， ，，所以 （2）中，它对y不是自由的，故不能用UI规则，然而，对 中约束变元y改名z，得到，这时用UI规则，可得： （3）略 （4）略 3. 设谓词表示“等于”，个体变元和的个体域都是。求下列各式的真值。 （1） （2） （3） （4） （5） （6） 解： 当时可使式子成立，所以为Ture。 当时就不成立，所以为False。 任意的x,y使得