作者查詢 / freef1y3

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

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

限定看板：logic

看板排序：

全部Gossiping9306Tech_Job755ask-why326joke148PublicIssue84C_and_CPP77Hsinchu71Militarylife67Soft_Job59NSwitch54Physics51AfterPhD49Jinmen42hypermall40Hunter39ONE_PIECE35FuMouDiscuss33logic29ask28NetRumor21Military20HatePolitics19biker17Prob_Solve15Programming15home-sale13PhD13NCTU_TALK12Steam10Suckcomic10teeth_salon10LivingGoods9Bunco8Inference8Math8GO7Kaohsiung7Little-Games7NDS7NTU7Salary7MobileComm6PublicServan6share6Doraemon5paranormal5C_Chat4EZsoft4LAW4marvel4rent-exp4SouthPark4media-chaos3RealPlaying3Road_Running3SMSlife3Teacher3ChangHua2Emulator2Falcom2FongShan2IA2Key_Mou_Pad2Old-Games2puzzle2AntiVirus1ASIA-uni1car1CFantasy1DYU1Hate1HsinTien1iOS1Isayama1KS91-3191L_TalkandCha1LCD1Linux1Marginalman1movie1NARUTO1NCHU-MEgradu1Notebook1NTUE-EPC-981NTUST-ET-B931PingTung1PSP-PSV1Sony-style1Stock1StupidClown1swim1Violation1W-Philosophy1watch1WomenTalk1<< 收起看板(95)

首頁

尾頁

[請益] 表示 Reflexive Transitive Closure

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

作者: freef1y3 - 發表於 2015/09/01 16:55(8年前)

3^F→freef1y3: 可是那只是我用來解釋的自然語言，沒有包含在邏輯式內09/01 20:40

4^F→freef1y3: 還是那條邏輯式有用到什麼非一階邏輯的東西呢？09/01 20:40

5^F→freef1y3: 或者是這種可能導致無窮展開的邏輯式就不屬於一階邏輯？09/01 20:46

13^F→freef1y3: 啊真的耶! 感謝t大解惑~09/02 01:35

Re: [討論] 若P則Q P only if Q?

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

作者: ppu12372 - 發表於 2014/06/04 16:40(10年前)

3^F→freef1y3:其實[P if and only if Q]跟[Q if and only if P]一樣06/06 12:26

[請益] 一題述詞邏輯不會解

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

作者: Standpoint - 發表於 2014/05/24 23:10(10年前)

4^F→freef1y3:有可能Fa是錯的，而讓Fx對或錯的x都存在05/25 21:05

8^F→freef1y3:不知道結論該看成 Ex(Fx→Fa) 還是 (Ex Fx)→Fa?05/26 01:19

9^F→freef1y3:如果是前者好像根本不用證，後者我覺得是錯的..05/26 01:21

11^F→freef1y3:那就舉一個例子使前提對但結論錯好了05/26 11:12

12^F→freef1y3:假設F0為True，F1為False，且a=105/26 11:14

13^F→freef1y3:則前提是對的，因為x代0就可使Fx→Fa為True05/26 11:14

14^F→freef1y3:阿說錯，是x代105/26 11:15

15^F→freef1y3:再來看結論(Ex Fx)→Fa05/26 11:16

16^F→freef1y3:(Ex Fx)是True，因為x代0就可使Fx為True05/26 11:17

17^F→freef1y3:但Fa是False，因此結論是錯的05/26 11:17

[請益] 一種圖形遊戲

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

作者: yvpopo - 發表於 2014/05/22 16:23(10年前)

1^F推freef1y3:nonogram? puzzle版會有比較多資訊05/22 22:16

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

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

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

15^F→freef1y3:請定義"最完美的概念"11/04 13:37

[問題] 上帝論證

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

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

6^F→freef1y3:可是常常有人喜歡用邏輯來證明自己的信仰09/19 08:45

[請益] 1道數學題目

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

作者: pilot7 - 發表於 2010/07/28 23:14(14年前)

3^F→freef1y3:搞不好是問桌子上還剩幾支香菸07/29 15:45

[請益] 野兔在哪裡

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

作者: peachings - 發表於 2010/05/29 19:32(14年前)

15^F→freef1y3:沒有說有幾個真幾個假，不管哪籠都有可能06/07 19:20

[請益] 芝諾悖論?

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

作者: egg8400 - 發表於 2009/03/20 01:21(15年前)

6^F推freef1y3:把他跑每一段的時間加起來03/20 15:05

7^F→freef1y3:會發現時間會趨近但不超過某個值03/20 15:05

[請問] 雙生子謬論

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

作者: sarsenwen - 發表於 2008/10/26 10:26(15年前)

7^F推freef1y3:"無限快的訊息傳遞"代表兩個人收到的訊息是同步的10/26 22:08

8^F→freef1y3:但是這好像就隱藏了絕對時間的觀念在裡面10/26 22:08

9^F→freef1y3:本身就違反相對論時間相對的設定了10/26 22:09

10^F→freef1y3:應該不能用一個本來就違反設定的說法來說它不合理吧10/26 22:10

11^F推freef1y3:不然，想知道時間時，你就用那個無限快的訊息傳遞方法10/26 22:13

12^F→freef1y3:向上帝問時間就好了，那看到的時間一定都是一樣的10/26 22:14

13^F→freef1y3:也不用去傷腦筋哪個人時間過比較快了10/26 22:14

首頁

尾頁