“一个推理只有形式正确，才能得出可靠的结论，这个推理结论不可靠，所以这个推理形式不正确。”这个假言推理使用了()。

以“只有坚持不断创新，才能突破发展瓶颈”为前提，(1)加上另一个前提：“坚持了不断创新”，能否必然得出结论，为什么? (2)加上另一个前提：“突破了发展瓶颈”，能否必然得出结论，为什么?

以“雾霾天减少了或者是因为工业排污少了，或者是因为汽车排放尾气少了”为前提.

(1)加上另一个前提：“雾霾天少了是因为工业排污少了”，能否必然得出结论，为什么?

(2)加上另一个前提：“雾霾天少了不是因为汽车排放尾气少了”，能否必然得出结论，为什么?

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

用真值表来验证( (p→ q)∧┓ q)├┓ P是否为有效式。

从“可能明天有雾霾”为假可必然推出()。