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

Re: [邏輯] 凡有規則必有例外--這句話的真假?@@"

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

作者: MathTurtle - 發表於 2010/08/19 12:23(15年前)

7^F→MathTurtle:你是對的...我寫錯了....感謝08/19 12:44

8^F→MathTurtle:已修正 :)08/19 12:45

Re: [請益] 哪裡出了問題

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

作者: luciferii - 發表於 2010/06/03 01:05(15年前)

1^F推MathTurtle:看不太懂 (2)=>(3)這裡耶...06/03 04:30

2^F→MathTurtle:而且其實(3)在一般意義下等價於「他不在美國」...06/03 04:30

5^F推MathTurtle:okok...I see..06/04 03:09

[請益] 是非題

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

作者: zipi - 發表於 2010/05/01 09:28(15年前)

2^F推MathTurtle:因為獨立事件的條件機率。05/01 15:15

Re: [請益] 台大邏輯

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

作者: MathTurtle - 發表於 2010/03/03 16:56(15年前)

5^F→MathTurtle:the author 有單一的意思, 這是一般的考法...03/04 19:02

6^F→MathTurtle:如果是考試的話, 比較可能考的是確定描述詞03/04 19:03

[請問] 若一件不存在的東西無法證明其有無.該ꬠ…

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

作者: hfs - 發表於 2010/01/25 11:28(16年前)

3^F推MathTurtle:你可以叫它"hypothetical entity"之類的01/25 11:56

Re: [請益] 矛盾

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

作者: maylaw - 發表於 2010/01/10 17:11(16年前)

10^F推MathTurtle:如果是自然演譯法, 其實是不能直接引入恆真句進去前提01/10 21:38

11^F→MathTurtle:但你可以把恆真句給出證明, 然後以此當Lemma用, 才行01/10 21:38

12^F→MathTurtle:這點很重要的原因是 5中的Rv~R在直覺邏輯的自然演譯法01/10 21:40

13^F→MathTurtle:中, 是個證不出來的命題01/10 21:40

14^F→MathTurtle:有興趣可以試著用自然演譯法證證排中律, 不太好證01/10 21:41

15^F推MathTurtle:應該說, 會需要用到RAA才能證出來01/10 21:43

Re: 請問一個「若...則」命題的解答

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

作者: nickywu1982 - 發表於 2010/01/08 22:20(16年前)

1^F推MathTurtle:1應該是(P->(Q->P))吧01/08 23:46

2^F→MathTurtle:否則當P和Q都為假時, (P->Q)->P 會為假01/08 23:47

Re: [請益] 列出 {1,2,3} 的子集合

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

作者: MathTurtle - 發表於 2009/12/27 00:51(16年前)

8^F→MathTurtle:對我本來想舉R 作例子的12/27 01:12

9^F→MathTurtle:但我發現它連inductive都作不出來所以N其實是不能的12/27 01:13

12^F→MathTurtle:對啊它會需要inductive step宣稱它可以推到N本身啊12/27 01:25

13^F→MathTurtle:而這通常也需要一個axiom才做的到的12/27 01:25

16^F→MathTurtle:yap 如果informally容許recursion的話要用R做例子才行12/27 01:36

[請益] subset和proper subset的分別

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

作者: yvonliu - 發表於 2009/09/20 00:22(16年前)

1^F推MathTurtle:subset = proper subset OR the same set09/20 00:28

Re: [請益]請教一題邏輯題

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

作者: coolbetter33 - 發表於 2009/05/01 21:19(16年前)

1^F推MathTurtle:好像不太對, 三個人好像需要三通電話05/01 21:51

2^F→MathTurtle:題目是要所有人都知道所有八卦05/01 21:51

作者查詢 / MathTurtle