黃子嘉 - 線代離散研究室: [離散數學]symbolic form

2008-12-12

[離散數學]symbolic form

請問

我下面的ans可以嗎?

3 則留言:

colkyo 提到...: 我認為不行,

^後面那一句話, 並沒有定義y這變數.

而且forall X後面也應該要加括號, 不然X

沒有被bound住; 2008年12月16日晚上8:56
qq22 提到...: y之前有定義了呀; 2008年12月16日晚上10:05
黃子嘉提到...: qq22這樣寫應該可以, 把括號多寫一個清楚一些即可; 2008年12月21日凌晨2:17

訂閱：張貼留言 (Atom)