1.1 命题与联结词 1.2 命题公式及其分类 1.3 等值演算 1.4 命题公式的标准形式 1.5 命题演算的推理理论

命题的基本概念 命题联结词 命题合式公式、重言式 自然语句的形式化

一、命题、判断与语句 （一）命题 命题是通过语句来反映事物情况的思维形式。 命题的主要特征：命题有真假。 （二）判断 判断就是被断定了的命题。 判断的主要特征：有所断定。 （三）语句 语句是一组表示事物情况的声音或笔画。 命题与语句之间的关系：既有联系也有区别

第一节 命题概述 第二节 命题的分类和命题形式 第三节 命题形式的逻辑性质和真值表 第四节 真值函项 第五节 多重复合命题语句的符号化

《高中数学》全程设计训练题库（A版必修第一册，课后习题，含答案）第一章 集合与常用逻辑用语_1.5.2 全称量词命题和存在量词命题的否定

《高中数学》全程设计训练题库（B版必修第一册，课后习题，含答案）第1章 集合与常用逻辑用语 1.2.2 全称量词命题与存在量词命题的否定

《高中数学》全程设计同步配套教学课件（A版必修第一册）第一章 集合与常用逻辑用语_1.5.2 全称量词命题和存在量词命题的否定

第一节 模态逻辑概述 第二节 模态命题及其推理 第三节 道义命题及其推理

《逻辑学》课程PPT：第五章 性质命题及其推理、第六章 关系命题及其推理

一、模态命题及其种类 二、模态命题的真假与可能世界的理论 三、基本模态命题之间的对当关系 四、道义命题及其种类 五、模态命题推理、道义命题推理在法律中的应用