作者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