作者查詢 / rexkimta

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

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

限定看板：logic

看板排序：

全部NTU-CFE1512Hearthstone643Hinatazaka46433CGI-Game398Nogizaka46354C_Chat315S.H.E227ck58th310191Google139ck58th127113Sakurazaka4688Browsers81Gossiping78SummonersWar67SummonsBoard67Ruby58SakaTalk50Minecraft37Ajax25Little-Games23Web_Design21PHP20WOW20Disney19Math19StupidClown18Blog16java16YUGIOH16joke15Simcity14logic13Keyakizaka4612Magic10wearefriends10Linux9PC_Shopping9Storage_Zone9CrossGate8Jing-Ru7TigerBlue7Android6HSNU_9896Eclipse4RegExp4SCU_ACC_96A4BoardGame3FJU-ACCR943hardware3MobileComm3RSSH94_3013soul3Steam3AC_In2BBSmovie2Beauty2car2ck58th3122Conan2CSMU-MED972GameDesign2HatePolitics2HsinTien2Hunter2Kusan_89-3122Nantou2NLHS-3th-3062NTHU_STAT942NUU_Talk2Python2SCU_CIS-90B2StoneAge2SuperBike2TA_AN2Visual_Basic2Wikipedia2AGEC931Ancient1BabyMother1BadmintnClub1Boy-Girl1CGSH87th_3151CHGSH_97_3141ChungLi1cksh85th3201cookclub1CSMU-LS891CSMU-MED941CSMU-MED961CSMU-MED981CSMU-PT901CVS1CYCU_ICE90AB1DavidTao1DragonBall1Drum1DYU1EatToDie1FJU_AD-041Food1GUNNM1H-GAME1HarryPotter1Hayate1HLHS_10thU1HOT_Game1HSNU_10371HSNU_10981ILSH-943131image1Japan_Travel1JH30th3061JOJO1Koei1KS92-3101KS94-3091KS94-3201KS94-3211KS95-3021KS95-3181KS97-3101LadyGaga1LTK1media-chaos1medstudent1Military1Militarylife1movie1Music-Sell1NCCU06_LAND1NCCU08_HISTO1NCCU08_JAPAN1NCCU09_PHILO1NCCU_PFBASE1NCHU-AGR981NCHU-FS981NCHU-PP871NCKU_IIM1NDS1NextTopModel1nineinnings1NTPU-STAT951NTUphy941NTUT_EE490A1NYUST00_FING1Old-Games1paranormal1PLT1Precure1Rubiks1SCU_Talk1Seiya1SKET_DANCE1sky1SMTH1SouthPark1TCFSHvolley1TFSHS67th3051TFSHS68th3161TKU_TSPCB931TNFSH98th1Transport971TS_32th_3011TTU-COMM1TurtleSoup1VibWang1Vtuber1W-Philosophy1XiangSheng1YOLO1<< 收起看板(170)

首頁

尾頁

[請益] 自然演繹法

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

作者: yuseke - 發表於 2012/04/07 11:52(13年前)

1^F推rexkimta:v是or吧？用了conj應該會出現and吧？04/10 16:26

2^F→rexkimta:不過就算~T和~S中間是and也不對就是了。04/10 16:26

[討論] 如果小木偶說...

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

作者: mouseO72O - 發表於 2011/05/18 01:55(14年前)

6^F→rexkimta:說謊是鼻子變長的充分條件，非必要條件。05/18 16:49

[心得] 神燈精靈的三個願望

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

作者: generalfungi - 發表於 2010/12/06 00:53(15年前)

5^F推rexkimta:你只說要願望，沒說要他實現這個願望……12/09 17:19

6^F→rexkimta:精靈：不玩文字遊戲會累死我自己。12/09 17:20

[請益] 數學演算和科學理論？

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

作者: sorrows - 發表於 2010/08/25 19:50(15年前)

7^F推rexkimta:數學也很愛猜想啊。08/28 00:50

[請益] 杯子裡面的水

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

作者: knight18 - 發表於 2010/08/19 16:30(15年前)

3^F推rexkimta:樓上的方法如果杯子是圓的就不行了08/20 17:33

Re: [討論] (Ex)(Ey)(Fxy v Fyx) 蘊含 (Ex)(Ey)Fxy …

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

作者: bagaqq - 發表於 2010/06/26 23:36(15年前)

2^F推rexkimta:如果不允許直接引入恒真句，也可以用cp證明一次。06/28 20:16

[討論] 草地上的一顆皮球

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

作者: tommynypd - 發表於 2010/06/17 22:46(15年前)

6^F推rexkimta:用衛斯理最愛：蜜蜂搜尋法。06/20 23:22

Re: [請益] UG和EG運用

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

作者: bagaqq - 發表於 2010/06/15 02:23(15年前)

1^F推rexkimta:哇，你解釋的好清楚。06/16 21:19

[請益] UG和EG運用

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

作者: clone198923 - 發表於 2010/06/11 17:05(15年前)

1^F推rexkimta:4的x是從3的v代換來的，3的v是從EI來的。06/11 17:32

2^F→rexkimta:等等，我弄錯了。06/11 17:33

3^F推rexkimta:手邊沒有書，量詞規則的使用限制也忘了差不多了ORZ06/11 17:43

首頁

尾頁