作者g2578141 (CJR)
看板Grad-ProbAsk
標題[理工] 離散 1-3 命題函數
時間Wed Jun 10 11:45:20 2020
https://i.imgur.com/lnAcsuS.jpg
想請問為什麼S集合裡面會有3
P(3)=T
Q(3)=T
題目的意思是說第一個命題和第二個命題要同時成立嗎？
第一個命題是T但第二個命題要求是F
但P(3),Q(3)的第二個命題是T
還是我誤會了題目的意思呢
--
※ 發信站: 批踢踢實業坊(ptt.cc), 來自: 114.137.108.129 (臺灣)
※ 文章網址: https://webptt.com/m.aspx?n=bbs/Grad-ProbAsk/M.1591760722.A.B71.html
1F：推 zaqxsw2230: x €｛2,3,5,7}使p(x) true 06/10 12:42
2F：→ zaqxsw2230: x € {4,6,8,9,10}使p(x) false 06/10 12:42
3F：→ zaqxsw2230: x € {3,8}使 Q(x) true 06/10 12:42
4F：→ zaqxsw2230: x € {2,4,5,6,7,9,10} 使Q(x) false 06/10 12:42
5F：→ zaqxsw2230: 考慮p(x)->Q(x) p(x)true 情況下僅有x € {3} 故257 06/10 12:42
6F：→ zaqxsw2230: 必刪除 06/10 12:42
7F：→ zaqxsw2230: 其他情況下p(x)為false 故x € {3,4,6,8,9,10}滿足p(x 06/10 12:42
8F：→ zaqxsw2230: )->Q(x) 06/10 12:42
9F：→ zaqxsw2230: 而set{3,4,6,8,9,10}存在x=4,6,8,9,10使得P(x)^Q(x) 06/10 12:42
10F：→ zaqxsw2230: 為假 第二條件滿足 06/10 12:42
11F：→ zaqxsw2230: x €｛2,3,5,7}使p(x) true 06/10 12:42
12F：→ zaqxsw2230: x € {4,6,8,9,10}使p(x) false 06/10 12:42
13F：→ zaqxsw2230: x € {3,8}使 Q(x) true 06/10 12:42
14F：→ zaqxsw2230: x € {2,4,5,6,7,9,10} 使Q(x) false 06/10 12:42
15F：→ zaqxsw2230: 考慮p(x)->Q(x) p(x)true 情況下僅有x € {3} 故257 06/10 12:43
16F：→ zaqxsw2230: 必刪除 06/10 12:43
17F：→ zaqxsw2230: 其他情況下p(x)為false 故x € {3,4,6,8,9,10}滿足p(x 06/10 12:43
18F：→ zaqxsw2230: )->Q(x) 06/10 12:43
19F：→ zaqxsw2230: 而set{3,4,6,8,9,10}存在x=4,6,8,9,10使得 https://i. 06/10 12:43
20F：→ zaqxsw2230: imgur.com/uP5rCJa.jpg 06/10 12:43
22F：→ Ricestone: 書寫錯了吧，第二個命題要false，代表for any x,P(x)-> 06/10 15:30
23F：→ Ricestone: ~Q(x) 是true，這兩個同時成立等價於~P(x) 06/10 15:35
24F：→ Ricestone: for any x,~P(x) 06/10 15:36
25F：→ g2578141: 感謝兩位大大的解釋 06/10 20:05
26F：→ g2578141: 稍微想了一下 3好像也能在集合內 因為他的確讓第一命題 06/10 20:05
27F：→ g2578141: 為真 題目的第二命題只要”存在”一x讓他為假就好 所以3 06/10 20:05
28F：→ g2578141: 能在集合內 我的理解是這樣 不知道還有沒有大大有其他想 06/10 20:05
29F：→ g2578141: 法 06/10 20:05
30F：→ Ricestone: 不對，他是"exist x,such that..."為false，也就是說 06/10 20:46
31F：→ Ricestone: 必須對所有的x都不對才能說是false 06/10 20:46
32F：→ Ricestone: 這就是我上面講的可推成for any x,P(x) -> ~Q(x) 06/10 20:47
33F：→ Ricestone: 換句話說，第二命題是只要存在一個x"3"使它為真，那麼 06/10 20:49
34F：→ Ricestone: 就沒辦法符合題目的要求 06/10 20:49
35F：→ g2578141: 原來如此 06/11 09:09
36F：→ g2578141: 老師後來也有回信說真的寫錯了 06/11 09:09
37F：→ g2578141: 解釋的跟Rice大差不多 非常感謝！ 06/11 09:09