2008-11-26

[離散數學]邏輯


請問一下 這題

老師是用若P則Q的方式把0排除

我用"and" 不知可不可以?

1 則留言:

黃子嘉 提到...

這樣子寫並不正確, 例如當x = 0時,
"exists y, xy = 1 and x != 0"
這句話並不正確, 也因此
"For all x, exists y, xy = 1 and x != 0"這句話不對, 這是因為要對所有x都滿足"exists y, xy = 1 and x != 0"才行, 如果你寫成p -> q的型式, 就沒有問題了, 因為p不對, 整個命題算對