间接证明有( )和选言证法。

“p或者q”是( )的逻辑形式。

“A是A”是( )公式。

归纳推理有( )和不完全归纳推理两大类。

一个充分条件假言推理，肯定前件就要( )后件。

反驳有三种途径：反驳论题、反驳论据和反驳( )。

用真值表来证明(p→q)↔(┐q→┐p)是永真式。

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

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

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