人工智能课件2课件幻灯片.pptVIP

* * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 2.2.3 谓词公式的永真性判定 下面使用谓词公式的解释概念，给出关于谓词公式是否为永真的定义。 定义2.9 如果谓词公式P对个体域D上的任何一个解释都取得真值T，则称P在D上是永真的；如果P在每个非空个体域上都是永真的，则称P永真。 定义2.10 对于谓词公式P，若至少存在一个解释，使得谓词公式P在此解释下的真值为T，则称公式P是兼容的或可满足的；反之，如果存在一个解释集(Set)，使得谓词公式P在其中的任何解释下的真值都为F，则称公式P对该解释集是不兼容的或不可满足的。 * 2.2.3 谓词公式的永真性判定 根据上述定义，就能总结得出如下判断谓词公式是否为 永真的定理。 定理2.2 如果谓词合式公式WFF对于个体域中的任何一个解释I都有 (?I) WFF（I）=T 成立，则该公式WFF是一个永真公式。 类同上述，可否引入关于“永假的”、“非永真的”、“非永假的”概念与定义，并得出关于谓词公式永真性问题的若干定理呢？ 永假公式——定理2.3 如果谓词合式公式WFF对于个体域中的任何一个解释I都有 (?I) WFF（I）= F 成立，则该公式WFF是一个永假公式。 * 2.2.3 谓词公式的永真性判定 非永真公式——定理2.4 如果谓词合式公式WFF在个体域中存在解释I，使得 (彐I) WFF（I）=F 成立，则该公式WFF是一个非永真公式；并且该解释I是此公式的一个反模型。 非永假公式—— 定理2.5 如果谓词合式公式WFF在个体域中存在解释I，使得 (彐I) WFF（I）=T 成立，则该公式WFF是一个非永假公式；并且该解释I是此公式的一个模型。 由定义2.10可知，非永假公式可叫做是兼容的或可满足的，而永假公式又称为不可满足的或不兼容的。 * 2.3* 谓词逻辑的演算律 常用的谓词逻辑演算律主要有两大类：一类是逻辑等价律，另一类是逻辑蕴涵律。下面分别加以介绍。 2.3.1 谓词逻辑等价律 定义2.11 设P与Q是两个谓词公式，D是它们共同的个体域，若P与Q对于D上的任何一个解释都有相同的真值，则称公式P和Q在D上是逻辑等价的，记为 P ? Q ；如果D是任意个体域，则称公式P和Q是逻辑等价的，记作P?Q。 * 谓词逻辑等价律(一) E1 ? ?P P 双重否定律 E2 P∧P P 吸收律㈠（又称等幂律） E3 P∨P P E4 P∧Q Q∧P 交换律 E5 P∨Q Q∨P E6 (P∧Q)∧R P∧(Q∧R) 结合律 E7 (P∨Q)∨R P∨(Q∨R) E8 P∧(Q∨R) (P∧Q)∨(P∧R) 分配律 E9 P∨(Q∧R) (P∨Q)∧(P∨R) * 谓词逻辑等价律(二) E10 P∧(P∨Q) P 吸收律㈡ E11 P∨(P∧Q) P E12 ?(P∧Q) ?P∨? Q 德·摩根定律 E13 ?(P∨Q) ? P∧? Q E14 P→Q ?P∨Q 蕴涵化归律 E15 P?Q (P→Q)∧(Q→P) 等价律 E16 P∧T P 谓词与真值演算律 E17