谓词和个体词 张三是学生.李四是学生. 。个体词：张三，李四； ·谓词：命题中如果主词只有一个，那么表示主词性质或者属性的词 就是（一元）谓词。如：“是学生”就是一个谓词。命题中若有多个个 体词，那么表示多个主词间的关系的词就称为（多元）谓词。 ●谓词的表示：大写字母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
谓词举例 。“张三和李四是兄弟”，其中“是兄弟”是谓词； 。“5大于3”，其中大于是谓词： 。“张三比李四高”，其中“比.高"是谓词： 。“B上其中在上“是高同 口回1元，4元↑至0QC 刘避利（上海交大-CS实验室） 离散数学第四章：谓词逻辑的基本概念 5/1
¢cfi~ “‹n⁄oo¥73”ߟ•“¥73”¥¢c¶ “5åu3”©Ÿ•“åu”¥¢c¶ “‹n'oop”©Ÿ•“'...p”¥¢c¶ “U9†uÆ¿H”©Ÿ•“†u...¿H”¥¢c¶ “A3B˛”©Ÿ•“3...˛”¥¢c" 4ë| (˛°å-CIS¢ø) l—ÍÆ1oŸµ¢c‹6ƒ Vg 5 / 1
谓词举例 。“张三和李四是兄弟”，其中“是兄弟”是谓词； ●“5大于3”.其中“大于”是谓词； 。张三比李四高”，其中“比.高"是谓词： 。“天建位于北京的东南”，其中“位于，东南是谓词： 。“B上其中在上“是高同 口回1元，4元↑至0QC 刘避利（上海交大-CS实验室） 离散数学第四章：谓词逻辑的基本概念 5/1
¢cfi~ “‹n⁄oo¥73”ߟ•“¥73”¥¢c¶ “5åu3”©Ÿ•“åu”¥¢c¶ “‹n'oop”©Ÿ•“'...p”¥¢c¶ “U9†uÆ¿H”©Ÿ•“†u...¿H”¥¢c¶ “A3B˛”©Ÿ•“3...˛”¥¢c" 4ë| (˛°å-CIS¢ø) l—ÍÆ1oŸµ¢c‹6ƒ Vg 5 / 1
谓词举例 。“张三和李四是兄弟”，其中“是兄弟”是谓词； ●“5大于3”.其中“大于”是谓词； 。“张三比李四高”.其中“比高”是谓词； 。“天津位于北京的东南”，其中“位于东南是谓词： 。“A在B上”，其中在.上"是谓词。 口回1元，4元↑至0QC 刘避利（上海交大-CS实验室） 离散数学第四章：谓词逻辑的基本概念 5/1
¢cfi~ “‹n⁄oo¥73”ߟ•“¥73”¥¢c¶ “5åu3”©Ÿ•“åu”¥¢c¶ “‹n'oop”©Ÿ•“'...p”¥¢c¶ “U9†uÆ¿H”©Ÿ•“†u...¿H”¥¢c¶ “A3B˛”©Ÿ•“3...˛”¥¢c" 4ë| (˛°å-CIS¢ø) l—ÍÆ1oŸµ¢c‹6ƒ Vg 5 / 1
谓词举例 。“张三和李四是兄弟”，其中“是兄弟”是谓词； ●“5大于3”.其中“大于”是谓词； 。“张三比李四高”.其中“比.高”是谓词； 。“天津位于北京的东南”.其中“位于.东南”是谓词； 。“A在B上”，其中“在.上"是谓词。 口回1元，4元↑至0QC 刘避利（上海交大-CS实验室） 离散数学第四章：谓词逻辑的基本概念 5/1
¢cfi~ “‹n⁄oo¥73”ߟ•“¥73”¥¢c¶ “5åu3”©Ÿ•“åu”¥¢c¶ “‹n'oop”©Ÿ•“'...p”¥¢c¶ “U9†uÆ¿H”©Ÿ•“†u...¿H”¥¢c¶ “A3B˛”©Ÿ•“3...˛”¥¢c" 4ë| (˛°å-CIS¢ø) l—ÍÆ1oŸµ¢c‹6ƒ Vg 5 / 1