一般来说,对于“若P则Q”这种形式的命题,它的否定就是“若P则非Q”
但是你说的这个嘛,就涉及到“含量词”的命题的否定啦.
我先问问你,原命题为“若a>=0,则a>0”,该怎么翻译?
“对于大于等于零的每一个数a,必然是a>0”?
“存在某个大于等于零的数a,使得a>0”?
你认为那句话正确呢?
常理告诉我们应该选前者.
含量词命题的否定不是仅仅将结论否定,还要将“每一个”改为“存在某个”
这样,“若a>=0,则a>0”的否定就是“存在某个大于等于零的数a,使得a
一般来说,对于“若P则Q”这种形式的命题,它的否定就是“若P则非Q”
但是你说的这个嘛,就涉及到“含量词”的命题的否定啦.
我先问问你,原命题为“若a>=0,则a>0”,该怎么翻译?
“对于大于等于零的每一个数a,必然是a>0”?
“存在某个大于等于零的数a,使得a>0”?
你认为那句话正确呢?
常理告诉我们应该选前者.
含量词命题的否定不是仅仅将结论否定,还要将“每一个”改为“存在某个”
这样,“若a>=0,则a>0”的否定就是“存在某个大于等于零的数a,使得a