作者yuseke (大将)
看板logic
标题[请益] 自然演绎法
时间Sat Apr 7 11:52:20 2012
这是两个练习题...
1.T→G
2.S→G
/∴(TVS)→(GVF)
sol.
1.T→G P
2.S→G P
3.~TvG 1 Imp
4.~SvG 2 Imp
5.(~Tv~S)vG 3,4 Conj 我想问这一行用CONJ到底可不可以(对不对)?
6.~(T。)→G 5 Imp
第二题
1.A→B
2.C→D
/∴(~Bv~D)→(~Av~C)
这题我卡住了= ="
能不能给我一点提示呢 谢谢
--
※ 发信站: 批踢踢实业坊(ptt.cc)
◆ From: 218.166.118.245
1F：推 rexkimta:v是or吧？用了conj应该会出现and吧？ 04/10 16:26
2F：→ rexkimta:不过就算~T和~S中间是and也不对就是了。 04/10 16:26
3F：→ tim0821:如果可以用反证法的话,这种前提很少,证明结论一串的,用反 04/18 01:37
4F：→ tim0821:证法就会很容易解完,至少这两题是这样 04/18 01:39