作者查詢 / wilo

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

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

限定看板：logic

看板排序：

全部marriage4824joyinDIY740Aromatherapy539part-time395GetMarry360Facebook254Boy-Girl223FacebookBM158homemaker153L_LifePlan117part-timeBM84Disabled81Mavericks41W-Philosophy38Marginalman25TamShui24Psychiatry23Shu-Lin23ShuangHe23SongShan23logic22PSY20About_Life18pay_home18Rounders18SYSOP15WuBai_and_CB15EAseries13HomeTeach13SuperIdol13toberich12Education9Gossiping9NCHU_History9Deserts8NCHU-AGR998DYU7FamilyCircle7KOTDFansClub7NewAge7Sassy-babe7baking6BigShiLin6FJU6Supermission6AU_Talk5Azumanga5BigPeitou5cookclub5EMS5StupidClown5Deutsch4Emergency4Nets4PHX-Suns4rent-exp4SportsCard4WomenTalk4ask3bearbabes3FTV3Guolun3ONE_PIECE3TKU_IHM3AskBoard2Cavaliers2Crowd2D_Nowitzki2e-coupon2FJU-EE-2004B2GooGin2Hate2Heroes2Hong_Kong2L_TalkandCha2NCHU-AGR982NTUDormM62o-p-children2Pet_Get2RIPE_gender2S.H.E2Sewing2specialman2Stall2Sub_DigiLife2Tea2TKU_Talk2TUT2YAseries2AllTogether1ALS_Bucket1Ancient1Anti-ramp1Arthropoda1B873012XX1B95310XXX1B961010XX1B96305XXX1B96310XXX1B97310XXX1blind_pc1Bon_Jovi1CareerLady1cat1China-Drama1ChungLi1ck54th3031CMU_Talk1CSMU-RM-SB1Divorce1DSLR1EmailYang1finding1FJUO2nTrade1FLAT_CLUB1FSHS-95-3011FuMouDiscuss1funeral1Gintama1give1GreysAnatomy1HandMade1HatePolitics1hypermall1ID_Multi1ID_Problem1joke1Kaohsiung1Keelung1KS93-3161KS95-3021KS96-3051L_GlobalView1L_HappyLivin1L_LifeJob1Lan-Yu1lizen33-6041LTK1MCU_Talk1MenTalk1NCHU-AGR041NCHU_SESSB1NCHUS1NCKU-PHY951NCU97ME-B1Nicholas1NTHU_ChStudy1NTU-K91NTU_BOTDorm1NtuDormF21NtuDormF31NTUDormF41NtuDormF51NTUDormF71NTUDormFJr1NTUDormG11NtuDormM11NtuDormM21NtuDormM31NtuDormM41NtuDormM51NTUDormM71NtuDormM81OCU1Olympics_ISG1PHAT-MEN1prozac1Ptt-Charity1PttHistory1SMGHS30th3021SOS1SSSH-16th-Fk1stationery1Taitung1TaiwanDrama1Tao1TBBT1Test1TheWall1THU_Talk1TKU_info1TY_Research1USC1Virgo1Zombie1<< 收起看板(185)

首頁

尾頁

[請益] 公理系統的解題

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

作者: wccccc - 發表於 2008/11/12 23:07(17年前)

1^F推wilo:你的符號好亂...11/17 00:39

[請益] 又是命題邏輯

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

作者: william0612 - 發表於 2007/11/20 06:54(18年前)

5^F推wilo:第一題不能用PC規則啦 :P 那是後設的東西11/22 18:18

6^F→wilo:不過你這邊證明的括號很不嚴謹 :Q11/22 18:19

7^F→wilo:我是說題目 ^^;11/22 18:20

Re: [請益] 又是自然演繹法

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

作者: laevulose - 發表於 2007/11/09 20:25(18年前)

1^F推wilo:第一題因為我沒有好好看所以給錯方向 ^^;11/09 21:33

2^F→wilo:就是運用Add 然後 Assoc, Co , 再搭上Impl就好了:D11/09 21:34

Re: [請益] 又是自然演繹法

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

作者: wilo - 發表於 2007/11/09 14:46(18年前)

3^F推wilo:兩個為真的句子可以conjunct起來就叫做adj11/09 20:23

Re: 吵架專用的悖論

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

作者: luciferii - 發表於 2007/10/27 01:19(18年前)

1^F推wilo:如果Priest知道你是這樣理解他，他應該會很想哭 :P10/27 22:27

2^F→wilo:要跟人吵，去把基礎功磨清楚再來說10/27 22:27

3^F→wilo:好歹我們幾個當初都上過Priest的課，先生你哪位阿！10/27 22:29

9^F推wilo:你是理解力有問題還是不會閱讀?10/28 00:04

10^F→wilo:我那時候是指正出你說for all的相反是exist one這件事10/28 00:05

11^F→wilo:那可是你自己寫的哦 :P10/28 00:05

15^F推wilo:你那篇文章中並沒有寫到false這個字哦是你現在才加入的哦10/28 01:22

16^F→wilo:況且寫個for all 的相反不是for all這種tautology10/28 01:22

17^F→wilo:P的相反不是P 你寫這種小學生都知道的套套句幹嘛10/28 01:23

18^F推wilo:另外，懶得跟你爭辯這種東西，看到你寫那樣的不只我 :P10/28 01:29

19^F→wilo:再者，沒人有那麼多時間跟你這樣的人爭辯這種東西錯就是錯ꐠ10/28 01:29

Re: 吵架專用的悖論

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

作者: aletheia - 發表於 2007/10/26 09:14(18年前)

4^F推wilo:科科，我早就叫他給書單了，都不給，還叫我去重修，科科。10/26 14:27

Re: 吵架專用的悖論

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

作者: aletheia - 發表於 2007/10/25 12:05(18年前)

1^F推wilo:科科，推 XD10/25 13:20

5^F推wilo:我想他必然會這樣認為 XD 那是無差別攻擊 XD10/25 16:48

Re: [轉錄] 微軟中國研究院最新面試題

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

作者: luciferii - 發表於 2007/10/20 15:35(18年前)

13^F→wilo:不要在這邊浪費時間了 @@10/20 15:45

首頁

尾頁