谓词和个体词 张三是学生.李四是学生. 。个体词：张三，李四； ·谓词：命题中如果主词只有一个，那么表示主词性质或者属性的词 就是（一元）谓词。如：“是学生”就是一个谓词。命题中若有多个个 体词，那么表示多个主词间的关系的词就称为（多元）谓词。 ●谓词的表示：大写字母P(),Q()。命题表示为P(x),Q(x,y),其 中x,y是个体词。 刘避利（上海交大-CS实验室） 离散数学第四章：谓词逻辑的基本概念 4/1¢c⁄áNc ‹n¥Æ)©oo¥Æ)© áNcµ‹nßoo¶ ¢cµ·K•XJÃcêkòáß@oL´Ãc5ü½ˆ·5c “¥(ò)¢c"Xµ“¥Æ)”“¥òá¢c"·K•ekıáá Ncß@oL´ıáÃcm'Xc“°è(ı)¢c" ¢cL´µåi1P(·)ßQ(·)"·KL´èP(x), Q(x, y)ߟ •x, y¥áNc" 4ë| (˛°å-CIS¢ø) l—ÍÆ1oŸµ¢c‹6ƒVg 4 / 1