【参考借鉴】离散数学知识汇总.docVIP

优质参考文档 PAGE 优质参考文档 离散数学笔记 第一章命题逻辑 合取 析取 定义1.1.3否定：当某个命题为真时，其否定为假，当某个命题为假时，其否定为真 定义1.1.4条件联结词，表示“如果……那么……”形式的语句 定义1.1.5双条件联结词，表示“当且仅当”形式的语句 定义1.2.1合式公式 (1)单个命题变元、命题常元为合式公式，称为原子公式。 (2)若某个字符串A是合式公式，则A、(A)也是合式公式。 (3)若A、B是合式公式，则AB、AB、AB、AB是合式公式。 (4)有限次使用(2)~(3)形成的字符串均为合式公式。 1.3等值式 1.4析取范式与合取范式 将一个普通公式转换为范式的基本步骤 1.6推理 定义1.6.1设A与C是两个命题公式，若A→C为永真式、重言式，则称C是A的有 效结论，或称A可以逻辑推出C，记为A=C。（用等值演算或真值表） 第二章谓词逻辑 2.1、基本概念 ?：全称量词?：存在量词 一般情况下，如果个体变元的取值范围不做任何限制即为全总个体域时，带“全称量词”的谓词公式形如?R(H(R)→B(R))，即量词的后面为条件式，带“存在量词”的谓词公式形如?R(H(R)∨WL(R))，即量词的后面为合取式 例题 R(R)表示对象R是兔子，T(R)表示对象R是乌龟，H(R,R)表示R比R跑得快，L(R,R)表示