2013-01-10

97清大資工

請問一個邏輯的著名問題: There is a barber in a small village. He claims that he will shave eveybody who does not shave himself. Show that there is no such barber can exist. 這題說: 有個理髮師宣稱 他將會幫「不幫自己剪頭髮的人」剪頭髮,請證明這種理髮師不存在。 若考慮這個理髮師自己,則: 若理髮師幫自己剪頭髮 -> 則理髮師不幫自己剪頭髮,這方向沒問題。 若理髮師不幫自己剪頭髮 -> 則理髮師幫自己剪頭髮,這又是為何? 題目說理髮師幫 「不幫自己剪頭髮的人」剪頭髮,但沒有說對於「會幫自己剪頭髮的人」會怎樣,不是嗎? 難道我邏輯有問題..?

6 則留言:

Unknown 提到...

若理髮師不幫自己剪頭髮
則理髮師是"不幫自己剪頭髮的人"
所以理髮師會幫自己剪頭髮
矛盾

月戀星辰 提到...

不不不,我的問題是:

P:若理髮師幫A剪頭髮
Q:A不幫自己剪頭髮

若理髮師幫A剪頭髮(P)->A不幫自己剪頭髮(Q)

則若A=理髮師,則:

若理髮師幫自己剪頭髮(~Q)->則理髮師不幫自己剪頭髮(~P),這方向我沒問題。

但若理髮師不幫自己剪頭髮(Q),則導不出您的結論。

若P則Q,Q 無法推得 P。

線代離散助教(wynne) 提到...

在這個著名問題的陳述中
他宣稱會幫 "所有" 不幫自己理頭髮的人理頭髮
因此如果他不幫自己理頭髮, 那他也要算在內

月戀星辰 提到...

所以重點為「所有」?恩...題目應該不會在這作怪...也就是邏輯是雙向的...

好吧,感謝大家幫忙!

Unknown 提到...
作者已經移除這則留言。
James Whatt 提到...

A tech writer who is passionate to write about streaming devices and its channel programs. Apart from my work, I am interested in music and sketching. Are you a person who needs updates about the new releases and is interested in tech blogs?

Have a look at my recent blogs:
Roku com link activate code>
Roku.com/link >
Roku Activation Link >
Roku Activation Code >
Roku.com/link Activation >
How to Activate Roku?>
Activate Roku com link >
Activate Roku com link >
Roku.com/link activation code >
www.roku.com/link >
Roku activation Link >
roku account >
roku.com >
roku sign in >
roku.com link >
roku link >
roku setup >
www.roku.com >
my.roku.com >
www.roku.com/support >
my roku account >