离散数学西电版第二章：谓词逻辑复习笔记

第二章：谓词逻辑复习笔记 离散数学 第二章：谓词逻辑复习笔记 一、谓词和量词 1.个体常元和个体变元 2.谓词 3.n元命题函数 4.量词 （1）全称量词 ∀ \forall ∀ （2）存在量词 ∃ \exists ∃ （3）量化 （4）论域 二、谓词公式 1.原子公式 2.约束变元和自由变元 （1）作用变元 （2）辖域 （3）自由变元，约束变元 （4）约束变元的换名 约束变元的换名规则如下： 自

>>阅读原文<<