作者查詢 / dementia

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

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

限定看板：logic

看板排序：

全部C_Chat1081W-Philosophy290BoardGame275soho122Suckcomic88AndroidDev76Design73logic72part-time70DarkSwords53HsinYi50Wrestle34Soft_Job26HatePolitics23Blog13Lifeismoney12CareerPlan11Magic11Web_Design11TigerBlue10Gossiping9USC9CodeJob7NTPU-STAT957StupidClown7joke6HomeTeach5job5Digital_Art4FJU-Family4Insurance4money4politics4SCUG4TTU-EE994AD_NCCU_VB3ASIA-uni3CYSH97Y3183HSNU_10883KS94-3203KS_PMAC3MenTalk3NKUTEE3SSSH-16th-Fk3TA_AN3UmaMusume3AstralMaster2cksh83rd1162cksh83rd3222cksh84th3122CSMU-D972FJU-ACC90a2FJU-EE-COMM2FJU-Laws972Hate2HSNU_10082HSNU_10662IAM_Aero0072ILSH-963132Japandrama2KS93-3202KS95-3022LTK2NDHU-PA962NDMC-M1082NDMC-N572NHU_LD922NTHU_STAT942NTPU-CSIE962NTPU-STAT962NtuDormM52NTUmed912NTUniNews2NTUST-TX-B922Palmar_Drama2Pingpong2Salary2THU-CHEM942TTU-Transfer2TuTsau2YZU_CN99A2AACK1Agr-Football1Agronomy-871AOE1APH1ASHS-93-li1ASHS-94sin1AT_PingPong1B97A013XX1Beauty1CH-PINGPONG1ChthoniC1civil971ck56th3221cksh79th011cksh84th3021cksh84th3211cksh85th3101cksh85th3171Cognitive1CSMU-D-SC1CSMU-D-TTT1CSMU-MED911CSMU-MED921CSMU-MED931CSMU-MED961CSMU-MIS951csmu_yasong1CTSH923011e-coupon1ENG_BASE1Expansion071FCU-PF20061FCU_EE97B1FJU-ACCR941FJU-Laws941FJU-LS94b1FJU-MBA961FJUBiology1FSHS-95-3081Gintama1H-GAME1HCHS593141HCHS603121Hip-Hop1Hokuto1HSNU_10321HSNU_10651HSNU_10921HSNU_11121HSNU_11421HSNU_9481I_LOVE_MRI1ILSH-973061Japanese-B951JOJO1kartrider1Koei1KOTDFansClub1KS91-3051KS92-3131KS94-3021KS94-3131KS96-3011KS97-2161KS97-3031KS97-3101KTV1Law-Pingpong1LS_pingpong1Militarylife1MuscleBeach1Nanoha1NAOE-861NCCU05_GIDS1NCCU06_HISTO1NCCU07_Arab1NCCU_trans1NCHU-FS981NCHU-MKT991NCHU_GINPPA1NCKU-physiol1NCKU_DAA-991NCU_Talk1NCUECON961NCUIM961NCUIM971NDHU-AIPhy1NDHU-His1001NDHU-phy951NDHU-phy991NDHU_Fin1011NDMC-D621NDMC-N561NDMC-PH231NobuOnline1NSYSU_MIS_991NTCU-SPE92A1NTHU_IEEM-941NTOU-MME-99B1NTPU-CRIM941NTPU-ECONM941NTU-K61NTUBIME-1011NTUBSE-B-961NTUE-DC991NTUE_Nse1011NTUEE_Lab5541NTUGeogTtnis1NTUST-EE-B931NTUST_Talk1NTUT_EE490A1NTUT_ME495A1NUU_CE1NYUST1PHI_Baseball1PushDoll1Rockman1RSSH95_3021SciMix1SCU_AccBsket1SCU_ACCM951SCU_Chin96C1SCU_Law101B1SFHS1Shana1share1ShooBand1ShowOff1SSSH-03rd3111STDM-94-3151StrikeShoot1StudyGroup1SuperHeroes1SYSOP1TaitungH92-11TCFSHvolley1Tech_Job1TFSHS64th3181TFSHS68th3191TFSHS69th3231THUAS_911TKU_EE_92C1TKU_EW94B1Tokusatsu1Touhou1TTSH12th3091TTU-AFL1UTENA1Vocaloid1wisdom1WuLing46-3171XT1YH33rd3191YZU_AC911<< 收起看板(236)

首頁

尾頁

Re: [請益] 邏輯證明

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

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

1^F推dementia:"Ass"改成"Premise"會不會比較好??06/18 03:50

2^F→dementia:"EI"通常會被當成一種assumption 是不是有步驟省略了??06/18 03:57

3^F推dementia:就我所知應該用Constructive Dilemma比較輕鬆推出06/18 04:01

4^F→dementia:"(Ex)Rx v (Ex)Rx"再用Tautology得到"(Ex)Rx"就可以了06/18 04:02

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

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

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

1^F推dementia:冒昧問一下喔"4. P→(~S→R) 1. Impl."真的可以這樣用嗎06/14 12:19

3^F→dementia:可以直接對條件句後件裡的句子套規則嗎06/14 12:47

4^F推dementia:感謝我就說我對20條規則不熟阿 XD06/14 14:06

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

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

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

3^F推dementia:冒昧問一下喔"4. P→(~S→R) 1. Impl."真的可以這樣用嗎06/14 12:19

5^F→dementia:可以直接對條件句後件裡的句子套規則嗎06/14 12:47

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

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

作者: ru04ul4 - 發表於 2011/06/14 00:17(14年前)

15^F推dementia:第一步:將(1)改寫成"(S or -P) or R"06/14 05:02

16^F→dementia:第二步:由(3)得到"S or -P"06/14 05:03

17^F→dementia:第三步:將"S or -P"改寫成"P→S"06/14 05:04

18^F→dementia:我對20條規則不熟希望這三個步驟都符合規則06/14 05:06

[問題] 上帝論證

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

作者: aaaaasuede - 發表於 2011/06/08 23:08(14年前)

3^F推dementia:乞題又不是嚴重的事只是不信上帝(不接受前提)的人還是不06/09 02:38

4^F→dementia:會接受前提罷了 XD06/09 02:38

Re: [請益] 語句翻譯的一些問題

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

作者: l10nel - 發表於 2011/04/30 17:15(14年前)

2^F推dementia:(可能B)->A 如果要翻出來的話05/01 02:16

3^F推dementia:to 1f: 確實有; 如果會影響推論的話就應該翻出來05/01 02:22

[請益] 語句翻譯的一些問題

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

作者: QQXUP - 發表於 2011/04/26 12:49(14年前)

1^F推dementia:"才能"有很多種用法例如"才會","才可能"和"才更有可能"04/28 13:42

Re: [請益] 問一個邏輯證明技巧

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

作者: Yures - 發表於 2011/04/12 16:23(15年前)

4^F推dementia:補充:這是典型的方法上網或看書都找得到04/16 03:36

[請益] 問一個邏輯證明技巧

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

作者: sandyclaws - 發表於 2011/04/11 23:21(15年前)

12^F推dementia:to 1f: 那不是悖論悖論要前提(至少看起來)為真推導不用04/16 03:40

[請益] 請問這兩句有何不同

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

作者: maicha - 發表於 2011/02/09 20:58(15年前)

6^F推dementia:第二個... 自殺就不會被處死囉 XD02/16 16:24

首頁

尾頁