作者查詢 / teves

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

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

限定看板：logic

看板排序：

首頁

尾頁

[討論] 有人說這是微軟面試題目

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

作者: lovechin - 發表於 2017/06/27 09:29(8年前)

1^F推teves: 這個問題版上很多討論了請搜尋關鍵字"金幣"跟"球"06/29 15:52

[請益] 如何分辨是否構成論證

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

作者: imageJ - 發表於 2016/02/16 20:20(10年前)

1^F推teves: 論證是要從一組前提去證明結論你說的例子都只是說明02/17 21:09

2^F→teves: 原文並沒有企圖要證明什麼02/17 21:09

3^F→teves: 當然你如果要寫論證不管內容寫啥都是可以的02/17 21:10

4^F→teves: 他只是說原文並沒有要證明什麼只是說明一個事實的理由02/17 21:12

5^F→teves: 所以並不是一個論證02/17 21:12

6^F→teves: 而以下這句雖然看起來荒誕但是因為我企圖證明所以是論證02/17 21:14

7^F→teves: 如果狗會說話而且他們會買手機那麼蘋果的業績就會成長02/17 21:17

12^F→teves: 我覺得論證是在講到推論規則前面吧所以用推論規則定義02/19 15:24

13^F→teves: 順序上就不太對了02/19 15:24

[請益] 光與熱

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

作者: zhenruena - 發表於 2015/12/16 20:27(10年前)

1^F→teves: 1.大部分是 2.否有其他來源像地熱事實上宇宙沒有絕對0度12/17 10:12

2^F→teves: 3.聽不懂12/17 10:12

6^F→teves: 如果你先去了解溫度的本質就不會問出溫度從哪來這種問題01/13 08:22

自然演繹法

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

作者: CyCls - 發表於 2015/04/13 22:45(10年前)

11^F→teves: www 助教馬上來推文嗎XD04/15 16:35

[請益] 連接詞 unless

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

作者: magichanics - 發表於 2015/03/12 01:06(10年前)

1^F→teves: 首先邏輯上的除非跟日常用語有小出入是正常的03/12 11:01

2^F→teves: 然後我要做A 除非B 的意思是,如果B沒發生那我就會做A03/12 11:01

3^F→teves: 但是就算B發生了我也沒說我就不做A 只是有很大可能不做了03/12 11:02

4^F→teves: 比如說明天去野餐,除非我功課沒寫完03/12 11:03

5^F→teves: 那我功課沒寫完的話很可能就不去了但也不代表我一定不去03/12 11:03

6^F→teves: 搞不好就算功課沒寫完最後還是不管就去了03/12 11:04

7^F→teves: 再一個例子我會核准貸款除非借款人年薪不到百萬03/12 11:08

8^F→teves: 並不代表年薪不到百萬我就不核准貸款了,03/12 11:08

9^F→teves: 只是我可能還需要調查更多資訊來決定03/12 11:08

[請益] 關於全稱普遍化UG的疑問

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

作者: CatWalking - 發表於 2015/03/03 16:15(10年前)

1^F→teves: 因為x是變元不是常元吧?03/04 13:07

2^F→teves: 嗯不對x是常元只是全部都用x看起來很搞混了XD03/04 13:25

[請益] 關於這題邏輯題的答案

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

作者: willion003 - 發表於 2015/02/25 02:50(11年前)

1^F→teves: 我覺得題目出錯了 8+8+8應該是602/27 07:15

Re: [請益] 自然演繹法題求解

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

作者: ppu12372 - 發表於 2014/12/31 20:17(11年前)

3^F推teves: 你的證明有個問題 p->q 是 0 不代表p是1 q是001/03 18:15

4^F→teves: 也可以p是0 q是0 或p是0 q是101/03 18:15

5^F→teves: 喔不對,我搞錯了XD 你可以忽視XD01/03 18:18

6^F→teves: 不過我想說,你的方法要是對一個條件存在多種可能的值01/03 18:21

7^F→teves: 那就得列出所有可能性,有點像用真值表硬幹01/03 18:22

8^F→teves: 這題簡單的話還好複雜的問題會很麻煩01/03 18:23

9^F推teves: 另外你名詞不懂的話可以參考自然演譯法18條規則:01/03 18:30

10^F→teves: http://myweb.scu.edu.tw/~tsemeiwu/documents/NDrules.pdf01/03 18:30

11^F推teves: 不是,我指的是比如說p v q 是1 那你就沒辦法判斷p跟q的值01/04 16:46

12^F→teves: 要是所有的敘述都是這種的你找不到一個突破點01/04 16:47

13^F→teves: 那就只好列出所有可能01/04 16:47

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

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

作者: teves - 發表於 2014/06/10 08:22(11年前)

4^F→teves:若且唯若就是"若"跟"唯若"合起來一個充分條件一個必要條件06/10 17:41

5^F→teves:唯若,口語一點就是只可能例:會用這個東西的只可能是笨蛋06/10 17:43

6^F→teves:不是他發明名稱是這個詞本來就存在06/10 17:44

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

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

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

12^F→teves:if P then Q是單箭頭, if and only if 是雙箭頭06/09 13:45

13^F→teves:兩者真值表就不一樣了06/09 13:45

14^F→teves:他問的問題若P則Q 那"一定會" P if and only Q06/10 08:11

15^F→teves:不就是問有沒有邏輯蘊含嗎答案是沒有因為真值表不一樣06/10 08:12

16^F→teves:若p則q 且若q則p 才是 if and only if06/10 08:16

17^F→teves:呃...邏輯蘊含跟恆真就是一樣啊@@06/10 18:07

18^F→teves:邏輯蘊含: 在所有可能的模型下,前項真則後項真06/10 18:08

19^F→teves:比如 p->q 邏輯蘊含 ~q->~p06/10 18:10

20^F→teves:那 (p->q)->(~q->~p) 是恆真句06/10 18:10

21^F→teves:嗯我講說邏輯蘊含跟恆真一樣有點不太對06/10 18:21

22^F→teves:應該說是如果A邏輯蘊含B (B可以證明自A) 那A->B會是恆真06/10 18:22

首頁

尾頁