5.3-一阶逻辑的推理理论.pptVIP

第五章一阶逻辑等值演算与推理

5.3一阶逻辑的推理理论在一阶逻辑中，推理的形式结构仍为

（A1∧A2∧…∧Ak）→B

若该式是永真式，则称推理正确，称B是A1,A2,

…,Ak的逻辑结论。

此时将该式记为（A1∧A2∧…∧Ak）?B。在一阶逻辑中称永真的蕴涵式为推理定律。1、命题逻辑中的重言蕴涵式，在一阶逻辑中的代换实例，都是一阶逻辑中的推理定律。例如：?xF(x)∧?yG(y)??xF(x)（化简律）?xF(x)??xF(x)∨?yG(y)（附加律）2、命题逻辑中的每个等值式均可产生两条推理定律。例如：?xF(x)?┐┐?xF(x)┐┐?xF(x)??xF(x)3、一些其它的推理定律例如：（1）?xA（x）∨?xB（x）??x（A（x）∨B（x））（2）?x（A（x）∧B（x））??xA（x）∧?xB（x）（3）?x（A（x）→B（x））??xA（x）→?xB（x）（4）?x（A（x）→B（x））??xA（x）→?xB（x）构造证明方法在自然推理系统F中进行。定义（自然推理系统F）自然推理系统F由以下三个部分组成：1、字母表2、公式3、推理规则（15个）（4）假言推理规则（A→B）∧A?B（5）附加规则A?（A∨B）（6）化简规则（A∧B）?A（7）拒取式规则（A→B）∧┐B?┐A（8）假言三段论规则（A→B）∧（B→C）?（A→C）（9）析取三段论规则（A∨B）∧┐B?A（10）构造性二难推理规则（11）合取引入规则全称量词消去规则（简称UI规则，?-）这条规则含以下两种形式：?xA（x）?A（y）（1）?xA（x）?A（c）（2）在推理过程中（1）、（2）两种形式可根据需要选用。两式成立的条件是1、在（1）式中，y为任意的不在A（x）中出现的个体变项2、在（2）式中，c为任意的不在A（x）中出现的个体常项3、用y或c必须代替A（x）中所有的x全称量词引入规则（简称UG规则，?+）A（y）??xA（x）公式成立的条件是：1、在A（y）中y自由出现，且y取任何值时A均为真。2、取代y的x不在A（y）中出现。存在量词消去规则（简称EI规则，?-）?xA（x）?A（c）公式成立的条件是1、c是使A为真的特定的个体常项2、c不能已在A（x）中出现过3、?xA（x）中没有自由出现的个体变项解:错误出在第③步，由于?yF(z,y)有自由出现的z，不满足EI规则的条件3。所以对②?yF(z,y)不能使用EI规则。存在量词引入规则（简称EG规则）A（c）??xA（x）(1)A（y）??xA（x）(2)公式成立的条件是：1、在（1）中，c是特定的个体常项2、在（2）中，y是自由出现的个体变项2、取代c或y的x不能已在A（c）或A（y）中出现过例5.10在自然推理系统F中，构造下面推理的证明：

任何自然数都是整数。存在着自然数。所以存在着整数。个体域为实数集合R。解：设F（x）：x为自然数，G（x）：x为整数前提：?x（F（x）→G（x）），?xF（x）结论：?xG（x）①?x（F（x）→G（x））前提引入②F（c）→G（c）①UI规则③?xF（x）前提引入④F（c）③EI规则在②中取c=?，则F（1/2）→G（1/2）为真。但在④中，F（1/2）为假，这样从真的前提推出了假的中间结果例5.11在自然推理系统F中，构造下面推理的证明。

前提：?x（F（x）→G（x）），?x（F（x）∧H（x））

结论：?x（G（x）∧H（x））证明：①?x（F（x）∧H（x））前提引入②F（c）∧H（c）①EI规则③?x（F（x）→G（x））前提引入④F（c）→G（c）③UI规则⑤F（c）②化简⑥H（c）②化简⑦G（c）