作者查詢 / ksmrt0123

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

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

限定看板：logic

看板排序：

全部ASM530Electronics367logic124C_and_CPP71Programming16CSSE10NEMS8RDSS5Soft_Job5NTU-EM932Mechanical1Tech_Job1<< 收起看板(12)

首頁

尾頁

[請益] p->q 真值表

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

作者: carlwt - 發表於 2011/01/07 07:41(15年前)

8^F推ksmrt0123:不嫌棄的話請參考 #19k0N3ZY01/07 16:47

[請益] 杯子裡面的水

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

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

11^F推ksmrt0123:嚴格來說要先證明水分子總數為偶數且沒有蒸發凝結...08/27 00:34

Re: [心得] 網路上討論超累的...

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

作者: New8G - 發表於 2010/06/19 00:34(15年前)

1^F推ksmrt0123:這是來洗文章數的吧...06/19 20:24

[心得] 網路上討論超累的...

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

作者: yauhh - 發表於 2010/05/16 23:22(15年前)

1^F→ksmrt0123:你扮A還B?05/17 00:37

7^F→ksmrt0123:修推文不是好習慣05/18 20:34

10^F推ksmrt0123:L大被修的推文我都有看到, 昨晚的的確是針對你, 但應不05/18 22:37

11^F→ksmrt0123:算人身攻擊05/18 22:38

12^F→ksmrt0123:不過, 反正刪就刪了, L大應該也不介意就是了05/18 22:40

Re: [請益] 台大邏輯

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

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

3^F推ksmrt0123:這個式子有單一作者的意思但原文沒有03/04 18:34

7^F推ksmrt0123:嗯英文就不至於混淆也許中文題目選西遊記跟老殘遊記03/04 20:01

8^F→ksmrt0123:這兩本著名的單一作者書籍也是想補充中文語意之不足吧03/04 20:04

Re: [請益] 矛盾

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

作者: luciferii - 發表於 2009/12/30 03:11(16年前)

1^F推ksmrt0123:推~~12/30 18:10

[請益] 矛盾

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

作者: TubularBells - 發表於 2009/12/28 23:32(16年前)

3^F→ksmrt0123:L大說的沒錯. 我怕原po還有疑問所以補充一下12/29 18:34

4^F→ksmrt0123:這就是我們在「反證法」採用的方法:12/29 18:35

5^F→ksmrt0123:先假設P成立然後推導出(1)P->Q及(2)P->not Q12/29 18:37

6^F→ksmrt0123:這時我們會寫「故矛盾」, 因此P是不成立的12/29 18:39

7^F→ksmrt0123:上句的意義就是L大所說的那樣12/29 18:40

8^F→ksmrt0123:hmm.. 好像沒有比較清楚原po有興趣看一下反證法好了:12/29 18:44

9^F→ksmrt0123:http://en.wikipedia.org/wiki/Proof_by_contradiction12/29 18:44

11^F推ksmrt0123:為了配合原po的寫法12/29 23:39

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

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

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

17^F→ksmrt0123:感謝大師指導也謝謝luciferii的說明 m(_ _)m12/27 15:08

18^F→ksmrt0123:另外我後來想到該"定義"用來判斷 X非Y的子集需要窮舉12/27 15:12

19^F→ksmrt0123:若Y非finite set會有問題如 X={1.1} Y=N12/27 15:14

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

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

作者: yauhh - 發表於 2009/12/25 06:52(16年前)

11^F→ksmrt0123:multiset 才有 {1,1,1,1} 這種東西12/25 15:10

Re: [請益] 該如何理解語句邏輯的公理?

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

作者: asdinap - 發表於 2009/08/30 23:47(16年前)

5^F→ksmrt0123:若最後一條訂成 F F F, 那 p->q 就等價於 q 了08/31 12:14

6^F→ksmrt0123:詳情請看 #19k0N3ZY08/31 12:14

首頁

尾頁