主要内容 1.1命题符号化及联结词 1.2命题公式及分类 1.3等值演算 14联结词全功能集 1.5对偶与范式 1.6推理理论主要内容 1.1 命题符号化及联结词 1.2 命题公式及分类 1.3 等值演算 1.4 联结词全功能集 1.5 对偶与范式 1.6 推理理论