第1章命题逻辑 第1章命题逻辑 1.1命题符号化及联结词 1.2命题公式及分类 13等值演算 14联结词全功能集 15对偶与范式 1.6推理理论 1.7命题演算的自然推理形式系统N 1.8例题选解 习题 dBac第1章 命题逻辑 第1章 命题逻辑 1.1 命题符号化及联结词 1.2 命题公式及分类 1.3 等值演算 1.4 联结词全功能集 1.5 对偶与范式 1.6 推理理论 1.7 命题演算的自然推理形式系统N 1.8 例题选解 习 题 一