离散数学之谓词逻辑

基本概念与表示

1. 个体词：原子命题中，独立存在的客体（主语、宾语，如张三）
   （1）个体常量：特定的个体词，用a,b,c表示
   （2）个体变量：泛指的个体词（如中国人），用x,y,z表示
2. 谓词：刻画个体词的性质或个体词间的关系（如，是大学生）
3. 个体域：个体词的取值范围，常用D表示
4. 量词：
   （1）全称量词（∀x）：所有···
   （2）存在量词（∃x）：存在···
   （3）辖域：量词的作用范围
5. 符号化
   只需记住：存在用∧，全称用→
   如：没有人登上过木星.
   设H(x)：x是人；M(x)：x登上过木星
   则(∀x)(H(x)→﹁M(x))或﹁(∃x)(H(x)∧M(x))

合式公式与解释

1. 合式公式：由原子公式、联结词、量词、圆括号、逗号组成
2. 约束变元：在辖域中，且被量词“约束”
   自由变元：不受量词的“约束”（与辖域无关）
3. 解释：在特定情况下，合式公式有特定的真值
4. 有效公式：所有解释都取“真”
   矛盾公式：所有解释都取“假”
   可满足公式：不是矛盾公式
5. 基本