明白离散数学的来转转论述域是整数对下列每一个断言找出谓词P使蕴含是是假E代表存在两次A代表全程量词yAxP(x,y)->AxyP(x,y)答案是|x|>=|y|yAxP(x,y)如果我y取3x取2那岂不是E!yAxP(x,y)为F了既

Question

明白离散数学的来转转
论述域是整数 对下列每一个断言找出谓词P使蕴含是是假
E代表存在两次
A代表全程量词
y A xP(x,y)->A x yP(x,y)
答案是|x|>=|y|
y A xP(x,y)如果我y取3x取2那岂不是E!y A xP(x,y)为F了 既然这是蕴含式那么E!y A xP(x,y)->A x yP(x,y)就肯定是T了

Answer 1

又见到你了
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|）是真是假.
我觉得你学习离散数学的时候应该好好地把基本概念先弄明白透彻,再来做题.