考虑个体域为实数集合.PPTVIP

5.3 一阶逻辑的推理理论 一阶逻辑中,从前提A1,A2,…Ak出发推结论B的推理形式结构, 依然采用如下的蕴涵式形式 A1∧A2∧… ∧Ak → B （5.6） 若式（5.6）为永真式，则称推理正确，否则称推理不正确。 于是,一阶逻辑中推理是否正确归结为（5.6）是否为永真式。 若一个推理的形式结构正是某条推理定律，则这个推理显然是正确的。 一阶逻辑的推理中，某些前提与结论可能受量词限制，为使用命题逻辑中的等值式和推理定律，必须在推理过程中有消去和添加量词的规则，以便使谓词演算公式的推理过程可类似于命题演算中推理理论那样进行。 推理定律的来源 命题逻辑推理定律的代换实例 由基本等值式生成的推理定律 量词分配等值式 推理规则—量词消去和引入规则 命题逻辑推理定律的代换实例 ?xF(x)∧?yG(y) ? ?xF(x) （化简律的代换实例） ?xF(x) ? ?xF(x) ∨ ?yG(y) （附加律的代换实例） …… …… 由基本等值式生成的推理定律 ?xF(x) ? ┐┐?xF(x) ┐┐?xF(x) ? ?xF(x) ┐?xF(x) ? ?x┐F(x) ?x┐F(x) ? ┐?xF(x) …… …… 其他推理定律 ?xA(x)∨?xB(x) ? ?x(A(x)∨B(x)) ?x(A(x)∧B(x)) ? ?xA(x)∧?xB(x) ?x(A(x)→B(x)) ? ?xA(x)→?xB(x) ?x(A(x)→B(x)) ? ?xA(x)→ ?xB(x) …… …… 推理规则 为了构造推理系统，还要给出4条重要的推理规则,即消去量词和引入量词的规则： 1．全称量词消去规则(简记为UI规则或UI) 2．全称量词引入规则(简记为UG规则或UG) 3．存在量词引入规则(简称EG规则或EG) 4．存在量词消去规则(简记为EI规则或EI) 全称量词消去规则(简记为UI规则或UI) 全称量词消去规则(简记为UI规则或UI) 全称量词引入规则(简记为UG规则或UG) 存在量词引入规则(简称EG规则或EG) 存在量词消去规则(简记为EI规则或EI) 定义5.3 自然推理系统定义 1.字母表。同一阶语言的字母表。 2.合式公式。同合式公式的定义。 3.推理规则： (1)前提引入规则。 (2)结论引入规则。 (3)置换规则。 (4)假言推理规则。 (5)附加规则。 (6)化简规则。 (7)拒取式规则。 (8)假言三段论规则。 例题 例题 在自然推理系统中，构造下面推理的证明。 所有的人都是要死的,苏格拉底是人，所以苏格拉底是要死的。 解：先将原子命题符号化。 设 F(x):x是一个人，G(x):x是要死的，s：苏格拉底。 前提：?x(F(x)→G(x)), F(s) 结论：G(s) 证明：① ?x(F(x)→G(x)) 前提引入 ② F(s)→G(s) ①UI规则 ③ F(s) 前提引入 ④ G(s) ②③假言推理 例5.9 例5.9 设个体域为实数集合，F(x,y)为xy。指出在推理系统F中，以?x?yF(x，y)(真命题)为前提，推出?xF(x,c)(假命题)的下述推理证明中的错误。① ?x?yF(x,y) 前提引入 ② ?yF(z,y) ①UI规则 ③ F(z,c) ②EI规则 ④ ?xF(x,c) ③UG规则 解 由于c为特定的个体常项，所以?xF(x,c)为假命题。 如按F中推理规则进行推理，不会从真命题推出假命题。 在以上推理证明中，第三步错了. 由于F(z,y)中除有自由出现的y，还有自由出现的z，(3)处不能用EI规则。用了,导致了从真命题推出假命题的错误。 例5.10 例5.10 在自然推理系统中，构造下面推理的证明.任何自然数都是整数；存在着自然数。所以存在着整数。个体域为实数集合R。 解：先将原子命题符号化。 设 F(x):x为自然数，G(x):x为整数。 前提：?x(F(x)→G(x)), ?xF(x) 结论： ?xG(x) 证明： ① ?xF(x) 前提引入 ② F(c) ①EI规则 ③ ?x(F(x)→G(x)) 前提引入 ④ F(c)→G(c) ③UI规则 ⑤ G(c) ②④假言推理 ⑥ ?xG(x) ⑤EG规则 例5.10说明 以上证明的每一步都是严格按推理规则及应满足的条件进行的。因此，前