离散数学教学课件 作者 郝晓燕 第2章谓词逻辑.pptVIP

例2-2.6 在分别取个体域为 （1）D1=N （2）D2=R （3）D3为全总个体域的条件下 将命题“存在数x，使得x+7=5”符号化，并讨论真值。 本例说明：不同个体域内，命题符号化形式可能不同（也可能相同），真值可能不同（也可能相同）。 例2-2.7 给定解释I如下： ① DI?=R； ② DI中特定元素a=0； ③ DI上特定函数f?(x，y)：x＋y，g(x，y)：x×y； ④ DI上特定谓词F(x，y)：x等于y。 写出下列公式在I中的解释，并指出真值。 （1）(?x)F(?f?(x，a)，g(x，a)) （2）(?x)(?y)(F(?f?(x，y)，g(x，y))?F(x，y)) （3）(?x)F(g(x，y)，a) 注意：闭式在任何解释下都是命题；不是闭式的公式在解释下可能是命题，也可能不是命题。 §2-2-4 谓词逻辑的公式类型 定义2-2.7 若公式A在任何解释下均为真，则称A为逻辑有效式（永真式）。若A在任何解释下均为假，则称A为矛盾式（永假式）。若至少有一个解释使A为真，则称A为可满足式 例2-2.8 判断下列公式类型 （1）(?x)F(x)?((?x)(?y)G(x，y)?(?x)F(x)) （2）?((?x)F(x)?(?y)G(y))?(?y)G(y) （3）(?x)(F(x)?G(x)) 由于谓词公式的复杂性和解释的多样性，至今还没有