逻辑学练习题：前束范式转换与推理规则应用.pdfVIP

填空题

1.谓词合式xP(x)→xQ(x)的前束范式为

2.xP(x)→yQ(x,y)的前束范式为。

3.谓词wffxy(zPxz((,)Pyz(,))→uQ(xyu,,))的前束范式是

选择题

xF(x),x(F(x)G

1.对→(x))xG(x)进行推理，

①xF((x)→Gx())P

②F(a)→G(a)US①

③xF(x)P

④F(a)ES③

⑤G(a)T②④I

⑥xG(x)UG⑤

推理过程中错在（）

A、①-②;B、②-③;C、③-④;D、④-⑤;E、⑤-⑥

计算题

wffx(((

yPx,y))→(zQ()

1.将z→R(x)))化为与其等价的前束范式

2.将谓词((xPx)()(yQy)())→(yRy)()化为前束析取范式与前束合取范式。

(x)(P(x)→(,))((

3.将谓词Qxy→y)P(y)(z)Q(y,z))化为前束析取范式与

前束合取范式。

证明题

1.用CP规则证明：xPx(()→Qx())xP(x)→xQ(x)

2.用CP规则证明：(x)(Px()→Qx())(xPx)()→(xQx)()

3.用CP规则证明：x(P(x)Q(x))xP(x)xQ(x)

4.用推理规则证明下式：

前提:(xPx)()→x((Px()Qx())→Rx()),(xPx)(),(xQx)()

结论：(x)(y)(Px()Ry())

5.用推理规则证明下式：

((x)(F(x)S(x))→(y)(M(y)→()),

前提:Wy(y)(M(y)W(y))

(x)(F(x)(x

→))

结论：S

6.用推理规则证明Pa()Ga()是

x(P(x)→(Q(x)R(x))),(Q()()),(),(()(

aRaSaxSxGx))的有效

结论。

7.用逻辑推理证明：

所有的舞蹈者都很有风度，王华是个学生且是个舞蹈者。

因此有些学生很有风度。

设P(x)：x是个舞蹈者；Q(x)：x很有风度；

S(x)：x是个学生；a：王华

8.符号化语句：“有些人所有的花，但是人们不杂草，

那么花不是杂草”。并推证其结论。

M(x):x是人;是花