suppose p(x,y) is a predicate and the universe for the variables x and y is {1,2,3}.
Suppose p(1,3),p(2,1),p(2,2),p(2,3),p(3,1),p(3,2) are true , and p(x,y) is false otherwise.
Determine whether the following statements are true .
(e) for x for y (x!=y -> (p(x,y)vp(y,x))
我覺得(e)是對的 可是答案給錯的.
5 則留言:
這題我建議畫成矩陣想
原因等下便知
y
0 0 1
1 1 1 x
1 1 0
對每一個y而言 存在x
x小於等於y 交集 P(x,y)
對y=1而言P(x,1)
看第一行可知
P(1,1)=0且x小於等於y
找到了反例使的條件不成立
1<=1 交集 P(1,1)
1 0 ->0
結果為0
這邊我非常建議全部轉成01來看
會相對輕鬆很多
感謝你提供的矩陣想法
你回的是f小提 我問的是e小提。
我用了矩陣找還是一樣。 這是對的敘述..
(e)小題應該是true
我有和老師說了, 謝謝你的勘誤
sorry 居然回錯了QQ
下次會注意些
張貼留言