作者查詢 / yauhh

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

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

限定看板：logic

看板排序：

全部Soft_Job2172Master_D1344Tokusatsu1142JingXingBoys948C_and_CPP649Programming615logic386Lomo364Coffee298Visual_Basic231Cloud197PeopleSeries128Emergency124AndroidDev121Prob_Solve119Little-Games117photo102gallantry87CSSE78PLT78ComeHere77C_Sharp72book56CTV46Python44ShiauLiang42poem39Gossiping35L_TalkandCha35CodeJob28Ajax26L_LifeJob24magic_silver23Inference22Guolun20FJU-STAT95B19NCYU_BE_96b19NDHU-phy10119NIU-ECE94b19Isayama17LaTeX17soho15KingofPop12RealPlaying12TKU_EW94B12Linux10NTU-IPH9610NUK_AC9810share10Translate-CS10AfterPhD9NCKU-BEH959Christianity8FLAT_CLUB8NCCUflamenco8NCHU_CsHsnu8SYSOP8Viator98Bing8W-Philosophy8NUU-EE-97A7sky7SSSH-16th-Fk7GameDesign6JinYong6media-chaos6Ptt-Charity6TaiwanDrama6ai-photo5GossipPicket5HCHS933145KS93-3165XiangSheng5CYCU_Chem92b4CYCU_ICE90AB4Emulator4HSNU_11464Interdiscip4JP_Entertain4Militarylife4NCCU05_GIDS4NCCU_PFBASE4NCHU-Wind4NDHU-Ch994Notebook4NTPU-CSIE954NTUEE_Speech4NTUST-EE-B934PhD4PttLaw4Starbucks4Windows4Boy-Girl3Buddhism3FinalFantasy3Gamesale3Google3HarryPotter3Hate3HCSHch13_3113Keelung3KUAS_CSIE3NCCU3NCTU_CS_EDA3NDSH_6th3143NSwitch3NSYSU-Chem993OOAD3paranormal3PhotoCritic3Salary3Sijhih3SSSH-16th3093STREET_BALL3Tech_Job3TigerBlue3Violation3army_53-2T2B97A013XX2comm_and_RF2CS95WISDOM2Dragonica2Ecophilia2Education2EmailYang2FJU_JCS112Folklore2HHSH2HK-movie2java2Jeans2KOTDFansClub2KS98-3022MCU_Talk2Men5432MUSTMIS2NARUTO2NCHU-AGR052NCHU-MEgradu2NCHU-Mount2NCHU_MBA972NCNUEM2NDHU-phy1022NewAge2NKUTEE2NSYSU_EE95-12ntnuch95c2NTOU-EBFS932NTPU-CSIE982NTUEE_LAB2062NTUST-TX-B962Patent2Peter_EN2PHP2PttHistory2PublicServan2PushDoll2SayLove2SuperBike2Tainan2THU_BA20002transgender2Yup-mwgc2Yup03-042About_Life1AD_NCCU_VB1Ancient1Android1Anti-ramp1ASHS-93-li1AU_Talk1Aviation1B98A013XX1Badminton1Beauty1BigSanchung1bookhouse1Browsers1Bus1Butterfly1C_ChatBM1CareerLady1ChangHua1Cheer1Childhood1CHSH-96-3101Civil1ck46th3311ck47th3201ck55th3071ck55th3201ck57th3211ck58th3241cksh82nd3211clmusic1Comic1consumer1CPSHS10th3031Cross_Life1CrossGate1CSI1CSMU-D991customers1dance1DIABLO1digger1DJ_fightman1DummyHistory1Editor1Employee1EuropeTravel1Facebook1facelift1Fiction1FishShrimp1FJU-Family1Fooyin1GuildWars1GUNNM1HanDian1HRM1HSNU_10351HSNU_10651HSNU_10951HSNU_11421Hualien1ILSH-973091Instant_Mess1japanavgirls1jhs_30_51JOJO1joke1kawaii1KERORO1KingdomHuang1KNU1KS90-3111KS92-3161KS93-3171KS94-3121KS95-3211KS96-3151KS97-3101KS97-3131KS97-3181KS97-3201KS_PMAC1Lifeismoney1Lineage1LTK1M_Manson1marvel1meditation1MIT1Modchip1MRT1Nantou1NatureSeeker1Navy1NBAEasyChat1NCCU-YP1NCCU06_JAPAN1NCCU08_LawB1NCCU_PubLaw1NCCU_SEED1NCHU-FS981NCHU-MKT991NCKU_CSIE931NCKU_MEPhC1NCTU_HARCLUB1NCU97ME-B1NDHU1NDHU_ACC_5TH1NKNU_Phy0981NPUST1NSYSU_MSOE991NTHU_EDA2231NTHU_HIS971NTHU_IEEM-941NTHUTL981NTNU-HISBK1NTNUMasSport1NTPU-COECO951NTPU-CSIE961NTPU-STAT951NTU1NTUGIEE_RFIC1NTUMBA-981NTUphy971NTUST_Talk1NTUT_ME495A1NYUST00_FING1Old-Games1PCCU_Talk1peianyang1PingTung1Printer_scan1PttLifeLaw1RO1Rock_OE1RPGMaker1RumikoTWorld1SailorMoon1ScienceNote1SCU_Law101D1Seiya1ShowOff1SHU-JourM981Shu-Lin1ShuangHe1SongShan1SOS1Spain1SSSH-09th1141StoneAge1SuperHeroes1Supermission1Supernatural1SWORD1TA_AN1Taipei1tajen1TamShui1Taoism1TFSHS61st3211TFSHS67th3211TFSHS68th3211Tin-Ha1TNFSH98th1translator1TTU-AFL1TTU-talk1TY_Research1TypeMoon1Volleyball1WarHammer1Wego5-yi1WorkanTravel1WorkinChina1YUGIOH1YZU_EE96B1YZU_MLSB1YZUfinGrad961ZQ-Physics1<< 收起看板(343)

