2009-12-26

邏輯問題

a. some x ,all y不等於x M(x,y)
b.all y, some x不等於y{ (M(x,y) and~T(x,y)) or(~M(x,y) and T(x,y))}
請問答案是這樣嗎?自己都有點心虛......
麻煩解答了 謝謝

3 則留言:

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

你寫的兩個都沒問題, 而 (b) 另外也等價於
∀y ∃x (M(x,y)∨T(x,y)) ∧ ~(M(x,y)∧T(x,y))

匿名 提到...

題目規定or
必須限定不同時發生嗎?
~(M(x,y)∧T(x,y))

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

題目是寫either A or B, 那就是指 A 與 B 恰有一者發生