A:电解水制氢:2H2O2H2↑+O2↑
B:高温使水分解制氢:2H2O2H2↑+O2↑
C:太阳光催化分解水制氢:2H2O2H2↑+O2↑
D:天然气制氢:CH4+H2OCO+3H2
(结果精确到个位,参考数据: 2 ≈1.4, 3 ≈1.7)
有下列命题:
①2004年10月1日是国庆节,又是中秋节;
②10的倍数一定是5的倍数;
③梯形不是矩形;
④方程x2=1的解x=±1.
其中使用逻辑连接词的命题有( )