http://home.pchome.com.tw/net/sgison/if_and_only_if.jpg

這是人家在說的 若且為若 的問題....
我實在看不懂 當p=T,q=F 時 為什麼 p--> q 會為 F

同樣的，其它的那些 ~p-->q 也都沒辦法體會說
有人學過這個嗎?謝謝幫忙...

贊助商連結

不好意思，剛剛圖片沒顯示出來...讓大家看不到圖~:)

p=q
q=p
p=t (t表真)
q=f (f表偽)
p=q當然是偽

還是不太了說...應該不是比較p是否等於q吧...

最初由 Gison 發表
還是不太了說...應該不是比較p是否等於q吧...

差不多是這樣的意思，我是以程式的觀點來看的，如果是數學問題那我就不曉得了…

覺得有些東西，很難用中文的角度去思考。有關邏輯的東西最好全部被原文書洗腦一次~~~一些名詞用中文來解釋、思考，原義都不知道跑到哪裡去了。

if and only if，各位覺得這簡短的英文片段真的能了解(realize)嗎？按照字面翻為"若且唯若"，有時候實在不是很喜歡。

琥珀很久沒看離散數學了~

在簡易邏輯裡, p 稱為前提, q 稱為結論.
p=T, q=F p-> q=F
簡單的解釋, 前提對而結論錯, 整個命題敘述就是錯的.
舉例來說, 他健康(p), 他永遠不會死(q).
假設一個狀況下, 他很健康是真的, 可是他永遠不會死是假的,
那麼在這個狀況下,
因為他健康所以他永遠不會死, 這個說法就是假的.

另外第二個問題, 不知您是否想問 ~p-> ~q ?
簡單來說, 前提如果是假的, 那麼由這個前提推理的結論自然都是真的了.
(白話解說: 用一個不合理的東西做基礎來推論, 當然怎麼推他都對啦:D)
坦白說, 這個說法疏漏而且不正確, 正確說法可能要去看邏輯的書,
上面都有精確的解釋.

最初由 pete001 發表
對，要能理解的話，最好的方法就是舉個實際的例子。當初學離散的時候就是這樣學的~

最初由 pete001 發表
在簡易邏輯裡, p 稱為前提, q 稱為結論.
p=T, q=F p-> q=F
簡單的解釋, 前提對而結論錯, 整個命題敘述就是錯的.
舉例來說, 他健康(p), 他永遠不會死(q).
假設一個狀況下, 他很健康是真的, 可是他永遠不會死是假的,
那麼在這個狀況下,
因為他健康所以他永遠不會死, 這個說法就是假的.

另外第二個問題, 不知您是否想問 ~p-> ~q ?
簡單來說, 前提如果是假的, 那麼由這個前提推理的結論自然都是真的了.
(白話解說: 用一個不合理的東西做基礎來推論, 當然怎麼推他都對啦:D)
坦白說, 這個說法疏漏而且不正確, 正確說法可能要去看邏輯的書,
上面都有精確的解釋.


謝謝你這麼詳細的舉例，讓我多了一點思考的方向。
雖然想起來還有一點點怪怪的....不過已經清楚蠻多了~:D

你沒學過數位邏輯吧，先找找看相關資料看看
搞清楚邏輯閘「and」「or」「not」等的動作後，你來看這個會清楚一點
說真的這種玩文字遊戲的題目，要直接這樣看滿累人的。加油吧！！