首頁

尾頁

Re: [請益] 邏輯句子的表達

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

作者: ERT312 - 發表於 2008/10/13 17:30(15年前)

1^F→yauhh:是是是,別人的意見全是胡說八道!10/14 11:49

2^F→yauhh:給你台階還不肯下! 有你的!10/14 11:49

Re: [請益] 邏輯句子的表達

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

作者: aletheia - 發表於 2008/10/13 14:25(15年前)

1^F推yauhh:嗯,我接受;我感覺有一部分討論直接跳到二階以上的東西,或是10/14 08:20

2^F→yauhh:回歸討論"基本定義"何以出現的meta-系列,那部份我還學很爛10/14 08:21

Re: [請益] 邏輯句子的表達

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

作者: ERT312 - 發表於 2008/10/13 06:45(15年前)

1^F推yauhh:你的發言動機已經不純正了,為了嗆聲而發文,沒有必要談論了!10/13 06:50

4^F推yauhh:我這裏頭講的有什麼錯誤你大可明述,而不是沒來由就指人胡說10/13 06:55

5^F→yauhh:凡事都要講理,而不是都冠上「本來」一語打破10/13 06:56

11^F推yauhh:是啊,你講人胡說八道時用的是什麼心,以為說收回就能收回嗎?10/14 11:47

Re: [請益] 邏輯句子的表達

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

作者: luciferii - 發表於 2008/10/13 00:45(15年前)

4^F→yauhh:哦,哪裏錯你倒是說啊! 錯錯錯,只會說別人錯卻不會講理由!10/14 11:50

Re: [請益] 邏輯句子的表達

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

作者: ERT312 - 發表於 2008/10/12 00:39(15年前)

1^F推yauhh:在板的邏輯強,不代表你隨便講個不合當前邏輯學的東西也要被10/12 10:03

2^F→yauhh:認可. 語言的接受度是一回事,邏輯的接受度是另一回事.10/12 10:03

3^F推yauhh:前一篇,我原寫了一堆根據我誤以為你講錯的東西予以反證,但後10/12 10:18

4^F→yauhh:來想到一般談論的片面情況,才寫了"啊!"開頭的這個段落,而之10/12 10:19

5^F→yauhh:前的五六倍長度的反證我知道都要刪掉了,因為在我的誤解下談10/12 10:19

6^F→yauhh:這個根本沒意義. 我全部談的只有(P and ~P)究竟是不是命題這10/12 10:20

8^F→yauhh:點. 其餘的,我們都知道所知有限,而且所知的可能錯誤很多.10/12 10:21

9^F→yauhh:與其要一直爭一句話對或不對,倒不出多看書吧!10/12 10:21

10^F→yauhh:aletheia,論點怪嗎? 歡迎討論10/12 10:21

15^F推yauhh:錯! 是不是命題並不是看法,而是邏輯學的基本定義!10/13 06:03

16^F→yauhh:其實你這句話嚴重暴露了你根本不會邏輯!10/13 06:04

19^F推yauhh:不會死就可以亂講話嗎?10/13 06:18

23^F推yauhh:呵! 指出「P and ~P 不是命題」竟然只是抓語病!10/13 06:37

24^F→yauhh:你這樣錯了也不認錯,尼采會哭,哥德爾會多好幾餐不吃飯 XDDD10/13 06:38

28^F推yauhh:孩子,基礎邏輯課本好好看完一遍吧!10/13 06:53

[請益] 所謂的邏輯定義到底是什麼?

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

作者: John5566 - 發表於 2008/10/07 02:05(15年前)

1^F推yauhh:給一句話,可說是格物致知10/07 09:12

Re: [請益] 邏輯句子的表達

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

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

