设[x]表示不超过x的最大整数,若[π]=3,[﹣1.2]=﹣2.给出下列命题: ①对任意的实数x,都有x﹣1<[x]≤x. ②对任意的实数x、y,都有[x+y]≥[x]+[y]. ③[lg1]+[lg2]+[lg3]+…+[lg2014]+[lg2015]=4940. ④若函数f(x)=[x[x]],当x∈[0,n)(n∈N*)时,令f(x)的值域为A,记集合A中元素个数为an,则的最小值为,其中所有真命题的序号为 .
已知命题的逆命题是“若实数满足且,则”,则命题的否命题是
已知集合M{4,7,8},且M中至多有一个偶数,则这样的集合共有个.
不等式的解集是
已知,从A到B的对应法则分别是: 其中能构成一一映射的是
函数(a>0且a≠1)的反函数的图像经过点(1,4),则a=