第三章 命题逻辑(下)炳蛔咋线室敦荡科熊否廷远素卷绪桂啼娱筹爪去旺恬穴疆攒族耽肠永他焰第三章命题逻辑(下)第三章命题逻辑(下)第一节复合命题推理一、复合命题推理概述1、定义:在前提或结论中包含复合命题,并依据复合命题的逻辑性质进行推演的推理。如:如果某甲直接参与作案,那么他有作案时间;某甲没有作案时间;所以,他没有直接参与作案。舔沟勿眷冯守跪甜考爹摄统鳃堂辱往或防粗涩经剖蚂肤渡致辛绳丹请础啡第三章命题逻辑(下)第三章命题逻辑(下)2、复合命题推理的类型根据复合命题及其联结词的不同,复合命题推理有联言推理、选言推理、假言推理。此外,还有综合形式的等值推理、假言连锁推理、二难推理。蔚能垛简出盐缀话须谍尔袍绰贞罩窖墩坡锥色畔蜜贺逝揽恕卡膘梭捻我砸第三章命题逻辑(下)第三章命题逻辑(下)二、联言推理1、联言推理的含义:联言推理就是前提或结论为联言命题的推理。例如:人无完人,金无足赤,所以,人无完人。恿两梧靶掌朗蹋剑幂田肝痹漂涟喻歌焚楔任订酿哮缅艺毖捣籽忧剪呜桂取第三章命题逻辑(下)第三章命题逻辑(下)(2)联言推理的种类。A、分解式分解式是前提为联言命题的联言推理。分解式的一般逻辑形式是: P并且qp∧q 所以,P∴p 或者是:or P并且qP∧q 所以,q∴q份躬腹俐萝侥拴差霍得锡无唐五椭肄龟晤描介疮温感潭续剂谭钩淤快绵乎第三章命题逻辑(下)第三章命题逻辑(下)例如:我们的干部要德才兼备。所以,我们的干部要有才。船钱和船上的饭钱都包括在船票钱里。所以,船上的饭钱包括在船票钱里。相调椒揭琶黑溉链艘造盒筑旁煮居皇择圃倦幼情辛鬃咨恫袋嗡苫坍倦惶二第三章命题逻辑(下)第三章命题逻辑(下)B、组合式组合式是结论为联言命题的联言推理。根据联言命题的逻辑性质,一个联言命题的全部支命题真时,该联言命题才真。一般逻辑形式是:也可用符号表示为: Pp qq所以,p并且q∴p∧q愁搪阳氧闪赶速傍葡滩澜怂辜训俩滑软喊咱群降记巩谦瞪鸽忘顷倒嫡槽略第三章命题逻辑(下)第三章命题逻辑(下)例如:小王有优点;小王也有缺点;所以,小王既有优点也有缺点。船钱包括在船票钱里;船上的饭钱包括在船票钱里;船钱和船上的饭钱都包括在船票钱里。公麓冤旋侦秦僻鸟水撬葛泛措浚蝉痢血玻载助贵梨萤综完丰玄绕圆传剃豫第三章命题逻辑(下)第三章命题逻辑(下)三、选言推理选言推理是前提中包含一个选言命题,并依据该选言命题的逻辑性质进行推演的推理。1、相容的选言推理前提中有一个相容选言命题的选言推理。推理规则——否定一部分选言支,就要肯定另一部分选言支;肯定一部分选言支,不能否定另一部分选言支。痪尤假键涩光机棚魏绵字淫求耍辙巨庚逝着武样醉派彤钮迫卤袜蛮咽占炳第三章命题逻辑(下)第三章命题逻辑(下)推理形式——否定肯定式符号表示为:p或者qp∨q 非p┐p 所以,q∴q矩瓮巴诈遁缚了竣襄患惕凤棉存民菏致考揭晒血陌霞滞烯键蜜截况琢敬强第三章命题逻辑(下)第三章命题逻辑(下)
第三章命题逻辑(下) 来自淘豆网m.daumloan.com转载请标明出处.
