作者查詢 / ht4300

總覽項目：發文 | 留言 | 暱稱

作者 ht4300 在 PTT [ logic ] 看板的留言(推文), 共6則

限定看板：logic

首頁

尾頁

[ logic ]62 留言, 推噓總分: +16

作者: krisnight - 發表於 2008/09/29 14:35(17年前)

1^F推ht4300:請問為什麼可以不用 exist 或 for all 的標誌我是初學09/29 14:41

2^F→ht4300:謝謝指教09/29 14:42

4^F推ht4300:謝謝你的解釋我自己想想看09/29 15:06

13^F推ht4300:我想順便問個問題書上說人的語言常會有模糊不清兩個人的09/30 18:33

14^F→ht4300:解釋有可能不同那為何又要我們用模棱兩可的東西寫出邏輯09/30 18:33

15^F→ht4300:句子這樣不是很奇怪把邏輯建立在一個不確定的東西?09/30 18:34

首頁

尾頁