谓词举例 。“张三和李四是兄弟”，其中“是兄弟”是谓词； ●“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