定義 P"Q如下:
P
|
Q
|
P"Q
|
T
|
T
|
T
|
T
|
F
|
F
|
F
|
T
|
T
|
F
|
F
|
T
|
我們稱前面的P為後面Q的充分條件、後面Q是前面P的必要條件。
請感受兩者的關係,P成立就足夠得到Q成立,所以P對Q來說夠充分了。然而若想耍P成立那一定要Q成立才行,所以Q對P來說是絕對必要的。
就舉 『X是白馬"X是馬』為例:
"X是白馬"此條件就足以(足夠、夠充分)推論出"X是馬",
所以我們說"X是白馬"為"X是馬"的充分條件。
但"X是白馬"為真這件事卻一定要在"X是馬"為真之下才有可能,
因此"X是馬"為"X是白馬"的必要條件。
再舉『X是科學家"X會微積分』為例:
"X是科學家"此訊息充分告訴我們"X會微積分",
因此"X是科學家"是"X會微積分"的充分條件。
而要成為科學家必定要先學會微積分,
因此"X會微積分"是"X是科學家"的必要條件。
注意:
只有在P對但Q錯的情況才能說 P"Q是錯的。
這就如同電腦程式中若有一條件句其前提在所有情況都不符合,那不論後續有何荒謬指令(只要格式OK),都不會有bug出現。
將下列敍述句寫成「若P則Q」邏輯形式(建議先找出必要條件):
1. 除非你請客否則我絕不去自助餐廳。
答案:「我去自助餐廳 " 你請客」
2. 只有在我們球隊落後10分以上,我才考慮上場打球。
答案: 「我 上場打球 "我們球隊落後10分以上」
3. 只要我們球隊落後10分以上,我一定上場打球 。
答案: 「我們球隊落後10分以上"我上場打球 」
4. 我不考慮選邏輯學除非老師不點名。
答案: 「我選邏輯學 " 老師不點名」
5. 他只有感冒時才會帶口罩。
答案: 「他帶口罩 " 他感冒了」
6. 只有在和平的前提下我們才可能談合作。
答案: 「 我們談合作 " 我們和平相處 」
沒有留言:
張貼留言