作者查詢 / LiuSky

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

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

限定看板：logic

看板排序：

全部Gossiping9628HatePolitics6469CrossStrait707historia380Suckcomic367DeathNote295PublicServan283gallantry270WomenTalk267Hunter232DummyHistory225Examination216CareerPlan209MenTalk176Stock172Expansion07135Korea100Salary85PublicIssue70HateP_Picket68W-Philosophy68WorkinChina67SENIORHIGH65SWORD58graduate54MONSTER54Confucianism48FuMouDiscuss43KMT43Isayama39joke36NARUTO29MRT27logic26Haruhi25CultureShock24home-sale24AfterPhD23C_Chat23KanColle23AOE22SchoolRumble21C_Question18ComeHere18KERORO17TaichungBun17BBSmovie16THU_Talk16Touhou16DragonQuest15sex15CODE_GEASS14Gash14Yunlin13L_TalkandCha12movie12RPGMaker12Singapore12Transfer12StupidClown11fastfood9JinYong9Psychiatry9GHIBLI8NTU8Cross_Life7ComGame-Plan6HarryPotter6JOJO6Teacher6Tech_Job6DiscoveryNGC5FLAT_CLUB5GIS5ONE_PIECE5specialman5car4CHING4ck57th3284Family4FITNESS4gay4HLHS_10thU4Hong_Kong4KHCHS-93-3064medstudent4TFG02chuang4Education3HSNU_10983LightNovel3media-chaos3Militarylife3NUK_TALK3pay_home3PhD3TW-history3TypeMoon3ASHS-95RN2AT_PingPong2book2Boy-Girl2CJJHS53th3202ck57th3142Folklore2Hsinchu2Hualien2Japan_Travel2KS92-3132Lineage2NHU_LD922NTCU-SPE92A2NTUE-Art972NTUEOE_R306A2TA_AN2V_ScHooL2Aquarius1ArtCenter1B901010XX1Bioindustry1C_WorkBoard1CartoonNet1CFantasy1Childhood1CM37th031CYSH97Y3181Doctor-Info1Eng-Class1Fantasy1FinalFantasy1FJU_Fashion1HSNU_10081HSNU_10551HSNU_10851IA1Inference1JapanStudy1JP_Entertain1Kaohsiung1Keelung1KS95-3011KS95-3091KS95-3111KS95-3181KS98-3021LittleNew1LoL1Master_D1Miaoli1Military1nCoV20191NCU92Chinese1NCUFingrad031NCUHRM951NDS1NTUE-EPC-981NTUT_IPET4951Nurse1paranormal1PC26th3181pet1Shana1Shu-Lin1ShuangHe1SongShan1soul1Taoism1TTU-US941<< 收起看板(167)

首頁

尾頁

[請益] 如何分辨是否構成論證

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

作者: imageJ - 發表於 2016/02/16 20:20(10年前)

8^F推LiuSky: 這裡的論證是指前提能夠使用邏輯規則推導出結論吧02/19 08:31

9^F推LiuSky: 最後一個例子是簡化律的例子 A&B 結論 B02/19 08:35

10^F→LiuSky: 第一個例子和第二個例子寫成邏輯式後是 A 結論 B02/19 08:35

11^F→LiuSky: 很顯然沒有使用到什麼推論規則02/19 08:36

Re: [請益] 述詞邏輯符號化

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

作者: LiuSky - 發表於 2012/03/10 15:54(14年前)

4^F→LiuSky:恰當吧所有哲學家都是勇敢的其意義只表達了不存在哲學家03/16 23:00

5^F→LiuSky:是不勇敢的至於不是哲學家的東西勇敢或不勇敢都不會影響03/16 23:01

6^F→LiuSky:到這句話是否為真03/16 23:01

[請益] 真值表如何判斷

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

作者: tingchen1991 - 發表於 2012/01/08 08:19(14年前)

13^F推LiuSky:先算括號裡面的真假值再算整句的真假值01/08 15:38

14^F→LiuSky:P為真Q為假將PVQ看成TVF 從真值表上來看為真01/08 15:41

15^F→LiuSky:從這結果代入更大的複合句(PVQ)→R (PVQ)為真R為假01/08 15:43

16^F→LiuSky:則你將(PVQ)→R看成T→F 這在真值表上為假因此(PVQ)→R整01/08 15:43

17^F→LiuSky:句為假01/08 15:44

18^F→LiuSky:其他題目都是相同的道理自己算算看吧01/08 15:45

Re: [請益] 證明a=b,then b=a

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

作者: MathTurtle - 發表於 2011/11/10 15:07(14年前)

2^F推LiuSky:F表任一性質吧?11/10 15:38

[請益] 演繹、歸納論證二者之差異

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

作者: tingshan0924 - 發表於 2011/11/05 16:41(14年前)

8^F推LiuSky:若演繹論證的前提為真，則結論必然為真。歸納則不必然。11/06 23:16

[請益] 有兩個問題想問問大家的見解

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

作者: hatelonely - 發表於 2011/11/01 22:17(14年前)

2^F推LiuSky:好像是作業?11/02 01:15

[討論] 三人成虎？

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

作者: pop10353 - 發表於 2011/10/20 22:48(14年前)

1^F推LiuSky:這跟邏輯有啥關係?10/20 23:03

[請益] 這句英文該怎麼用邏輯符號表示

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

作者: like176 - 發表於 2011/10/09 23:42(14年前)

1^F推LiuSky:(P or Q) and ~(P and Q)10/09 23:47

3^F推LiuSky:不一樣...當P和Q都為假時兩個複合句的真假值不同10/10 17:11

4^F→LiuSky:它應該是跟 P <-> ~Q 那句一樣你可以自己畫真值表檢查10/10 17:12

[請益] 語句邏輯翻譯

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

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

1^F推LiuSky:～( Q v R ) ^ ～P04/08 04:42

2^F→LiuSky:推太快搞錯題目 = = 反正but用and翻就行了它們真值表相同04/08 04:47

3^F→LiuSky:差只差在語氣的表達上罷了04/08 04:47

[請益] 有效性的定義（以真值表表示）

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

作者: yggdrasils - 發表於 2010/09/18 23:56(15年前)

1^F推LiuSky:這又不是一個論證只是一句述句罷了 = =09/19 00:08

3^F推LiuSky:看了修改後的文章你根本混淆了有效無效和真假的概念了...10/09 18:03

首頁

尾頁