作者查詢 / william0612

總覽項目: 發文 | 留言 | 暱稱
作者 william0612 在 PTT [ logic ] 看板的留言(推文), 共5則
限定看板:logic
首頁
上一頁
1
下一頁
尾頁
Re: [請益] 又是命題邏輯
[ logic ]3 留言, 推噓總分: +1
作者: wilo - 發表於 2007/11/22 18:17(16年前)
1Fwilliam0612:感恩阿T_T.....不過題目他就是這樣寫, 他有省略掉不必11/23 03:28
2Fwilliam0612:要的括號, 所以應該是如果有一樣的connective,就左邊11/23 03:29
3Fwilliam0612:的先括 (ex. A v (A v A))11/23 03:30
[請益] 又是命題邏輯
[ logic ]7 留言, 推噓總分: +2
作者: william0612 - 發表於 2007/11/20 06:54(16年前)
1Fwilliam0612:第一題,我在想是不是用soundness?11/20 07:00
Re: [請益] 命題邏輯
[ logic ]4 留言, 推噓總分: +1
作者: somedoubt - 發表於 2007/09/26 10:24(16年前)
4Fwilliam0612:感謝解答 我再試試10/03 09:51
首頁
上一頁
1
下一頁
尾頁