2-3谓词公式的翻译.pptVIP

* 西安电子科技大学 软件学院 * * 西安电子科技大学 软件学院 离散数学 第一篇 数理逻辑 1.1 谓词和量词 第7课时 第2章 谓词逻辑 1.4 谓词演算的永真公式 1.2 谓词公式 1.5 谓词演算的四个推理规则 第8课时 第10课时 第11课时 1.3 谓词公式的翻译 第9课时 1.6 谓词逻辑推理及应用 第12课时 个体域的选取 §2.3.1 变元的个体域会影响谓词公式的取值 例如： 设P(x): 是草食动物，Q(x): x是无性繁殖的 论个体域D1: 全体动物，D2:兔子 T 所有的兔子都食草动物 D2 F 所有的动物都是食草动物 D1 (?x) P(x)的真值 (?x) P(x)的含义 F 有些兔子是无性繁殖的 D2 T 有些动物是无性繁殖的 D1 (?x) Q(x)的真值 (?x) Q(x)的含义 如果谓词公式中变元的个体域选取的不同，谓词公式的真值也可能随之不同。 （a）在个体域D1中的翻译为： (?x)Q(x) 在个体域D2中的翻译为: (?x)(P(x)→Q(x)) 解答： （b）在个体域D1中的翻译为： (?x)? Q(x) 在个体域D2中的翻译为: (?x)(P(x)∧? R(x)) 设P(x): x是人，Q(x): x是要死的，R(x): x怕死