116谓词逻辑永真公式.pptVIP

11.6 谓词逻辑的永真公式 在谓词逻辑中，公式是一个符号串，必须给以具体的解释后才能分辨其真假的可能。 解释：给公式中的个体变元指定一个具体的个体域D 一个公式经解释后才具有具体的意义。 谓词公式的解释I包括： 指定一个论域D(称I为D上的解释) 对A中出现的每一个n元函数，指定一个D上的 n元个体函数常量 对A中出现的每一个n元谓词，指定一个D上的n元谓词常量 对A中出现的每一个个体常量及自由变元，指定D中的一个个体常量 对A中出现的每一个命题变元P，指派一个真值T或F 由此得到一个命题AI，称AI的真值为公式A在解释I 下的真值 例 取解释I如下： D={1,2}, 定义D上的二元谓词P真值为 P(1,1): T； P(1,2): F； P(2,1):F； P(2,2): T 则?x?yP(x,y)和?y?xP(x,y) 在解释I下的真值分别为? ?x?yP(x,y) ?y?xP(x,y) 例 取解释I如下： D={1,2}, 令 a:1, f(1)=2, f(2)=1 定义D上的谓词P和Q为 P(1): F； P(2): T； Q(1,1):T； Q(1,2):T； Q(2,1):F； Q(2,2): F 求谓词公式?x(P(x)→Q(f(x),a))在解释I下的真值 谓词公式的永真式 定义 给定谓词公式A，E是其论域，如果在任何解释下公式A的