又见到你了
E!y A xP(x,y)表示存在唯一的y使得任意x都满足|x|>=|y|
显然,这是真的.这个唯一的y的值为0.
而后面的式子显然是假的.因为当x>0,y不是唯一的.
只要存在唯一的这么一个y,使x的取值可以任意就行了,就为真了,这个y是存在且唯一的,等于0.你取y=3,x=2并不能说明它是假命题.确切的说,你吧y=3,x=2代入的是|x|>=|y|这个判断式,所以不成立,而不是考虑的E!y A x （|x|>=|y|）是真是假.
我觉得你学习离散数学的时候应该好好地把基本概念先弄明白透彻,再来做题.