离散数学知识汇总14页.doc

离散数学笔记第一章 命题逻辑合取析取定义 1. 1.3 否定：当某个命题为真时.其否定为假.当某个命题为假时.其否定为真定义 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。（用等值演算或真值表）第二章 谓词逻辑2.1、基本概念