选言命题分为相容选言命题和不相容选言命题。
断定事物若干个可能情况中至少有一种情况存在的命题。
相容选言命题的语言形式及真假性质
1.语言形式:
“或者p ,或者q ”。
其中,p 、q 称为变项,“或者”称为“真值联结词”。
在自然语言中,表达形式还有“可能……,可能”,“或许……,或许……”,“…或…”,“也许…,也许…”, “不是…,就是…”,等等。
2.推理基础:
如果一个相容选言命题是真的,则它所有的变项中,至少有一个真(这是必然的),至多可以全部为真(这是可能的)。
也就是说,只有在所有变项都为假的情况下,这个相容选言命题才是假的。 只要有一个变项为真,则这个相容选言命题真。
3.相容选言命题推理形式
因为相容选言命题的性质是所有的变项中至少有一个是真的,所以,如果我们能确定一个正确的相容选言命题中的其他几个变项是假的,那么就能确定剩下的变项是真的。
例如:
命题“P或者q”为真,且已知p为假,则必然推出:q为真。
这就是相容选言命题推理的有效式:否定肯定式。
用符号化表示:
((p∨q) ∧~p)→q
概括成公式两个:
(1)p或q=如果非p,则q
(2)并非(p或者q)=非p且非q
4.以下的训练题请理解:
(1)已知:命题“p或者q”为真,且p为假,则q 为 。
(2)已知:命题“p或者q”为真,且p 为真,则q为 。
(3)已知:命题“p或者q”为假,则p为 。
(4)已知:p为真,则命题“P或者q”为 。
答案:(1)真。(2)不能确定真假。(3)假。(4) 真。
下面的真值表或许能帮助你理解:
p | q | p或者q |
真 |
真 |
真 |
真 |
假 |
真 |
假 |
真 |
真 |
假 |
假 |
假 |
理工类的同学可以把这种命题理解成并联电路: