离散数学知识题库.docVIP

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