《6谓词逻辑推理.pptVIP

* 量词消去引入规则 4. 存在量词引入消去规则(?+) 或 或 其中x,y是个体变项符号, c是个体常项符号, 且在A中y和c不在?x和?x的辖域内自由出现. B?A(y) ?B??xA(x) B?A(c) ?B??xA(x) A(y) ??xA(x) A(c) ??xA(x) Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. * 自然推理系统NL 定义 自然推理系统NL 定义如下: 1. 字母表. 同一阶语言L 的字母表 2. 合式公式. 同L 的合式公式 3. 推理规则: (1) 前提引入规则 (2) 结论引入规则 (3) 置换规则 (4) 假言推理规则 (5) 附加规则 (6) 化简规则 (7) 拒取式规则 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004