给定下列命题：
（1）“若m＞0，则方程x²+2x-m=0有实数根”的逆否命题；
（2）“x=1”是“x²-3x+2=0”的充分不必要条件；
（3）命题“?x，y∈R，如果xy=0，则x=0或y=0”的否命题是“?x，y∈R，如果xy≠0，则x≠0且y≠0”：
（4）“￢p”为真是“p∧q“为假的必要不充分条件
（5）全称命题“?x∈R，x²+x+3＞0”的否定是“?x∈R，x²+x+3≤0”
其中真命题的序号是    ．

对于给定数列{c_n}，如果存在实常数p，q使得c_n+1=pc_n+q对于任意n∈N^*都成立，我们称数列{c_n}是“M类数列”．
（1）若a_n=2n，b_n=3•2ⁿ，n∈N^*，数列{a_n}、{b_n}是否为“M类数列”？若是，指出它对应的实常数p，q，若不是，请说明理由；
（2）证明：若数列{a_n}是“M类数列”，则数列{a_n+a_n+1}也是“M类数列”；
（3）若数列{a_n}满足a₁=2，a_n+a_n+1=3t•2ⁿ（n∈N^*），t为常数．求数列{a_n}前2009项的和．并判断{a_n}是否为“M类数列”，说明理由；
（4）根据对（2）（3）问题的研究，对数列{a_n}的相邻两项a_n、a_n+1，提出一个条件或结论与“M类数列”概念相关的真命题，并探究其逆命题的真假．

对于给定数列{c_n}，如果存在实常数p，q使得c_n+1=pc_n+q对于任意n∈N^*都成立，我们称数列{c_n}是“M类数列”．
（1）若a_n=2n，b_n=3•2ⁿ，n∈N^*，数列{a_n}、{b_n}是否为“M类数列”？若是，指出它对应的实常数p，q，若不是，请说明理由；
（2）证明：若数列{a_n}是“M类数列”，则数列{a_n+a_n+1}也是“M类数列”；
（3）若数列{a_n}满足a₁=2，a_n+a_n+1=3t•2ⁿ（n∈N^*），t为常数．求数列{a_n}前2009项的和．并判断{a_n}是否为“M类数列”，说明理由；
（4）根据对（2）（3）问题的研究，对数列{a_n}的相邻两项a_n、a_n+1，提出一个条件或结论与“M类数列”概念相关的真命题，并探究其逆命题的真假．