[請益] 自然演繹法

看板logic作者 (大將)時間13年前 (2012/04/07 11:52), 編輯推噓1(1推 0噓 3→)
留言4則, 2人參與, 最新討論串1/1
這是兩個練習題... 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
推
04/10 16:26, , 1F
v是or吧？用了conj應該會出現and吧？
04/10 16:26, 1F
→
04/10 16:26, , 2F
不過就算~T和~S中間是and也不對就是了。
04/10 16:26, 2F
→
04/18 01:37, , 3F
如果可以用反證法的話,這種前提很少,證明結論一串的,用反
04/18 01:37, 3F
→
04/18 01:39, , 4F
證法就會很容易解完,至少這兩題是這樣
04/18 01:39, 4F
‣ 更多 yuseke 的文章
文章代碼(AID): #1FVxds1x (logic)