作者查詢 / MathTurtle

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

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

限定看板：logic

首頁

尾頁

[請益] 表示 Reflexive Transitive Closure

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

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

1^F推MathTurtle: 問題就在你說的"這樣追下去，應該就可以確保"09/01 20:14

2^F→MathTurtle: 這裡就不是用一階邏輯可以表達的09/01 20:14

6^F推MathTurtle: 因為你給的式子不是定義啊 ... R*出現在biconditional09/02 00:01

7^F→MathTurtle: 的兩邊09/02 00:01

8^F→MathTurtle: 要把它弄成定義你會需要recursion之類的東西09/02 00:02

[請益] tense logic

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

作者: brickhead - 發表於 2015/01/20 00:59(11年前)

1^F推MathTurtle: 小p是指一個proposition01/20 10:29

2^F→MathTurtle: 例如例子中的p指的是'John leaves'這個命題01/20 10:29

3^F→MathTurtle: 因此 Pp 就會是 'John left'; Fp 就是'John will leav01/20 10:30

4^F→MathTurtle: e' 以此類推01/20 10:30

[請益] 如何證明論證為無效？

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

作者: JeffBuckley - 發表於 2013/01/30 03:08(13年前)

1^F推MathTurtle:需要舉反例。01/30 03:17

[請益] 兩題有關Modal Logic的問題

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

作者: MikuMikuMiku - 發表於 2012/12/31 15:12(13年前)

1^F推MathTurtle:這樣沒錯啊。如果要完整你可以再加上p(n)和q(n)的值,12/31 18:51

2^F→MathTurtle:但它們是1或是0都不會影響。12/31 18:52

[請益] 請問「若一關係有對稱律&遞移律，那麼有自反性」錯在那？

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

作者: t0444564 - 發表於 2012/07/05 10:03(13年前)

1^F推MathTurtle:它可以是沒有任何東西和任何東西有關係的集合07/05 15:49

[請益] 關係述詞邏輯

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

作者: chantaltw - 發表於 2012/02/15 18:40(14年前)

1^F推MathTurtle:是等價的...02/15 19:01

Re: [請益] 反證法

[ logic ]20 留言, 推噓總分: 0

作者: MathTurtle - 發表於 2011/12/26 03:53(14年前)

4^F→MathTurtle:you are exactly right! 所以我那句話是錯的!12/28 21:13

5^F→MathTurtle:直覺主義是沒有排中律和RAA1與RAA3, 但是有explosion12/28 21:15

6^F→MathTurtle:然後有一個minimal logic是三個都沒有的...12/28 21:15

7^F→MathTurtle:所以這樣就清楚了。直覺主義是針對排中律來的, 以及可12/28 21:16

8^F→MathTurtle:以導出排中律的RAA1也被拒絕。而 relevant logic是針對12/28 21:17

9^F→MathTurtle:explosion來的, 以及會導致explosion的 RAA1 也要拒絕12/28 21:18

10^F→MathTurtle:而 paraconsistent logic是容許truth-value glut,12/28 21:20

11^F→MathTurtle:所以排中律(沒有 gap)可成立但explosion和RAA1也不成立12/28 21:21

12^F→MathTurtle:所以這三個之間的關係大概是這樣吧12/28 21:22

18^F→MathTurtle:對...一樣的, 因為我的table就是從Priest的書上拿來的12/30 17:32

19^F→MathTurtle:而那篇我看了一下好像也是 Priest 寫的12/30 17:33

[請益] 一題邏輯證明

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

作者: whoam - 發表於 2011/12/15 16:36(14年前)

1^F推MathTurtle:(B。D) 是什麼?12/15 19:16

2^F推MathTurtle:如果不能用conditional proof或反證法的話, 看看能不能12/15 19:18

3^F→MathTurtle:用一些等價式(如: X->Y 等價於 ~X v Y) 這類的去試吧12/15 19:19

6^F推MathTurtle:Hint: C v (B&D) 等價於 ~(B&D) -> C; 再和前兩條推出12/15 20:55

7^F推MathTurtle:~(B&D) -> B; 然後它會等價於 (B&D) v B, 再用Dist12/15 21:01

8^F→MathTurtle:把它換成 (BvB) & (B vD), 然後就可以 Simp 推出 BvB12/15 21:02

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

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

作者: asdinap - 發表於 2011/11/16 17:17(14年前)

1^F推MathTurtle:其實是一樣的, 不過你寫的是 informal 的想法, 把它按11/16 20:25

2^F→MathTurtle:照系統中的推論規則寫出來就會像是我給的那樣。11/16 20:25

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

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

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

6^F→MathTurtle:對 F 表任一性質11/10 15:58

7^F→MathTurtle:Ass. 表示 assumption (即你的前提)11/10 15:59

8^F→MathTurtle:然後在第3步中是把 x用a, y用b, Fx 用 x=a 代11/10 16:00

9^F→MathTurtle:所以 Fa 就會變成 a=a, Fb 就會變成 b=a11/10 16:02

10^F→MathTurtle:而3就是 if a=b then Fa iff Fb11/10 16:02

首頁

尾頁