第1章命题逻辑的基本概念 ※命题逻辑研究的是命题的推理演算 ※命题逻辑的基本概念 ※命题联结词 柴合式公式、重言式 ※自然语句的形式化2 第1章 命题逻辑的基本概念 命题逻辑研究的是命题的推理演算． 命题逻辑的基本概念 命题联结词 合式公式、重言式 自然语句的形式化