Research Space for Linear Algebra & Discrete Mathematics
你的 "z=x" 想打的是 z=y 嗎?, 如果是的話, 這樣寫也是可以的, 但括號方式得改一下, 因為量詞是有範圍限制的, 如果你只將∃y限制在xy=1那個敘述裡, 這樣後面理應不該出現 y, i.e., 改成 ∀x, ∃y[(xy=1)∧(∀z, xz=1 → z=y)]即可
是想到z=y 不小心打錯了沒注意到變數範圍謝謝助教
張貼留言
2 則留言:
你的 "z=x" 想打的是 z=y 嗎?, 如果是的話, 這樣寫也是可以的, 但括號方式得改一下, 因為量詞是有範圍限制的, 如果你只將∃y限制在xy=1那個敘述裡, 這樣後面理應不該出現 y, i.e., 改成
∀x, ∃y[(xy=1)∧(∀z, xz=1 → z=y)]即可
是想到z=y 不小心打錯了
沒注意到變數範圍
謝謝助教
張貼留言