1 . 德国数学家高斯在证明“二次互反律”的过程中首次定义了取整函数，其中表示“不超过x的最大整数”，如，，，则 ________．

2 . 给出下列命题：①定义在上的函数满足，则一定不是上的减函数；
②用反证法证明命题“若实数，满足，则都为0”时，“假设命题的结论不成立”的叙述是“假设都不为0”；
③把函数的图象向右平移个单位长度，所得到的图象的函数解析式为；
④“”是“函数为奇函数”的充分不必要条件.
其中所有正确命题的序号为__________．