离散数学一阶逻辑练习题.docxVIP

失散数学一阶逻辑练习题 失散数学一阶逻辑练习题 PAGE / NUMPAGES 失散数学一阶逻辑练习题 一 选择填空题 1、谓词公式 x(P( x) yR( y)) Q ( x) 中量词 x 的辖域是 ， 是拘束变元， 是自由变元。 2、若个体域为整数域，以下公式中值为真的是 A x y( x y 0) B y x( x y 0) C x y(x y 0) D x y(x y 0) 3 设个体域 A { a, b} ，公式 x( P(x) yS( x)) 消量词后应为 4、在谓词演算中，以下各式 是正确的。 A x yA( x, y) y xA(x, y) B x yA(x, y) y xA( x, y) C x yA( x, y) x yA(x, y) D x yA( x, y) y xA(x, y) 5、以下各式不正确的选项是 A x( P( x) Q( x)) xP (x) xQ(x) B x( P( x) Q( x))xP (x)xQ( x) C x(P( x) Q( x)) xP( x) xQ( x) D x( P(x) Q) xP( x) Q 6、 x yP(x, y) 的否认是 A x y P( x, y) B x y P(x, y) C x y P( x, y) D x y P( x, y) 7、将“并不是每个实数都是有理数”谓词逻辑符号化， 8、设 F ( x) : x是计算机， P( x, y) : x 能做 y ， G( x) : x 是智能工作，则“并不是全部智能工作 都能由计算机来做”可符号化为 9、个体域是 {1,2} ，命题 x y(x y 4) 的真值为 10、已知公式 x(P( x) Q ( x)) ( xP (x) xQ(x)) ，求一组公式的成假解说 二、求以下公式的前束范式 1、 2、 3、  x( xF (x) x(F (x)  yG( y, z) H ( x)) yG( x, y) yG( x, y, z)) zH (x, y, z) 三、判断以下公式的种类，若不是永真式，请给出一个成假解说。 1、 x(F ( x) G( x)) xF ( x) xG( x) 2、 ( xF ( x) yG ( y)) yG( y) 3、 x yA( x, y) x yA( x, y) 四、用谓词演算推理规则证明 ; x( P( x) (Q ( y) R( x))), xP( x) Q( y) x(P( x) R(x)) 五、将以下推理符号化，并给出推理过程。 “每个喜爱步行的人都不喜爱坐汽车； 每一个人或许喜爱坐汽车或许喜爱骑自行车； 并不是每个 人都喜爱骑自行车。因此，有人不喜爱步行。 ”