作者查詢 / tzudata

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

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

限定看板：logic

首頁

尾頁

[請益] 同學的邏輯題目

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

作者: DbErNyVaEnRt - 發表於 2018/12/18 20:40(7年前)

1^F推tzudata: https://imgur.com/a/SGJeFe6 第三題12/20 12:47

5^F推tzudata: 不太懂D大的句子。這裡只看得到「用□將兩句話連在一起12/21 02:30

6^F→tzudata: 不確定那個方框是什麼。大概是缺字了。12/21 02:31

7^F→tzudata: 切字型後看到了…是馬蹄鐵符號。12/21 02:33

8^F推tzudata: 也是可以用　～（前提　馬蹄鐵　結論）當成樹的起點12/21 02:36

[討論] 用數位邏輯的觀點判斷論證有效性

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

作者: FTICR - 發表於 2018/09/08 16:11(7年前)

1^F推tzudata: 看得懂。09/11 09:02

[請益] 證明時每一個前提都要用到嗎

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

作者: kakukiyora - 發表於 2015/12/09 18:50(10年前)

1^F→tzudata: 不需要用到每一個證明。圖中的證明是有效的。12/10 01:04

2^F→tzudata: 不需要用到每一個前提。(筆誤12/10 01:04

7^F推tzudata: x大說的是substructural logic吧。01/07 03:20

8^F推tzudata: 蠻妙的。01/07 03:25

[請益] 判斷A∪B={x∣x∈A或x∈B的}'或'字是兼容

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

作者: imageJ - 發表於 2015/04/03 21:32(10年前)

8^F推tzudata: 同意樓上的想法，看起來好像一條就夠了。04/10 23:03

9^F→tzudata: 但是，我們不能直接從A與B的聯集找出你說的那個成員吧?04/10 23:03

10^F→tzudata: 因為'或'是兼容這件事，本身就是我們要證明的目標04/10 23:04

11^F→tzudata: 再者，就算'或'是兼容，也不能保證這樣的聯集有那種成員04/10 23:04

12^F→tzudata: 因為有可能A與B沒有交集呀04/10 23:05

13^F推tzudata: 我的作法是04/10 23:09

14^F→tzudata: 與樓上相似，只是是從左邊到右邊。04/10 23:09

15^F→tzudata: 假設A與B的交集是非空，那麼有一個成員x同時屬於A與B04/10 23:11

16^F→tzudata: 由於A與B的交集是A與B的聯集的子集，x屬於A與B的聯集。04/10 23:12

17^F→tzudata: 如果'或'是不兼容，那麼x並非同時屬於A與B。04/10 23:13

18^F→tzudata: 矛盾。故前一條成立的情況下，'或'是兼容。04/10 23:14

19^F→tzudata: 另外，這題的意思應該不是用到兩個式04/10 23:14

20^F→tzudata: 而是說，用前一條或是用後一條都可以證明'或'是兼容。04/10 23:15

21^F→tzudata: 後一條成立時，A會是A與A的聯集的子集。（用A換掉B）04/10 23:16

22^F→tzudata: '或'是不兼容的情況，A與A的聯集是空集。見頁3404/10 23:19

23^F→tzudata: 那麼，A會是空集的子集。04/10 23:19

24^F→tzudata: 但是，A是任意集，不一定是空集，而只有空集是空集的子集04/10 23:21

25^F→tzudata: 也就是說，如果假設A是非空，最後會得到A是空集，矛盾。04/10 23:22

26^F→tzudata: 所以'或'不能是不兼容的。04/10 23:22

27^F推tzudata: 一不小心推文很長。非數學系，用詞不準確請包涵。04/10 23:26

首頁

尾頁