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

第三章命题逻辑(下)
第一节复合命题推理
一、复合命题推理概述
1、定义:在前提或结论中包含复合命题,并依据复合命题的逻辑性质进行推演的推理。
如:如果某甲直接参与作案,那么他有作案时间;
某甲没有作案时间;
所以,他没有直接参与作案。
2、复合命题推理的类型
根据复合命题及其联结词的不同,复合命题推理有联言推理、选言推理、假言推理。
此外,还有综合形式的等值推理、假言连锁推理、二难推理。
二、联言推理
1、联言推理的含义:
联言推理就是前提或结论为联言命题的推理。
例如:
人无完人,金无足赤,
所以,人无完人。
(2)联言推理的种类。
A、分解式
分解式是前提为联言命题的联言推理。
分解式的一般逻辑形式是:
P并且q p∧q
所以,P ∴p
或者是: or
P并且q P∧q
所以,q ∴ q
例如:
我们的干部要德才兼备。
所以,我们的干部要有才。

船钱和船上的饭钱都包括在船票钱里。
所以,船上的饭钱包括在船票钱里。
B、组合式
组合式是结论为联言命题的联言推理。根据联言命题的逻辑性质,一个联言命题的全部支命题真时,该联言命题才真。
一般逻辑形式是: 也可用符号表示为:
P p
q q
所以, p并且q ∴ p∧q
例如:
小王有优点;
小王也有缺点;
所以,小王既有优点也有缺点。
船钱包括在船票钱里;
船上的饭钱包括在船票钱里;
船钱和船上的饭钱都包括在船票钱里。
三、选言推理
选言推理是前提中包含一个选言命题,并依据该选言命题的逻辑性质进行推演的推理。
1、相容的选言推理
前提中有一个相容选言命题的选言推理。
推理规则——
否定一部分选言支,就要肯定另一部分选言支;
肯定一部分选言支,不能否定另一部分选言支。
推理形式——
否定肯定式符号表示为:
p或者q p∨q
非p ┐p
所以,q ∴q