看板 logic 關於我們 聯絡資訊
這是作業中的其中2題@@ 搞了好久還是不會解 其他的都弄完了 能否大大教一下如何用歸謬導論法解出命題是否為真 尤其是第一題快把我弄死了 小弟在這裡拜謝 (1)[(P^Q^~R)->S]^(~S-> ~R)^(~S^P)-> ~Q (2)(P->Q)^(R->P)->(~P^~Q) -- ※ 發信站: 批踢踢實業坊(ptt.cc) ◆ From: 218.169.63.151
A1Yoshi:第一題一定要用歸謬嗎?用條件證法(CP)應該容易很多吧。 04/26 00:25
NaLiYung:ㄜ 先生沒教耶@@" 04/26 10:44