讲谓词逻辑.pptVIP

* 对1）举例F（x,y）表示x大于y。 对2）举例F（x），将x实例化。命题是谓词的一种特殊情况。 * * 不便之处 1.从书写上十分不便，总要特别注明个体域。 2.在同一个比较复杂的句子中，对于不同命题函数中的个体可能属于不同的个体域，此时无法清晰表达。 如讨论求上述例中(1)和(4)的合取而得的新命题有： (? x)R(x)∧(?x)Q(x)。 其中，全称量词中的x?｛老虎｝，存在量词中的x?｛人｝。 * 如(?x)(x＋6＝5)， (1)、在实数范围内时，确有x＝-1使得x＋6＝5，因此，(?x)(x＋6＝5)为“真”。 (2)、在正整数范围内时，则找不到任何x，使得x＋6＝5为“真”，所以，(?x)(x＋6＝5)为“假”。 引出全总个体域 * (?x)(H(x)→P(x)) (?x)(H(x)∧P(x)) * 苏格拉底三段论可完整翻译为： (?x)(H(x)→D(x))，H(a)?D(a) ┐(?x)(H(x)→D(x))＝(?x)(H(ｘ)∧┐D(ｘ)) * 和命题公式的定义对照 * 设有谓词公式:(?x)P(x)∨Q(x) 此时(?x)的辖域仅为P(x)，而非P(x)∨Q(x)， 因此，P(x)与Q(x)中的x具有完全不同的意义。 * 在1)中，P(y,z)与Q(x,y)中的y为约束变元，x,z为自由变元，R(y)中的y为自由变元。 在2)中,P(x)和