6^F推yauhh:(x)((yz)(Gy & Uz->(Axy&Axz)|(Axy&~Axz)|~Axy)) -> Mx ?09/30 02:13

24^F推yauhh:P and ~P 是命題10/07 04:47

25^F→yauhh:理由是,1)若P是命題則~P是命題,2)若P,Q是命題,P and Q是命題10/07 04:48

26^F→yauhh:總合(1)(2),P and ~P是命題10/07 04:49

29^F推yauhh:你應該知道命題的意思,命題是一個句子,可能真,可能偽...10/10 15:31

30^F→yauhh:有些命題永遠真的叫做tautology,而有些命題永遠錯也不稀罕10/10 15:32

32^F推yauhh:沒這回事,當有人說 ⊥ (falsity)時也意指falsity為True嗎?10/10 19:01

33^F→yauhh:你這樣講就不嚴謹了,想想看,如果講什麼P Q都隱含它們為真,10/10 19:02

34^F→yauhh:我說P->Q意思就會早隱含P是真,因為我說了P了嘛,結果自動導出10/10 19:03

35^F→yauhh:Q為真... 邏輯的基本可以這樣子定義嗎?10/10 19:04

36^F→yauhh:當然,若你先說在特定邏輯系統中,P存在代表它成立,那就可以;10/10 19:05

37^F→yauhh:前提是你要先說是哪種邏輯系統;且不要為了支持自己的言論而10/10 19:08

38^F→yauhh:發明一些理由10/10 19:08

43^F推yauhh:不是這麼說;你根本找不到書會說寫出P句子就意味P為真,對於談10/11 00:41

44^F→yauhh:邏輯的人來說,格式跟意義是分開來講的,不會因意義而否定格式10/11 00:42

45^F→yauhh:你所講的例子可說是intuitionistic logic系統的情形,但在10/11 00:43

46^F→yauhh:classic mathematical logic談的不是這麼回事.10/11 00:44

47^F→yauhh:而你說的「一般而言」,請注意,在這板與其他許多討論場合,只10/11 00:48

48^F→yauhh:要知道是談邏輯,一般而言真的不會說一個P出來就隱含P為真!!!10/11 00:49

49^F→yauhh:所謂命題就是一個句子蘊含了可為真或為假的可能,而你說一個10/11 00:50

50^F→yauhh:P講出來都是隱含P為真,這樣的描述恰好違反了邏輯基本的構成.10/11 00:50

51^F→yauhh:或許你會說是「約定俗成」,但很抱歉,口語和邏輯討論之間並沒10/11 00:52

52^F→yauhh:有全部共通的約定俗成之處. 邏輯裡面,syntax是syntax,seman-10/11 00:53

53^F→yauhh:tics是semantics. 語法上說可以寫P,而語意上則說可為P賦予真10/11 00:54

54^F→yauhh:或假的意義. 你不可以將整個世界的複雜全都帶進來,而隨意說10/11 00:54

55^F→yauhh:一個P寫出來就預定為真. 可以告訴你,真的沒有這一回事!10/11 00:55

56^F→yauhh:我可以舉個反例,假設你P意味P為真成立,則真值表沒有存在必要10/11 00:57

57^F→yauhh:因為都真嘛,你算他幹嘛? 然而事實上,真值表存在,而且是邏輯10/11 00:58

58^F→yauhh:學中討論語意的基礎. 今天如果你發明了「一般講P,P為真」,10/11 00:59

59^F→yauhh:整個邏輯學的東西會亂掉,邏輯學的新手會被誤導.10/11 00:59

60^F推yauhh:此外,你舉的例子不夠完整. 你說如果講1+1=2代表它是對的;10/11 01:55

61^F→yauhh:但如果你說 3 > 5 呢? 是不是也照你所說,講了就算是對的?10/11 01:55

62^F→yauhh:所以你說「一般而言當有人說P意指P為真」這句漏洞太大了!10/11 01:57

Re: 吵架專用的悖論

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

作者: tonyian - 發表於 2008/05/06 13:02(16年前)

6^F→yauhh:可是哥德爾一講了他的東西,羅素就沒話講了05/06 21:20

Re: [討論] 又是雞與蛋

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

作者: yauhh - 發表於 2008/05/04 04:26(16年前)

3^F→yauhh:不管你認不認同我所講的,你怎麼可以隨便以為我沒有看過你的05/06 21:18

4^F→yauhh:東西;何況還要求我再看一次,你是somebody?05/06 21:19

5^F→yauhh:邏輯不是你自己一個人想一想覺得對就算數的東西05/06 22:30

Re: [討論] 又是雞與蛋

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

作者: rmmmonkey - 發表於 2008/05/04 01:59(16年前)

2^F推yauhh:不對啦,是雞有沒有生過蛋,不知道;但蛋鐵定還沒孵出雞啊05/04 17:31

首頁

尾頁