作者查詢 / Yures

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

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

限定看板：logic

看板排序：

全部NTUJudo177Psychology98135W-Philosophy51Sangokumusou45Notebook42Ecophilia41logic31NTUSA19Aikido17Anti-ramp17NTU17NTU-Aikido17PSY-VBT17PathofExile16TuCheng14GFonGuard12MartialArts12NtuDormM512Psychology9712NTUAikido11ask-why10BBSmovie9Google9Mealler9NCCU05_PSYCH9NTUcourse9Philo-069WOW9NTUniNews8NTUot977NIHONGO6TTOA5Jin-Dan4NtuDormM34Gossiping3NetRumor3NTU-Archery3NTU-Karate3b964060XX2Browsers2EZsoft2GIEE_992GRE2Inference2iOS2LifeSci_962NTUAC962NTUBP-R982NTUOralBio982PCman2PH-962Povolleyball2PT-942About_Clubs1AOE1ASHS-94-ye1ck57th3191CPU_Judo1FOREST_BIO1Haruhi1joke1JP_Custom1LS_Badminton1marvel1Nanofan1Native1NCCU05_PHILO1NCCU99_DIP1NCHU-AGR021NCYU_HoRt_951NDMC-guitar1NTU-MAGIC1NTUE-Art991NTUE-ME981NTUHorti961Odoko-juku1Ourmovies1pccu_ee891RSSH94_3031studyabroad1SYSOP1TakkiTsubasa1Transport981VET_981WarCraft1<< 收起看板(85)

首頁

尾頁

[請益] 這三本哪一本適合初學者呢？

[ logic ]7 留言, 推噓總分: +4

作者: ofnfline - 發表於 2015/05/16 01:21(10年前)

1^F推Yures: 當然是彭孟堯的基礎邏輯。假使你需要粗略導引或額外討論，05/16 02:52

2^F→Yures: 都非常歡迎寄信給我。05/16 02:53

自然演繹法

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

作者: CyCls - 發表於 2015/04/13 22:45(10年前)

1^F推Yures: 同學你好，請別直接波文問作業該怎麼寫喔。04/13 23:05

2^F推Yures: 對於作業感覺疑惑，我建議你直接寄信問助教比較恰當。04/13 23:10

3^F→Yures: 直接波文討答案拿作業 10% 沒什麼幫助的，畢竟下週期中考試04/13 23:11

4^F→Yures: 可是佔 40% 喔。與其討答案，不如好好搞懂該怎麼寫比較好。04/13 23:12

5^F→Yures: 而且這次作業這幾個定理都是助教按照老師出題習慣設計的。04/13 23:13

6^F→Yures: 你不好好搞懂，到時候考試可是很吃力的喔。:)04/13 23:14

8^F推Yures: 另外，寫信詢問的時候請詳述自己哪邊不理解，這樣助教比較04/13 23:23

9^F→Yures: 方便提供適切的協助。如果你只是說自己不理解，助教很難幫04/13 23:25

10^F→Yures: 忙的；畢竟助教並不懂讀心術喔。:)04/13 23:25

Re: [請益] 有沒有是自反但不是完全自反的關係?

[ logic ]19 留言, 推噓總分: +4

作者: gooogle79 - 發表於 2011/08/08 22:12(14年前)

15^F推Yures:我也認為如同數龜學長說的，彭這邊的 scope 標錯了。08/09 05:09

16^F→Yures:正好我今天下午會去找彭，謹慎起見我會問他這部份是否有誤。08/09 05:10

18^F推Yures:結果老師因為當場還有其他同學，說「我回去再算算看」。XDD08/09 22:32

Re: [請益] P→((-P or Q)→Q)

[ logic ]9 留言, 推噓總分: +1

作者: MathTurtle - 發表於 2011/06/14 18:15(14年前)

1^F推Yures:都用 "V" 來推的問題是 V 引入規則 (其實就是 Add) 必須存在06/14 18:26

2^F→Yures:某個前提，而不能在毫無前提的狀況下引入 V 吧？06/14 18:27

3^F→Yures:除非這個系統允許直接寫下某些語句，其實就是公設啦。06/14 18:27

4^F→Yures:可是自然演繹法就是個只有規則、缺乏公設的方法所以...06/14 18:28

Re: [請益] P→((-P or Q)→Q)

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

作者: Yures - 發表於 2011/06/14 13:21(14年前)

2^F→Yures:聽不太懂樓上的問題，有什麼理由讓你覺得不能這樣用呢？06/14 12:31

Re: [請益] P→((-P or Q)→Q)

[ logic ]5 留言, 推噓總分: +1

作者: Yures - 發表於 2011/06/14 11:09(14年前)

2^F→Yures:噗～假使可以用 CP 就會直觀很多，只是原波有特殊要求。XDDD06/14 11:41

4^F→Yures:聽不太懂樓上的問題，有什麼理由讓你覺得不能這樣用呢？06/14 12:31

Re: [心得] 數學邏輯奇幻之旅 - 一個追求真理的冒險

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

作者: Yures - 發表於 2011/03/31 11:58(14年前)

1^F推Yures:一階邏輯就是初階邏輯吧。量化辭只量限個體而非述詞的邏輯。03/30 22:34

[心得] 數學邏輯奇幻之旅 - 一個追求真理的冒險

[ logic ]5 留言, 推噓總分: +2

作者: solomn - 發表於 2011/03/30 21:46(14年前)

1^F推Yures:一階邏輯就是初階邏輯吧。量化辭只量限個體而非述詞的邏輯。03/30 22:34

Re: [請益] 請問一個有關邏輯的基本問題

[ logic ]4 留言, 推噓總分: +3

作者: dementia - 發表於 2011/03/30 01:45(14年前)

2^F推Yures:不是想吹毛求疵...不過原波問的推導是語法概念，你回答的03/30 22:43

3^F→Yures:有效推論是語意概念。所以其實不算真正回答到原波的問題。@@03/30 22:44

Re: [請益] 請問一個有關邏輯的基本問題

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

作者: MathTurtle - 發表於 2011/03/30 01:23(14年前)

1^F推Yures:呃...上面的推導應該是有寫完喔。@@"03/30 22:41

首頁

尾頁