第一节 推理概述 第二节 命题推理的基本形式及规则 第三节 命题推理的扩展形式 第四节 命题推理在实际思维中的应用

一、推理及其种类 二、有效推理与正确推理 三、命题推理及其特征 四、蕴涵析取推理及其应用

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

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

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

一、推理的形式结构 二、判断推理是否正确的方法 三、推理定律与推理规则 四、构造证明法

一、什么是模态命题？ 模态命题是反映事物可能性或必然性的命题。 例1：共产主义必然胜利。 例2：明天可能不下雨。 这些都是模态命题。前者反映了共产主义胜利具有必然性。后者反映了明天不下雨具有可能性

上海交通大学：《逻辑学导论》课程教学资源（PPT课件）第七章 模态命题及其推理、第八章 归纳推理和类比推理

“模态”一词是英文“modal”的音译,原意为“样式的”,“情态的”。模态逻辑是研究包 含模态词“必然”、“可能”的模态命题及其推理的科学。模态逻辑历史很悠久,早在两千多年 前,亚里士多德就对模态命题做过许多讨论,研究了模态词和模态三段论,但在很长一段时间 里模态逻辑的价值被忽略了,因而模态逻辑基本上没有得到发展。直到本世纪初,美国逻辑学 家 Lewis用数理逻辑的方法和观点对模态逻辑作了系统的研究,这才使模态逻辑的发展进入了 一个崭新的时期

⚫内容：推理形式和推理演算是数理逻辑研究的基本内容。 ⚫推理演算要用正确的推理：推理形式由前提和结论经蕴涵词联接而成。我们关注正确的推理形式 。正确的推理形式可由逻辑关系符表达。 ⚫非形式描述：本章对命题等值和推理演算进行的讨论，是以语义的观点进行的非形式的描述