第5章基于谓阁辽桥的机器推理 定义4设A为如下形式的谓词公式： B1∧B2∧∧Bm 其中B,(=1,2,n)形如L1VL2V.VLm’L(F1,2,,m) 为原子公式或其否定，则A称为合取范式。 例如： (P(x)VQ0y)∧(P(x)VQ0y)VR(x,y)∧(Qy)VR(x) 就是一个合取范式
第5章 基于谓词逻辑的机器推理 定义4 设A为如下形式的谓词公式： B1∧B2∧…∧Bn 其中Bi (i=1,2,…,n)形如L1∨L2∨…∨Lm，Lj (j=1,2,…,m) 为原子公式或其否定，则A称为合取范式。 例如： (P(x)∨Q(y))∧(乛P(x)∨Q(y)∨R(x,y))∧(乛Q(y)∨乛R(x,y)) 就是一个合取范式
第5章基于谓阁辽特的机器推理 -000-Hoto 定义5设A为如下形式的命题公式： B1VB2V...VB 其中B,(i=1,2,,n)形如L1∧L2Λ…∧Lm’L(1,2,,m) 为原子公式或其否定，则A称为析取范式。 例如： (P(x)∧Qy)∧R(x,y)V(P(x)∧ Qy)V(P(x)∧R(x,y) 就是一个析取范式
第5章 基于谓词逻辑的机器推理 定义5 设A为如下形式的命题公式： B1∨B2∨…∨Bn 其中Bi (i=1,2,…,n)形如L1∧L2∧…∧Lm，Lj (j=1,2,…,m) 为原子公式或其否定，则A称为析取范式。 例如： (P(x)∧乛Q(y)∧R(x,y))∨(乛P(x)∧ Q(y))∨(乛P(x)∧R(x,y)) 就是一个析取范式
第5章基子谓祠辽桥的机器推理 定义6 设P为谓词公式，D为其个体域，对于D中 的任一解释I: (1)若P恒为真，则称P在D上永真（或有效）或是D 上的永真式。 (2)若P恒为假，侧称P在D上永假（或不可满足） 或是D上的永假式。 (3)若至少有一个解释，可使P为真，则称P在D上可 满足或是D上的可满足式
第5章 基于谓词逻辑的机器推理 定义6 设P为谓词公式，D为其个体域，对于D中 的任一解释I： (1)若P恒为真，则称P在D上永真（或有效）或是D 上的永真式。 (2)若P恒为假，则称P在D上永假（或不可满足） 或是D上的永假式。 (3)若至少有一个解释,可使P为真，则称P在D上可 满足或是D上的可满足式
第5章基子谓祠辽桥的机器推理 -000 Hoto 定义7设P为谓词公式，对于任何个体域： (1)若P都永真，则称P为永真式。 (2)若P都永假，则称P为永假式。 (3)若P都可满足，则称P为可满足式
第5章 基于谓词逻辑的机器推理 定义7 设P为谓词公式，对于任何个体域： (1)若P都永真，则称P为永真式。 (2)若P都永假，则称P为永假式。 (3)若P都可满足，则称P为可满足式
第5章基子谓祠辽桥的机器推理 5.1.3谓词逻辑中的形式演绎推理 由上节所述，我们看到，利用谓词公式可以将自 然语言中的陈述语句表示为一种形式化的符号表达式。 那么，利用谓词公式，我们同样可以将形式逻辑中抽 象出来的推理规则形式化为一些符号变换公式。表3.1 和表3.2就是形式逻辑中常用的一些逻辑等价式和逻辑 蕴含式，即推理规则的符号表示形式
第5章 基于谓词逻辑的机器推理 5.1.3 谓词逻辑中的形式演绎推理 由上节所述，我们看到，利用谓词公式可以将自 然语言中的陈述语句表示为一种形式化的符号表达式。 那么，利用谓词公式，我们同样可以将形式逻辑中抽 象出来的推理规则形式化为一些符号变换公式。表3.1 和表3.2就是形式逻辑中常用的一些逻辑等价式和逻辑 蕴含式，即推理规则的符号表示形式