作者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/cn.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