等值式 否定型等值式 量词分配等值式 范式-前京范式及Skolem标准形 基本的推理公式 推理演算 作业 0000 000 0 000000000 离散数学第五章：谓词逻辑的等值和推理演算 刘胜利 liu-sl@cs.sjtu.edu.cn Tel:34204405 密码与信息安全实验室 计算机科学与工程系 上海交通大学 刘胜利（上海交大-CS实验室） 鹰敬数学第五章：谓词逻辑的等值和推理演算 1126✤❾➟ ➘➼✳✤❾➟ þ❝➞✛✤❾➟ ❽➟–❝å❽➟✾Skolem■❖✴ ➘✢✛í♥ú➟ í♥ü➂ ❾➆ ❧Ñê➷✶✃Ù➭➣❝Ü✻✛✤❾Úí♥ü➂ ✹➅⑤ liu-sl@cs.sjtu.edu.cn Tel: 34204405 ➋è❺✫❊❙✜➣✟➾ ❖➂➴❽➷❺ó➜❳ þ➦✂Ï➀➷ ✹➅⑤ (þ➦✂➀-CIS➣✟➾) ❧Ñê➷✶✃Ù➭➣❝Ü✻✛✤❾Úí♥ü➂ 1 / 26