《计算机数学基础-离散数学》谓词逻辑

第2章 谓词逻辑  一、教学要求  1. 理解谓词、量词、个体词、个体域、原子公式、谓词公式和变元等概念。会将不太复杂的命题符号化。2. 掌握在有限个体域下求公式的真值和某些公式在给定解释下真值的方