根据论证方式使用推理形式的不同，可以将论证分为归纳论证和( )

在创建全国文明城市的活动中，专家对A、B、C三座城市作出了如下预测：(1)A、B两座城市至少会有一座入选;(2)B、C两座城市至少会有一座入选;(3)A、B两座城市都不会入选;(4)B城市不会入选。结果显示，上述预测只有一项是假的，请问C城市是否入选?写出推导过程。

分析下述论证的结构，指出其论题、论据，并指出其论证错误。地球上出现的不明飞行物，肯定是外星球的宇宙人发射的，因为现代科学告诉我们，外星球可能存在着比地球人更高级的宇宙人。他们向地球发射宇宙飞行器是很自然的事。

在某地的新农村建设规划中，农民的意见主要集中为如下三点：(1)医院、学校至少有一样;(2)如果学校、商店都有，那么必须有医院;(3)医院、商店至多有一样。请问，如果完全尊重上述意见，那么是否要建商店?写出推导过程。

三段论第一格的结构是：试运用三段论基本规则证明第一格的小前提必须是肯定的。

以“只要A是红的，那么B就是绿的”为前提，(1)加上另一个前提：“B是绿的”，能否必然得出结论?为什么?(2)加上另一个前提：“A是红的”，能否必然得出结论?为什么?

请指出在下述案例中，使用了什么探求因果联系的逻辑方法，并请写出这种方法的逻辑结构。科学家在研究低温下某些导体的性质时发现，在其他条件不变的情况下，这些导体的电阻随导体温度的下降而减小，当温度降低到某一值时，导体的电阻突然消失，这就是超导现象。由此可以得出结论，导体温度降低与导体电阻减小之间有因果联系。

以“数a或者能被6整除，或者能被3整除”为前提，(1)加上另一个前提：“数a能被3整除”，能否必然得出结论?为什么?(2)加上另一个前提：“数a不能被6整除”，能否必然得出结论?为什么?

在下列各式的括号内填入适当的符号，使之成为正确的三段论式。

间接论证主要有：______和选言证法。

用真值表验证﹁p∧q→﹁q是否是有效式。