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