Re: 白馬是馬，黑馬是馬，所以白馬等於黑馬？
※ 引述《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)
推
04/04 20:07, , 1F
04/04 20:07, 1F
→
04/04 22:46, , 2F
04/04 22:46, 2F
→
04/04 22:46, , 3F
04/04 22:46, 3F
→
04/04 22:48, , 4F
04/04 22:48, 4F
推
04/06 02:24, , 5F
04/06 02:24, 5F
→
04/06 02:37, , 6F
04/06 02:37, 6F
→
04/06 02:38, , 7F
04/06 02:38, 7F
討論串 (同標題文章)