离散数学第四章：谓词逻辑的基本概念 刘胜利 liu-sl@cs.sjtu.edu.cn Tel:34204405 密码与信息安全实验室 计算机科学与工程系 上海交通大学 刘避利（上海交大CS实验室） 离散数学第四章：谓词逻辑的基本概念 1/1l—ÍÆ1oŸµ¢c‹6ƒVg 4ë| liu-sl@cs.sjtu.edu.cn Tel: 34204405 óËÜ&ES¢ø OéÅâÆÜÛßX ˛°œåÆ 4ë| (˛°å-CIS¢ø) l—ÍÆ1oŸµ¢c‹6ƒVg 1 / 1