陈波：逻辑学导论第二章.

第二章 命题逻辑  一、日常联结词和复合命题  二、真值联结词 真值形式  三、重言式及其判定方法  四、重言蕴涵式 重言等值式  五、命题逻辑的自然推理 1

第二章 命题逻辑  一、日常联结词和复合命题  二、真值联结词 真值形式  三、重言式及其判定方法  四、重言蕴涵式 重言等值式  五、命题逻辑的自然推理 1 Less