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