作者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