离散左孝凌第1章命题逻辑

- 第1章 命题逻辑 1.1 命题及联结词 1.2 命题公式与翻译 1.3 真值表和等价公式 1.4 重言式 1.5 范式 1