Re: 白馬是馬，黑馬是馬，所以白馬等於黑馬？

[yauhh (姚呵呵)]

※ 引述《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)
推 benjamin0126:符號看不太懂ORZ，看來要去研究一下了
→ yauhh:不要介意符號是否絕對正確,符號只是符號而已
→ yauhh:&是and邏輯連接子,->是左因右果關係,<->是->成立又<-也成立
→ yauhh:|是or邏輯連接詞 ... 期待高人來指點以上描述有沒有毛病
推 donquido:not right...白馬和馬都不是敘述
→ yauhh:我曉得你的意思,但我的意思是 P: "這是白馬"
→ yauhh:Q: "這是黑馬"   R: "這是馬"