第2章謂词逻辑习题及答案.docVIP

谓词逻辑习题 1. 将下列命题用谓词符号化。 （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使得，显然有的情况出现，所以为False。 (4)存在x,y