我們學邏輯時若P則Q是用真值表來定義的,但為啥要定義P假,Q不論為真假,都符合若P則Q,而且這個東西好像沒有任何意義,不是嗎?
高中

回應

galois5

2004-09-16 17:41
有一個很生活化的例子：
如果考試題目出錯了(P 錯)，
則所有答案皆對(Q 任意)；
這整個敘述(若P則Q)是正確的。

訪客 (未驗證)

2004-09-19 21:54
但這只是舉例,你不能就這樣說這是對的阿,不過若P則Q若不這樣定義,反證法好像會出問題,請各為一起思考問題到底出在哪裡?

galois5

2004-09-20 11:01
引用：

寫道:
但這只是舉例,你不能就這樣說這是對的阿,不過若P則Q若不這樣定義,反證法好像會出問題,請各為一起思考問題到底出在哪裡?

沒錯，舉例只是讓學生容易接受此定義，在高中階段
其實很不建議針對此問題深入探討，以避免出現像是：
"若太陽是方形的，則1+1=100"的命題。
甚至連真值表都不教了，一切都希望運用直觀推論。
詳細內容在數理邏輯相信也要長篇大論，更不要提連
"集合"定義都要斟酌了，或哥德爾的不完備...。
所以，建議學生在這一階段，先視為一個定義，如果
以後有機會再深入...

不知道這樣會不會太含糊，個人意見，僅供參考... ;-)

訪客 (未驗證)

2004-09-20 22:43
我想對於一般人,這樣的解釋就夠了,但我想知道更詳細的說法,不知道哪裡有這方面的資料?