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大差不多 非常感謝！