选言判断及推理
选言判断
断定几种事物情况至少有一种存在的判断。
相容选言判断
断定几种事物情况至少有一种存在（可同时存在）的判断。
P∨Q
常见的联结词：
- P 和 Q 至少有一个；
- 或者 P，或者 Q；
- 可能 P，可能 Q；
- 不是 P，就是 Q；
| P | Q | P∨Q |
|---|---|---|
| 真 | 真 | 真 |
| 真 | 假 | 真 |
| 假 | 真 | 真 |
| 假 | 假 | 假 |
- 选言肢有一个为真，相容选言判断为真。（有真则真）
- 选言肢都假，相容选言判断为假。（全假则假）
不相容选言判断
判定几种事物情况有且只有一种存在的判断。
P Q
P 要么 Q
联结词
- P 和 Q 有且只有一个
- 或者 P 或者 Q
- 要么 P 要么 Q
| P | Q | P 要么 Q |
|---|---|---|
| 真 | 真 | 假 |
| 真 | 假 | 真 |
| 假 | 真 | 真 |
| 假 | 假 | 假 |
- 逻辑特征：必须有也只能有一个为真。（真假不一则为真）
相容选言推理
定义：前提中有一个是相容选言判断，依据相容选言判断的逻辑性质进行的推理。
相容宣言推理：选言肢中有一真，也可以同真。
例：或者有房，或者有车。
没房。
- 否定一个选言肢，就要肯定另一个选言肢。
有房。
- 肯定一个选言肢，不能确定另一个选言肢。
不相容选言推理
定义：前提中有一个是不相容选言判断，依据不相容选言判断的逻辑性质进行的推理。
不相容选言推理：选言肢中有且只有一个为真。
例：要么有房，要么有车。
没房。
- 否定一个选言肢，就要肯定另一个选言肢。
有房。
- 肯定一个选言肢，就要否定另一个选言肢。