posts | comments | archives | links | create | song
(reminder: all quotes here are fiddled, probably.)

簡潔


有之必然, 謂之充份. 無之必不然, 謂之必要.





* * *

BTW,

「喜歡的,才留言」, 意味「不喜歡的,不留言」(~q => ~p), 換句話說, 留言足以推知喜歡(p => q). 可見, 留言(p)是喜歡的充份條件, 喜歡(q)是留言的必要條件.

(1) 這裡「p => q」的意思是「p is true 可推論出 q is true」, 談的是語句之間的涵蘊關係, 跟因果無關.

(2) 邏輯書上也多把「p => q」讀作「if p then q」. 不過這種「如果」, 跟日常用語的「如果」並不等同. 邏輯書上的「有空就來」, 有空就來, 沒空不知來不來; 日常用語裡「有空就來」, 有時候也會兼指「沒空就不來」( p => q, and ~p => ~q ), 要視脈絡而定.

PS:
(3) 再說, 如果把語氣也考慮在內, 那麼簡單的「有空 => 來」 也不算很準確地捕捉到「有空就來」的意思. 要表達一定來/可能來, 那就得出動模態邏輯才行. 雞同鴨講, 問題有時不是出於邏輯, 而是出於「翻譯」. 怎樣恰當地把日常語言的語句, 用邏輯語言的式子表達出來, 那也是考功夫的地方. 這不是甚麼難明的事, 數學課裡怎樣把文字題化成算式, 已經是許多學生的一大難題.

9 Comments:

:: Blogger michelle (06.06.08, 22:10   ) sagt...

嘩,幹嗎咁邏輯,我也想玩玩。

你說的都對,"喜歡是留言的必要條件. 留言足以推知喜歡, 可見, 留言是喜歡的充份條件... 又「=>」的意思是「可推論出」..." 不過我想: 「喜歡」在這裡不等於「留言」,既然是推論,喜歡是留言的條件,但留言不是喜歡的'結果',喜歡引至留言,也會引至不留言,留言不是必然的答案。

故「喜歡的,才留言」不等於「不喜歡的,不留言」,因為「不喜歡的」=「不留言」,不喜歡的一定不留言,在這裡沒有第三個答案。

可若我們設條件「因為喜歡,所以留言」,因果必然,便等於「不喜歡的,不留言」了。

不知船山兄意見如何?



:: Blogger Yun (07.06.08, 00:23   ) sagt...

咁呢﹐「不留言」係唔係「不喜歡」呀﹖

嗚嗚~~~~~



:: Blogger 七十樓危危下望 (07.06.08, 00:30   ) sagt...

三點才和我說起你
回頭便看見這個post
嗚嗚



:: Blogger sf (07.06.08, 02:28   ) sagt...

michelle,

論意思, 「p, 才q」等同說「非p, 則非q」, 雖然語氣不一樣.

> 幹嗎咁邏輯?
串人囉.

可惜結果串人失敗. 事關手快快打錯了字 (已改正)

>「喜歡的才留言」
我可沒有說這句話是對啊! 其實我猜, 作為描述, 它in general不對; 作為規範, 它不見得有切實的道理.

***

小雲,
那得看你是「喜歡的才留言」, 「喜歡的就留言」, 還是「喜歡的總留言」了.

***

紫色頭,
小朋友應該問媽媽, 那句話是按日常用法還是按邏輯書上的用法講的.



:: Blogger 查斯特 (09.06.08, 19:47   ) sagt...

大學讀批判思考,單單是充份條件和必要條件,已經把不少同學難倒了。



:: Blogger sf (11.06.08, 00:15   ) sagt...

查兄, 這些邏輯BB班的東西, 其實沒甚麼深奧. 只不過陌生, 所以覺得困難.

要明白充份/必要條件是怎麼回事, 不難, 要找出甚麼是其充份/必要條件, 要證明它是不是其充份/必要條件, 才難. (你知道我在說甚麼嗎?)



:: Blogger C.M. (11.06.08, 11:47   ) sagt...

>>要明白充份/必要條件是怎麼回事, 不難, 要找出甚麼是其充份/必要條件, 要證明它是不是其充份/必要條件, 才難. (你知道我在說甚麼嗎?)

嘩,呢個係咪就係成篇個“結論”?之前果d野好難明呀。



:: Blogger sf (11.06.08, 14:04   ) sagt...

CM, 不是難, 而是煩. 只看有沒有耐性, 沉住氣一步步跟著走而已.

就一句 "有之... 無之..." 這兩個定義, 根本沒甚麼要「明」.



:: Blogger C.M. (11.06.08, 14:14   ) sagt...

>>只看有沒有耐性

玩踢爆下嘛...



coComment


:: Kommentar veröffentlichen
 (留言請留名, 謝!)


Links to this post:

:: Link erstellen

<< Home