Re: [問題] 離散

看板NTUEE110HW作者 (御風)時間16年前 (2008/03/24 01:51), 編輯推噓3(3推 0噓 1→)
留言4則, 4人參與, 最新討論串1/3 (看更多)
第5題Naturral Deduction的部分 是只可以用講義有的 還是說還可以用Association Law, Commutative Law，諸如此類的 -- -- ※ 發信站: 批踢踢實業坊(ptt.cc) ◆ From: 140.112.249.18
推
03/24 02:15, , 1F
應該不行 講義有的就夠用了
03/24 02:15, 1F
推
03/24 02:21, , 2F
但是ND沒有定義or啊 ><
03/24 02:21, 2F
→
03/24 02:28, , 3F
感謝啦。 因為上學期學的ND規則比較多，用起來比較快
03/24 02:28, 3F
推
03/24 02:43, , 4F
可以用分配差很多...
03/24 02:43, 4F
‣ 更多 nicky729 的文章
文章代碼(AID): #17vfYRuS (NTUEE110HW)
討論串 (同標題文章)
完整討論串 (本文為第 1 之 3 篇)：
排序： 最舊先 | 最新先 | 留言數
問題
3
4
Re: [問題] 離散 Re: 離散
nicky729
16年前, 03/24
問題
2
4
[問題] 離散 離散
kwma
16年前, 06/14
問題
1
2
Re: [問題] 離散 Re: 離散
ybite
16年前, 06/15
在新視窗開啟完整討論串 (共3篇)
‣ 更多 nicky729 的文章
文章代碼(AID): #17vfYRuS (NTUEE110HW)