1 . 下列命题正确的有：________.
①；
②已知，若，则.
③用反证法证明“已知，且，求证：.”时，应假设“且”；
④命题“若，则”的逆否命题是“若，则”.

2 . 用反证法证明命题：“若，则或”时，应假设____________.

3 . 十七世纪，法国数学家费马提出猜想：“当正整数时，关于的方程没有正整数解”，经历三百多年，1995年英国数学家安德鲁怀尔斯给出了证明，使它终成费马大定理，则下列四个命题：
①对任意正整数，关于的方程都没有正整数解；
②当正整数，关于的方程至少存在一组正整数解；
③当正整数，关于的方程至少存在一组正整数解；
④若关于的方程至少存在一组正整数解，则正整数；
真命题的序号是_________（写出所有真命题的序号）

4 . 用反证法证明：存在，，应先假设：________.

5 . 用反证法证明命题“若，则或”时，假设命题的结论不成立的正确叙述是“______”.

6 . 用反证法证明命题“如果x<y，那么 >”时，假设的内容应该是________．