培玉 · 一试
专题地图 › 并排比较
并排比较
看起来很像，为什么方法不同？
一试训练题
P016390 · 集合与简易逻辑
写出命题“存在整数n，使n²+3n+m≤0”的否定。
一试训练题
P016395 · 集合与简易逻辑
判断：“存在x∈R使x²+1<0”的否定是“对所有x∈R有x²+1≥0”。并判断两命题真假。
否定存在命题时同时改变数量词与谓词关系，保持原论域；写出形式之后再区分是否还要求判断真假。
两题的论域与原不等号不同，一题仅要求形式否定，另一题还给出了可判断真假的具体式。