作者查詢 / mikechan
作者 mikechan 在 PTT [ logic ] 看板的留言(推文), 共98則
限定看板：logic
看板排序：
全部Beauty1719ToS808NARUTO440Gossiping241Mind217StupidClown196Physics184Monkeys162joke149ONE_PIECE137Taiwan319132logic98Libra95Math86SET81Hunter74BLEACH70sanguosha68share65Baseball63piano57TigerBlue52Deserts47BBSmovie44clmusic44sky31Angela29Ecophilia27HotBloodYuan26score26S.H.E25Valen25NetRumor23ToS_Match23Chan_Mou21FJU-ACCR9420Lottery19Rockman18Suckcomic18Cobras17Sabermetrics16GreenParty14NTHU_STAT9413Orchestra13Hate12Musicteach12Little-Games11TA_AN11TurtleSoup11Whales11Isayama10TaiwanDrama10USC10EmailYang9Hakka-Dream9Instrument9Music-WoW9CCF8clPianist8KS98-3028KyoumeiWinds8NTUmed918NTUST-EE-B918CSMU-MED957HLHS_10thU7KS94-3097BabyBears6FCU_EE97A6FJU-Stat95A6GHIBLI6Guardians6HatePolitics6KS95-3026KS96-3056Minecraft6Olympics_ISG6TFWB6THUIM-5th6TY_Research6young-jiang6YUGIOH6Anchors5CCU_talk5CTSH923015FCU-PF20065HCHS603125HSNU_10655KERORO5Kusan_89-3125LoL5maevsoftball5NDHU-phy995NDMC-PH235NTPU-STAT955NTU-GIIB20045scu_transfer5TKU-Strategy5TKU_EW94B5Wanfang5YMU_bioMed965b95902xxx4Boy-Girl4car4CGU_EE984CH7th3104CHSH-94-3194CPU_CID7314CSMU-MED904Eagles4FatMonkeys4HSNU_11094kawaii4KHCHS_TALK4KS94-3074KS94-3204Lions4media-chaos4MEI-CHYI4NCCU04_CHI4NCCU04_LANDG4NCKU-BEH954NDMC-D624NTHU-MSE104NTOU-MME-99B4NTUBIME-1024NTUGIPO_PNSL4NTUR961230XX4NTUT_EE490A4NUU_Talk4PCCU-AT-91C4scutran_city4TTU-US944YUYUHAKUSHO4ADS3b964060XX3C_Chat3Chemistry3Chinese3CSMU-Band3FLAT_CLUB3FSHS-93-3103gallantry3graduate3HCHS923163HSNU_10583HSNU_10663JinYong3KS94-3123KS94-3163KS97-3023LHU3lyrics3NCCU_SEED3NCHU-AGR043NCHU-ENVE1023NTPU-ACCM943NTUDrama953NTUE-DC993NTUE_Nse983NTUE_Nse993NTUFRC863NTUMEB953NTUot943NTUT_MMRE933NUK_EE100A3pal3paranormal3PCSH91_3053PttHistory3PushDoll3SCU_Law101B3SCU_Talk3Teacher3tetris3TTU-AMath3TTU-I90B3WuLing46-3173ASHS-93-li2ask2CFantasy2Chiayi2civil972ck57th3042ck57th3152ck58th3022ck59th3052cksh80th3142CMU_M482CMWang2Conan2CPU_FS7412CSMU-AFL2CSMU-MED932CSMU-MED972CTSH943012CTSH97EXP2CYCUEL95A2CYSH97Y3182D_Fin_Law_922dlsh-7th-3032FJU-ACC93a2FJU-ACCR932FJU_CPSY2FJU_OT2nd2Flute2FSHS-92-3142FXM91-3292Gintama2Google2HarryPotter2Haruhi2HCKuo2HDFS_Bball2hjsh2HSNU_10082HSNU_10092ILSH-943132ILSH_923122Japanese-B952Jay2kartrider2KS91-3052KS93-3162KS95-3062KS96-3032KS96-3142KS_PMAC2Marines2MCU-LAW2movie2NCCU04_TUR2NCCU05_PHILO2NCCU08_JAPAN2NCKU-physiol2NCKU_ECO972NCKU_MEPhC2NCYU_Fst_992NDHU-AIPhy2NDHU-PA962NDHU-phy962NDHU_wb2NDMC-N562NIU-ECE94b2NIUECE912NIUEE93a2NTHU_ENGI2ntnuch95c2NTOU-EBFS922NTPU-STAT962NTUCH-1032NTUCH-902NTUEE_POWER2NTUEE_VAL2NTUEOE-IOL2NTUGIEE_AMTG2NTUST-EE-B952NTUST-EMA2NTUST-ET-A962NTUST-HC-952NTUST-TX-B922NUK_AC982NUU-EO-97A2PCCU-CS2PokeMon2Policy2Ptt-Charity2RedSox2RIPE_gender2ScienceNote2sex2ShihChing2SMHS91_3062SSSH-16th-Fk2SSSH-16th3132SSSH_17th3142Supernatural2SYSOP2TaiShan2Tea91Talk2TFSHS64th3092TFSHS65th3092TFSHS65th3152TFSHS66th3122THU-CHE932THU-CHE962TKU_EE_92C2TSH96_SM2TTSH12th3092TuTsau2tyart2TYSH48-3012Violation2wisdom2WRADPE2YoungDotx32YP95-3112Zastrology2AACK1Agr-Football1ainori1Alan_Ball1Anthrosuper1AOE1AOSO_Lab1ArabicBasket1Arti53-2t1ASIA-uni1ASIA_ISA1Atmosphere1Aves1B94303XXX1b962040XX1B96305XXX1b974060XX1balaz1biker1Bus1Capricornus1CaraQ_City1CCChang_991CCJH-89g-3151CCJH22th3171CCK1CCU_CSIE87u1CCU_EPARC1CCU_Telcom001CCUfinGrad931ChaCha231ChineseChess1CHITEE4UD90A1ChronosGate1CHSH-3191CHSH-92-3191CHSH_GTC1CHSH_VENUS1CHU_ME92C1ck50th1281ck53rd3051ck54th3011ck55th3021ck55th3111ck56th3311ck57th3291ck58th3121ck58th3171ck59th3271ck60th3181ck61st3221ckbc1CKGC1cksh80th3071cksh80th3161cksh81st3111cksh83rd3071cksh84th1161cksh84th3021cksh84th3121cksh84th3161cksh85th3101CMCKguitar131CMU_Guitar421CMU_M491CPBL1CPU_FA7311CPU_FC7611CPU_MP7311CPU_PA7311Crowd1CS89Huei1CSMU-bridge1CSMU-D951CSMU-FHLF1CSMU-HSA951CSMU-HSA961CSMU-LS891CSMU-MED941CSMU-MIS951CSMU-N951CSMU-OP941CSMU-OP951CSMU-OP961CSMU-OSH1CSMU-OT911CSMU-Psy1CSMU-RM-SB1CSU1CTSH963011CTSH963021CTV1cute1CYCU_CE92B1CYCU_EE_07A1CYUT1D_Fin_Law_971DC88-3231dcsh-7th1DeathNote1Desp_Housewi1Dodgers1Doraemon1Drama1Drink1DTJH_3221eat-disorder1Elephants1Employee1EMS1EZsoft1Facebook1Fahrenheit1Fantasy1FarRadio1FCU_DOP_SB1FCU_EE97B1FengYuan1FFF1FIR1FJU1FJU-ACC94b1FJU-AM-901FJU-BA93B1FJU-BA93C1FJU-BAvolley1FJU-EE-2004B1FJU-Law20061FJU-Laws911FJU-Laws931FJU-STAT91B1FJU-STAT95B1FJU-Trade1FJU_AD-031FJU_AD-041FJU_Chiayun1FJU_CPSY_VL1FJU_Fashion1FJU_JCS111FJU_JCS61FJU_JCS91FJU_N96b1FJU_physics1FJU_PSY0941Free_box1FSHS-92-3101FSHS-92-3111FSHS-94-3161FSHS-95-3011Geotecheng961Germany1ginfa1GO1Golden-Award1GoodShop1GunsNRoses1hakka1HanDian1hc3141HCHS933141HCSH_10th3121HCSHch13_3111HFU_CS_91B1HFU_me_90B1HGSH963031historia1Hokuto1home-sale1HsinYi1HSNU_10021HSNU_10571HSNU_10861HSNU_10981HSNU_11031HSNU_11151HSNU_11171HSNU_11351HSNU_11421HSNU_11701HSNU_8821HSNU_9001HSNU_9601HSNU_9811ILSH-953131ILSH-973091image1JA31th3111Japanese-B941Joi1juniorhigh1junji-ITO1kekkai1KenShin1KingofPop1KNIB1kodomo1KR12_3021KS88-3181KS91-3021KS92-3131KS93-3201KS94-3011KS94-3131KS94-3211KS95-3111KS95-3161KS95-3181KS96-2021KS97-3131KS97-3201L_TalkandCha1Lefty1LTSH1marvel1MCU_Talk1ME-PingPong1MEMS424_95th1MKSH-95-61mud1mud_sanc1Mudran1music1MusicVideo1MysteryStory1Navy1NBA1NCCU00_DIP1NCCU04_GID1NCCU04_LawHa1NCCU04_PSYCH1NCCU04_SOCIO1NCCU05_ITMBA1NCCU06_MBA1NCCU07_CHIS1NCCU07_Ghis1NCCU07_PHILO1NCCU07_SW1NCCU08_Ethno1NCCU08_Math1NCCU10_Stat1NCCU_BWYC1NCCU_CHESS1NCCU_PFBASE1NCCU_SeedsOL1NCCUflamenco1NCHU-AGR021NCHU-AGR061NCHU-FS1001NCHU-MKT991NCHU-Wind1NCKU_CSIE931NCKU_DAA-991NCKU_EARTH981NCTU-STAT98G1NCU_ME-94B1NCUCEM1NCUECON961NCUFingrad031NCYU_ART991NDHU-Ch1001NDHU-His1021NDHU-His961NDHU-LF981NDHU-MBA951NDHU-MBA971NDHU-phy951NDHU_FIN961NDHU_FIN981NDMC-BCGS1NDMC-M1051NDMC-M1071NDMC-PH241NDMC-PH251NDMC-PH271NDSHWindband1NeedFood1NFU1NHLUE-EED9511NHLUE_ALL1NHU_CSIE1NHU_LD921NKFUST-CCE901NKFUST_FIN971NKMU1NKNU_BT1021NKNU_OECE971NKUTEE1NLHS-1st-3031NLHS-3th-3061NOCHIGH1NPUST1NPUST_VET1NSYSU-BBTeam1NSYSU-TA971NTCU-SPE92A1NTHU-MSE091NTHU_FC1NTHU_IE_Mgt1NTHU_IEEM-941NTHU_TM961NTNU-SLM931NTNU-SLM951NTNUch-961NTNUMasCom971NTOU_MMD93A1NTPU-COECM951NTPU-ECONM951NTPU-JLAW941NTPU-NSTAT931NTPU-SOCM961NTU-CFE1NTU-EM921NTU-Graduate1NTU-IPH961NTU-K81NTU-Karate1NTU_Panchiao1NTUA-MAA31NTUA_MPD1NTUAC941NTUastclub1NTUBSE-B-961NTUBST951NTUCH-1001NTUCH-991NTUdent911NTUdent941NTUdent961NTUE-Art971NTUE-CS981NTUE-DC1031NTUE-EPC-981NTUE-ME951NTUE-TGD971NTUE_CS_TTB1NTUE_NSE1001NTUE_Nse961NTUEE-Lab5301NTUEE_BL5271NTUEE_LAB2061NTUEE_Lab4261NTUEE_LAB5261NTUEE_Speech1ntufiction1NTUHorti961NTUMac1NTUmed941NTUphy941NTUST-DT93-21NTUST-ECE1NTUST-EE-B941NTUST-EE-B971NTUST-EE5041NTUST-ENG1NTUST-MBA971NTUST_Talk1NTUT_IPET4951NTUWindBand1NUK_AC1001NUK_TALK1NUTN_GE1NUU-EE-97A1NUU_Electric1NUU_ID1NUU_IM1NUU_ME1Odoko-juku1PCSH_94_3101perique1pet1pharmacist1pighead1Post1PSJH5-3051Psychology001PsychoTT1pts1PublicIssue1puzzle1Python1R951210XX1R953230XX1RSSH90_3021RSSH91_3021SamLee1Scenarist1SCU_ACCM951SCU_CIS-92A1SCU_LawFB1Self-Healing1SHUTA1SIVS1Skating-Club1SMAP1soul1specialman1SpongeBob1STDM-91-3021STU1Sub_GMobile1SuperStarAve1swim1TaichungBun1TaichungCont1tale1TFSHS1TFSHS61st3211TFSHS64th3181TFSHS65th3061TFSHS66th3071TFSHS66th3191TFSHS66th3201TFSHS67th3211TFSHS67th3261TGMB1theshine41THU-P-Softbo1thu_90archi1THU_BA20001THU_PH901THUIM-1st1TKU-ee-91a1TKU_CE94C1TKU_S92BIO1TKU_Software1TKU_trans1TMU_GIMI931TNFSH98th1Trans-nctu1transgender1TribalWars1trumpet1TS_Best_3031TTU-AFL1TTU-COMM1TTU-Transfer1TTV1TUT1TYSH46-3021TYSH49-1101TYSH_63_3081Tyukaitiban1VET_911Viator96Ding1Viator97Yii1VictoryYouth1Violin1WhiteEyes1WHS-8th3011Wikipedia1Wine1WomenTalk1WuFu-3121WuLing50-3021XiangSheng1XSSHWIND1YiGo3111YLclub1YoYo571YP90-3041YP94-3131YP95-3131Yup01-061Yup02-051Yup02-091Yup98-091Yup99-061YZU_CN99A1ZCLUB1<< 收起看板(766)
3F→:這句話沒有什麼問題02/27 19:39
1F→:P是真，Q是假 所以PＶQ是真01/08 12:27
2F→:PＶQ是真 R是假 所以(PＶQ)→R是假01/08 12:27
3F→:P是真，Q是假 所以(PΛQ)是假01/08 12:28
4F→:(PΛQ)是假 所以(PΛQ)→R是真01/08 12:28
5F→:P是真，Q是假 所以(P→Q)是假01/08 12:29
6F→:(P→Q)是假 所以(P→Q)→R是真01/08 12:29
7F→:PＶQ只在P是假且Q是假的情形為假01/08 12:30
8F→:PΛQ只在P是真且Q是真的情形為真01/08 12:30
9F→:P→Q只在P是真且Q是假的情形為假01/08 12:31
10F→:簡單來說PＶQ 表只要P,Q有一者為真即是真01/08 12:32
11F→:PΛQ 表必須P,Q二者皆者為真方為真01/08 12:33
12F→:P→Q為真表P為真必可推出Q為真01/08 12:33
1F→:套套言:必定為真 矛盾言:必定為假 適真言:有時真有時假01/08 12:45
2F→:(BＶA)→(A→B) 是適真言01/08 12:47
1F→:((P->Q)&(Q->B))->(P->B) ((Q->B)&(P->B)&(PorQ))->B01/06 19:39
2F→:(A<->(B->C))<->((A->(B->C))&((B->C)->A))01/06 19:43
3F→:((A->(B->C))&((B->C)->A))->((A->(B->C))01/06 19:44
4F→:((A->(B->C))&((B->C)->A))->((B->C)->A)01/06 19:44
5F→:(A->(B->C))<->(~Aor(B->C)) (~Aor(B->C))<->(~Aor~BorC)01/06 19:49
6F→:((B->C)->A)<->(~(B->C)orA) (~(B->C)orA)<->~(~BorC)orA01/06 19:51
7F→:(~(~BorC)orA)<->((B&~C)orA)01/06 19:52
8F→:((B&~C)orA)<->(BorA)&(~CorA)01/06 19:53
9F→:((BorA)&(~CorA))<->(~CorA) (~CorA)<->C->A01/06 19:54
10F→:((BorA)&(~CorA))<->(~CorA) (~CorA)<->(C->A)01/06 19:54
11F→:((~Aor~BorC)&B)<->(~AorC) (~AorC)<->(A->C)01/06 19:55
12F→:((C->A)&(A->C))<->(A<->C)01/06 19:56
13F→:好混亂...01/06 19:56
14F→:(A<->~B)orB -> ((A->~B)&(~B->A))orB01/06 19:57
15F→:((A->~B)&(~B->A))orB <-> (((A->~B)orB)&((~B->A)orB))01/06 19:58
16F→:(((A->~B)orB)&((~B->A)orB))->((A->~B)orB)01/06 19:59
17F→:(((A->~B)orB)&((~B->A)orB))->((~B->A)orB)01/06 19:59
18F→:((~B->A)orB)<->(BorAorB) (BorAorB)<->AorB01/06 20:01
19F→:我覺得我自己也會看到昏掉01/06 20:02
9F→:((A->B)&(C->A))->(C->B) (C v(B&D))<=>~C->(B&D)12/18 00:59
10F→:((C->B)&(~C->(B&D)))<->(B or (B&D))12/18 01:00
11F→:(B or (B&D))<->(B or B) & (B or D)12/18 01:01
12F→:((B or B) & (B or D))->( B or B)12/18 01:01
13F→:(B or B) <-> B12/18 01:01
1F→:~(M & P) <=> ~M or ~P11/29 02:48
2F→:(M or P)& ~(M & P) <==> (M or P) & (~M or ~P)11/29 02:51
3F→:(M or P) & (~M or ~P) => (~M => P)& (M => ~P)11/29 02:53
4F→:好像條件不足11/29 03:10
9F→:不客氣11/07 00:38
8F→:為甚麼"最完美的概念必然包含存在"?11/03 03:52
19F→:真值表法06/14 06:27
20F→:P->((-P or Q )->Q) <-> -P or (-P or Q)->Q06/14 06:30
21F→:-P or (-P or Q)->Q <-> -P or -(-P or Q) or Q06/14 06:31
22F→:-P or -(-P or Q) or Q <-> -P or P&-Q or Q06/14 06:31
23F→:-P or P&-Q or Q <-> -(P&-Q) or (P&-Q)06/14 06:32
24F→:(2)P→((-P or Q)→Q) <-> P->((P->Q)->Q)06/14 06:34
25F→:Q->-S <-> S->-Q ((P->(R or S))&-R)-> P->S06/14 06:38
26F→:(S->-Q)&(P->S)->(P->-Q)06/14 06:38
27F→:其實我都沒有記規則的名稱...06/14 06:40
7F推:(R&~R)=>(R& ~R )or S04/14 01:30
8F→:assume R => ~R is F so R&~R is F04/14 01:31
9F→:so S is T04/14 01:31
11F→:so S is T04/14 01:31
10F→:assume ~R => R is F so R&~R is F04/14 01:31