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