一、谓词

  例: 张三是学生。
  李四是学生。
  在命题逻辑里,这是两个不同的命题,只能分别以两个不同的符号如p、q表示了。然而分析一下这两个命题的共同点,它们都有主词和谓词,不同的是主词"张三"、"李四",而谓词"是学生"是相同的,现在我们强调它们的共同点。若以大写符号P表示"是学生",这样两个命题的共同性可由P来体现了,但主词还需区别开来,便可把这两个命题分别写成
  P(张三)和 P(李四)。
  明显地描述了这两个命题的共同点和不同点。自然一般地可引入变量x来表示主词,于是符号P(x)就表示"x是学生"。通常把P(x)称作谓词。