loading离散数学笔记
第一章 命题逻辑
合取 析取
定义 1. 1.3 否定：当某个命题为真时，其否定为假，当某个命题为假时，其否定为真 定义 1. 1.4 条件联结词，表示“如果… …那么……”形式的语句 定义 1. 1.5 双条件联结词，表示“当且仅当”形式的语句
定义 1.2.1 合式公式
(1)单个命题变元、命题常元为合式公式，称为原子公式。 (2)若某个字符串 A 是合式公式，则?A、(A)也是合式公式。
(3)若 A、B 是合式公式，则 A ?B、A?B、A? B、A?B 是合式公式。 (4)有限次使用(2)~(3)形成的字符串均为合式公式。
1.3等值式
1.4析取范式与合取范式
i
将一个普通公式转换为范式的基本步骤
ii
iii