体验
目标
- 识别选言命题的形式。
- 用其他命题构造选言命题。
- 说明选言命题的真值条件。
内容
选言命题
由至少两个直言命题通过 “或” 连接而成的命题。在变项符号表示中,这类命题的形式为 “p 或 q”,其中 “p” 和 “q” 均为独立命题。例如,有以下两个命题:
(1)“青蛙是两栖动物”
(2)“青蛙是爬行动物”
我们可以将它们组合成选言命题(1 或 2):“青蛙是两栖动物,或青蛙是爬行动物”。
这里的命题(1)和(2)被称为这个选言命题的选言支。
选言命题的相容性
若两个选言支可以同时为真,则 “或” 是相容的。假设你的朋友做了晚餐,甜点是冰淇淋,她说 “你可以吃巧克力冰淇淋或香草冰淇淋”。在很多语境中,这意味着你可以选巧克力、选香草,或者两者都要!也许你太喜欢这两种口味了,更想混在一起吃,而不是只选一种。
不相容的 “或” 则不允许这种情况。再举一个直观的例子:假设你的朋友在找她的书,你说 “嗯,你要么走北路回家,要么走南路回家”。这里的前提是这两种情况不能同时成立 —— 你的朋友要么走北路,要么走南路,不可能两者都走。
相容选言命题的真值条件
相容的 “或”:在相容解释下,当其中一个选言支为真,或两个选言支同时为真时,选言命题为真。
p | q | “p 或 q” |
真 | 真 | 真 |
假 | 真 | 真 |
真 | 假 | 真 |
假 | 假 | 假 |
不相容选言命题的真值条件
不相容的 “或”:在不相容解释下,只有当其中一个选言支为真而另一个为假时,选言命题才为真,两个选言支同时为真时命题为假。在两种解释中,当两个选言支均为假时,选言命题都为假。不相容的 “或” 在变项符号中可表示为 “p 或 * q”,即 “p 或 q,且并非 p 和 q 同时为真”。也可以理解为 “p 和 q 中恰好有一个为真”。
p | q | “p 或 * q” |
真 | 真 | 假 |
假 | 真 | 真 |
真 | 假 | 真 |
假 | 假 | 假 |
在亚里士多德逻辑中,复合命题非常有用,因为我们常常需要在一个命题中断言多个主张。
选言命题可分为两类:一类是不相容选言命题,断言两个选言支中恰好有一个为真;另一类是相容选言命题,断言至少有一个选言支为真,允许两者同时为真。