1. (2021高二下·白城期末) 现有下面四个命题：

①若 ，则 ；

②若 ， ，则 ；

③如果今天是2021年6月22日（星期二），那么两百天后是星期六；

④若数列 满足 ， ，则由数学归纳法可证明 ．

其中所有真命题的序号是（    ）