Re: [請益] 如何把語句化成量詞邏輯?

看板logic作者 (衝啊一朗)時間20年前 (2005/11/26 00:13), 編輯推噓0(000)
留言0則, 0人參與, 最新討論串3/4 (看更多)
※ 引述《maximilian (涉事)》之銘言: : 我的印象是,如果你己經知道它是有效論證,那麼使用推論法則比較理想; : 如果你不知道,或者知道它不是有效論證,那就使用真值表來檢驗吧。 可是用真值表就必須先把它運作成符號形式不是嗎? 我就是不知道怎麼用符號來表達量詞邏輯>"< 所以就不知道怎麼去寫解.... -- ※ 發信站: 批踢踢實業坊(ptt.cc) ◆ From: 220.139.239.95
文章代碼(AID): #13XpW-5X (logic)
討論串 (同標題文章)
文章代碼(AID): #13XpW-5X (logic)