一阶逻辑等值演算与推理精要.ppt

例5.11证明 ① ┐?x(F(x)∧H(x)) 前提引入 ② ?x(┐F(x) ∨ ┐H(x)) ①置换 ③ ?x(H(x) → ┐F(x) ) ②置换 ④ H(y)→ ┐F(y) ③?- ⑤ ?x(G(x)→H(x)) 前提引入 ⑥ G(y)→H(y) ⑤?- ⑦ G(y)→ ┐F(y) ⑥④假言三段论 ⑧ ?x(G(x)→ ┐ F(x)) ⑦?+ 注意┐?x(F(x)∧H(x))不是前束范式，因而不能对它使用EI规则。 因为结论中的量词是全称量词?，因而在使用?- 规则时用第一式，而不能用第二式。 说明 例5.12 例5.12 在自然推理系统F中，构造下面推理的证明： 每个学术会成员都是工人并且是专家，有些成员是青年人，所有有的成员是青年专家。 个体域为全总个体域。 设 F(x):x为学术成员。 G(x):x是专家。 H(x):x是工人。 R(x):x是青年人。 前提：?x(F(x)→G(x)?H(x)),?x(F(x)∧R(x)). 结论：?x(F(x)?R(x)?G(x)) 解答 ①?x(F(x)→G(