作者NaLiYung (那裡癢)
看板logic
標題[請益] 請問2個論證的問題
時間Tue Apr 25 22:46:54 2006
這是作業中的其中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
1F：→ A1Yoshi:第一題一定要用歸謬嗎？用條件證法(CP)應該容易很多吧。 04/26 00:25
2F：→ NaLiYung:ㄜ 先生沒教耶@@" 04/26 10:44