请指出下列各段文字中具有共同逻辑形式的命题或推理，并用公式表示之。1.鸟都是有脊椎骨的:天鹅

请指出下列各段文字中具有共同逻辑形式的命题或推理，并用公式表示之。

1.鸟都是有脊椎骨的:天鹅是鸟;所以，天鹅是有脊椎骨的。

2.如果火箭的速度超过9.8公里/秒，那么它就会飞出地球的引力场。

3.只有历史清楚，才能加入中国共产党。

4.如果人们要使工作得到预想的结果，那么就要使自己的思想合乎客观外界的规律性。

5.玛丽喜欢滑冰，而且喜欢打网球，而且喜欢游泳。

6.或者张明去参观画展，或者李玲去参观画展。

7.如果一部作品获奖，那么，它一定是优秀作品:《芙蓉镇》是获奖作品；所以，它是一部优秀作品。

8.汤姆或者获得数学竞赛第一名，或者获得化学竞赛第一名。

9.如果世界上还有帝国主义，那么就还存在着产生战争的根源；现在世界上还有帝国主义；所以，现在世界上还存在着产生战争的根源。

10.任何金属都是有光泽的；铌是金属；所以，铌是有光泽的。

11.某人只有是无神论者，他才是个马克思主义者。

12.詹妮获得数学竞赛第一名，而且获补物理竞赛第一名，而且获得化学竞赛第一名。