简单命题及其推理(上).ppt

该【简单命题及其推理(上) 】是由【wyj15108451】上传分享，文档一共【20】页，该文档可以免费在线阅读，需要了解更多关于【简单命题及其推理(上) 】的内容，可以使用淘豆网的站内搜索功能，选择自己适合的文档，以下文字是截取该文章内的部分文字，如需要获得完整电子版，请下载此文档到您的设备，方便您编辑和打印。简单命题及其推理(上)目录命题的定义与分类简单命题的逻辑形式推理的逻辑形式推理的基本规则01命题的定义与分类0102什么是命题命题通常由主语、谓语和宾语组成,表示一种特定对象或情况的存在或属性。命题是表达判断的陈述句,具有真或假两种可能的取值。简单命题不包含其他命题作为其组成部分的命题,如“张三是人”。复合命题包含其他命题作为其组成部分的命题,如“如果天下雨,那么地面会湿”。肯定命题表示对象或情况存在的命题,如“地球是圆的”。否定命题表示对象或情况不存在的命题,如“三角形不是正方形”。全称命题表示所有对象或情况都满足某种属性的命题,如“所有的猫都是动物”。特称命题表示部分对象或情况满足某种属性的命题,如“有些猫是黑色的”。命题的分类02简单命题的逻辑形式直言命题是一种简单命题,它断定某一事物具有或不具有某种性质。定义所有金属都是导电的。示例由主词和谓词两部分组成,如“所有S是P”。逻辑形式直言命题假言命题是一种条件命题,它断定某一事物的存在或不存在依赖于另一事物的存在或不存在。定义示例逻辑形式如果下雨,那么地面会湿。由前件和后件两部分组成,如“如果P,那么Q”。030201假言命题选言命题是一种复合命题,它断定在几个可能的事物中至少有一个存在。定义这个苹果要么是红的,要么是绿的。示例由若干个选言肢组成,如“P或者Q”。逻辑形式选言命题示例这个苹果既大又圆。逻辑形式由若干个联言肢组成,如“P且Q”。定义联言命题是一种复合命题,它断定若干事物同时存在。联言命题