作者yauhh (姚呵呵)
看板logic
標題Re: 白馬是馬，黑馬是馬，所以白馬等於黑馬？
時間Thu Apr 3 01:26:41 2008
※ 引述《benjamin0126 (請支持公視新聞)》之銘言：
: 我前幾天去考北大法專組，邏輯與推理出了這一題
: ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
: 白馬是馬，黑馬是馬，所以白馬等於黑馬
: 請問這樣的論述出了什麼問題？又如何更正較好？
: ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
: 我回答馬是白馬和黑馬的上位概念，是一個複合名詞
: 他可以同時指黃馬，斑馬，迷你馬等等
: 因此拿來比較並不精確才會導致錯誤的結論
: 本句應改成白馬是馬，黑馬是馬，所以白馬和黑馬都是馬才對
: ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
: 小弟沒有學過邏輯學
: 請問如果用邏輯的寫法要怎麼寫較佳呢？
是不是因為語言的誤會呢?
語言的「是」與「等於」等價時, p 是白馬, q 是黑馬, r 是馬,
句子是下式:
(p <-> r) & (q <-> r) -> (p <-> q)
p -> r , q -> r , r <-> r 是不證自明句 (套套邏輯),
但是, r -> p 與 r -> q 不是.
因此,
p -> r
q -> r
無法取得 p -> q & q -> p 的結論.
頂多結論是 p -> r | q -> r .
--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 218.160.111.81
※ 編輯: yauhh 來自: 218.160.111.81 (04/03 01:28)
1F：推 benjamin0126:符號看不太懂ORZ，看來要去研究一下了 04/04 20:07
2F：→ yauhh:不要介意符號是否絕對正確,符號只是符號而已 04/04 22:46
3F：→ yauhh:&是and邏輯連接子,->是左因右果關係,<->是->成立又<-也成立 04/04 22:46
4F：→ yauhh:|是or邏輯連接詞 ... 期待高人來指點以上描述有沒有毛病 04/04 22:48
5F：推 donquido:not right...白馬和馬都不是敘述 04/06 02:24
6F：→ yauhh:我曉得你的意思,但我的意思是 P: "這是白馬" 04/06 02:37
7F：→ yauhh:Q: "這是黑馬" R: "這是馬" 04/06 02:38