一、选择题
1．(2016·开封模拟)已知命题p：∀x>0，x3>0，那么綈p是( )
A．∃x0≤0，x03≤0 B．∀x>0，x3≤0
C．∃x0>0，x03≤0 D．∀x<0，x3≤0
2．(2015·浙江高考)命题“∀n∈N*，f(n)∈N*且f(n)≤n”的否定形式是( )
A．∀n∈N*，f(n)∉N*且f(n)>n
B．∀n∈N*，f(n)∉N*或f(n)>n
C．∃n0∈N*，f(n0)∉N*且f(n0)> n0
D．∃n0∈N*，f(n0)∉N*或f(n0)> n0
3．命题p：若sin x>sin y，则x>y；命题q：x2＋y2≥2xy.下列命题为假命题的是( )
A．p或q B．p且q
C．q D．綈p
4．下列命题中，真命题是( )
A．∀x∈R，－x2－1<0
B．∃x0∈R，x02＋x0＝－1
C．∀x∈R，x2－x＋>0
D．∃x0∈R，x02＋2x0＋2<0
