Research Space for Linear Algebra & Discrete Mathematics
同學你想想看喔, 你最後寫的D(x,y), x,y的範圍在哪裡? 量詞是for all還是for some呢?量詞要確定, 討論的範圍才會確定, 討論也才有意義這裡如果要用到p -> q = ~q -> ~p那麼討論的方法應該是∃ x,y, [O(X)^ ~E(Y)→ ~D(X,Y)]= ∃ x,y, [D(X,Y) → ~(O(X)^ ~E(Y))]描述的都只是存在性而已它的意思和(b)裡想描述的for all概念是不一樣的
張貼留言
%E5%91%BD%E9%A1%8C%E9%82%8F%E8%BC%AF+(1).JPG)
%E5%91%BD%E9%A1%8C%E9%82%8F%E8%BC%AF+(2).JPG)
1 則留言:
同學你想想看喔, 你最後寫的D(x,y), x,y的範圍在哪裡?
量詞是for all還是for some呢?
量詞要確定, 討論的範圍才會確定, 討論也才有意義
這裡如果要用到p -> q = ~q -> ~p
那麼討論的方法應該是
∃ x,y, [O(X)^ ~E(Y)→ ~D(X,Y)]
= ∃ x,y, [D(X,Y) → ~(O(X)^ ~E(Y))]
描述的都只是存在性而已
它的意思和(b)裡想描述的for all概念是不一樣的
張貼留言