https://i.imgur.com/lnAcsuS.jpg
想请问为什么S集合里面会有3
P(3)=T
Q(3)=T
题目的意思是说第一个命题和第二个命题要同时成立吗？
第一个命题是T但第二个命题要求是F
但P(3),Q(3)的第二个命题是T
还是我误会了题目的意思呢

x €｛2,3,5,7}使p(x) truex € {4,6,8,9,10}使p(x) falsex € {3,8}使 Q(x) truex € {2,4,5,6,7,9,10} 使Q(x) false考虑p(x)->Q(x) p(x)true 情况下仅有x € {3} 故257必删除其他情况下p(x)为false 故x € {3,4,6,8,9,10}满足p(x)->Q(x)而set{3,4,6,8,9,10}存在x=4,6,8,9,10使得P(x)^Q(x)为假 第二条件满足x €｛2,3,5,7}使p(x) truex € {4,6,8,9,10}使p(x) falsex € {3,8}使 Q(x) truex € {2,4,5,6,7,9,10} 使Q(x) false考虑p(x)->Q(x) p(x)true 情况下仅有x € {3} 故257必删除其他情况下p(x)为false 故x € {3,4,6,8,9,10}满足p(x)->Q(x)而set{3,4,6,8,9,10}存在x=4,6,8,9,10使得 https://i.imgur.com/uP5rCJa.jpghttps://i.imgur.com/oBukLeV.jpg

书写错了吧，第二个命题要false，代表for any x,P(x)->~Q(x) 是true，这两个同时成立等价于~P(x)for any x,~P(x)

感谢两位大大的解释稍微想了一下 3好像也能在集合内 因为他的确让第一命题为真 题目的第二命题只要”存在”一x让他为假就好 所以3能在集合内 我的理解是这样 不知道还有没有大大有其他想法

不对，他是"exist x,such that..."为false，也就是说必须对所有的x都不对才能说是false这就是我上面讲的可推成for any x,P(x) -> ~Q(x)换句话说，第二命题是只要存在一个x"3"使它为真，那么就没办法符合题目的要求

原来如此老师后来也有回信说真的写错了解释的跟Rice大差不多 非常感谢！