討論串[問題] 有關邏輯丙的問題.....
共 2 篇文章
首頁
上一頁
1
下一頁
尾頁

推噓0(0推 0噓 0→)留言0則,0人參與, 最新作者pigpinkhaha (我要你天天開開心心:))時間19年前 (2005/01/03 00:06), 編輯資訊
1
0
0
內容預覽:
[本文轉錄自 Philo-04 看板]. 作者: pigpinkhaha (我要你天天開開心心:)) 看板: Philo-04. 標題: [問題] 有關邏輯丙的問題...... 時間: Mon Jan 3 00:06:06 2005. 各位大大好. 小的今年修了林照田老師的邏輯丙(通識). 有幾
(還有365個字)

推噓3(3推 0噓 0→)留言3則,0人參與, 最新作者tturttle (要加油阿^^)時間19年前 (2005/01/03 19:58), 編輯資訊
0
0
0
內容預覽:
引述《pigpinkhaha (我要你天天開開心心:))》之銘言:. 所謂"自由的"就是某個變項前面有加量化號. 例如Fx中的x是自由的. 但是如果我加量化號(無論是全稱或存在量化號). 變成AxFx時,x就變成不自由了(Ax是for all x的意思 因為打不出全稱量化號). 所謂約束就是不自
(還有312個字)
首頁
上一頁
1
下一頁
尾頁