《计算机数学基础(2)—离散数学》-谓词逻辑.pdfVIP

希望对大家有所帮助，多谢您的浏览！ 第2章 谓词逻辑 一、教学要求 1. 理解谓词、量词、个体词、个体域、原子公式、谓词公式和变元等概念。会将不太 复杂的命题符号化。 2. 掌握在有限个体域下求公式的真值和某些公式在给定解释下真值的方法，判别公式 类型 (永真式、永假式和可满足式)的方法。 3. 掌握谓词演算的等值式和重言蕴含式 (六种情况：(1)命题公式的推广；(2)量词否 定式的等值式；(3)量词辖域扩张和收缩的等值式；(4)量词与联结词