Re: [問題] 一個自然演繹法的問題

看板logic作者 (你要字是吧)時間19年前 (2004/12/12 13:01), 編輯推噓0(000)
留言0則, 0人參與, 最新討論串2/4 (看更多)
※ 引述《weipoyen (你要字是吧)》之銘言: : ※ 引述《seasons216 (成無事一事無成)》之銘言: : : 1.(j^r)→h : : 2.(r→h)→m : : 3.~(pvj) : : /m^~p : : 要如何證明此論證有效 : .................... : j→(r→h) : j→m : ~p^~j : /m^~p : m p j : F F F : F→F:T : T^T :T : F^T :F : T→F : F : 請上帝改變法則吧.....= = 那個... 你知道有效論證的定義嗎? 那,上一篇當我沒說.............. -- 八千女鬼魏,白肥小人伯 -- ※ 發信站: 批踢踢實業坊(ptt.cc) ◆ From: 140.112.143.27
文章代碼(AID): #11kz2h6C (logic)
文章代碼(AID): #11kz2h6C (logic)