[問題] 邏輯丙作業

看板NTUEE110HW作者 (Bob)時間18年前 (2007/12/29 21:34), 編輯推噓5(502)
留言7則, 3人參與, 最新討論串1/1
請問第四大題 要怎麼翻譯啊...有沒有guideline之類的 述詞邏輯我幾乎都翻不出來 囧 第五大題還沒看 不過第四大題不會的話 第五大題大概也做不出來吧 煩請強者解答 <(_ _)> -- ※ 發信站: 批踢踢實業坊(ptt.cc) ◆ From: 61.224.45.24

12/29 23:12, , 1F
問一下喔~倒數第二.第三小題是不是都無效論證
12/29 23:12, 1F

12/29 23:13, , 2F
知道的大大說一下吧~~我是學弟^^
12/29 23:13, 2F

12/29 23:15, , 3F
教授寄的習題解答就是最好的guide line
12/29 23:15, 3F

12/29 23:40, , 4F
我覺得(2)應該是無效....如果[Ax或Bx]改成且就好辦事了
12/29 23:40, 4F

12/29 23:54, , 5F
(2)有效吧 用IP證
12/29 23:54, 5F

12/30 00:10, , 6F
我用IP證不出來
12/30 00:10, 6F

12/30 00:46, , 7F
SORRY我寫錯一個地方 那可能無效吧
12/30 00:46, 7F
文章代碼(AID): #17TapeXZ (NTUEE110HW)