谓词逻辑习题及答案.docx

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