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

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

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

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

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

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

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

由“s必然是p为真”，可推出()。