※ 引述《gatsrje (NULL)》之銘言：
: 請問各位聰明的版大
: P -> ~Q -> ~R
: 這個若則命題要怎麼解?
: (就是類似 P->Q = ~Q -> ~P 兩者相同的答案)
: 感謝各位高手的解答!
你這問題看起來不構成問題,所以不知道具體該怎麼解.
為什麼不構成問題? 打個比喻,你的問題就好像我現在反問你一則數學式:
(2 * 3) + 4
"請告訴我此式的恆等式."
但問題是,你數學課遇過這種奇怪的問題嗎?
恆等式,就是把跟這式子的結果相等的東西全都列出來.
光是具體條列式子的操作,你就會寫到死掉; 何況還怎麼有系統地做恆等式推論?
同理,看到你這個問題,我第一個疑問就是,哪家學校的哪一堂邏輯課會出這種題目?
--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 218.160.109.40
討論串 (同標題文章)