.JPG)
關於這題，99中央資工
我對於b選項有些疑問，∃ x,y, O(X)^ -E(Y)→ -D(X,Y)的反命題為何?
如果是
for all x,y ,D(X,Y)→ -O(X) v E(Y) 這樣B選項似乎是對的
如果是
∃ x,y, ,D(X,Y)→ -O(X) v E(Y) 這樣就錯了
想請教為什麼反命題，的∃為什麼不用改成for all呢?
當初寫的時候是覺得還是∃，後來越想越奇怪....囧
先感謝大大與老師指教
訂閱：
張貼留言 (Atom)
Research Space for Linear Algebra & Discrete Mathematics
1 則留言:
∃ x,y, O(X)^ ~E(Y)→ ~D(X,Y)
的反命題為
for all x,y, O(x) ^ ~E(y) ^ D(x,y)
中間的連結是用and, 不是imply
~(p -> q) = ~(~p v q) = p ^ ~q
∃取not, 要將它改成for all
張貼留言