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