2021谓词逻辑习题及答案.docx

谓词逻辑习题及答案 谓词逻辑习题1. 将下列命题用谓词符号化。（1）小王学过英语和法语。（2）2大于3仅当2大于4。 （3）3不是偶数。 （4）2或3是质数。（5）除非李键是东北人，否则他一定怕冷。解：(1) 令)(x P ：x 学过英语，Q(x)：x 学过法语，c ：小王，命题符号化为)()(c Q c P (2) 令),(y x P ：x 大于y, 命题符号化为)3,2()4,2(P P (3) 令)(x P ：x 是偶数，命题符号化为)3(P (4) 令)(x P ：x 是质数，命题符号化为)3()2(P P (5) 令)(x P ：x 是北方人；)(x Q ：x 怕冷；c ：李键；命题符号化为)()(x P c Q 2. 设个体域c b a D ，=，消去下列各式的量词。（1）)()(y Q x P y x （2）)()(y Q x P y x （3）)()(y yQ x xP （4）)()(y yQ y x P x ，