2009-10-26

離散習題講解第四版 邏輯問題

P582 10-80
看不大懂解答的想法
而我自己的想法是

所有x { 有些y [xy=1] 且 有些z [xz=1]} -> y=z
不知道這樣是否有錯
有錯的話 錯在哪呢?

麻煩解答 謝謝

3 則留言:

pai 提到...

另外 10-82 (C)
可否翻譯一下解答和我寫的這個是差在哪裡..

所有x有些y D(x)且M(x)-> B(x,y)

線代離散助教(wynne) 提到...

10-80: 書上是先描述反元素 y 的存在性, 然後再描述反元素的唯一性, 也就是如果 x 同時存在反元素 z 和 w 的話, 則 z 和 w 一定是相等的, 你可能要再描述一下存在性的部分會比較完整

10-82(c): 一個比較明顯的不同是你的寫法會使得若 M(x) 不發生時整個命題仍會是對的, 這樣就會和題目的要求有些出入

pai 提到...

謝謝
我了解了