第三章命题逻辑(下).ppt

第三章命题逻辑(下)第一节复合命题推理一、复合命题推理概述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