论证形式无效的有（）。

• A、（﹁p→q），（r→﹁s），（﹁q∨s）├p∨﹁r
• B、﹁（p∧q），﹁p├q
• C、（﹁p→r），（q→﹁s），（﹁s→r）├﹁p→r
• D、SIP├﹁PES
• E、SOP├POS

在侦破某金库的被盗案时，调查后发现该金库五名工作人员进入金库的情况如下：
（1）当A进去时，B也进去。
（2）D或E至少有一人进去了。
（3）B和C有且只有一人能进去。
（4）当且仅当D进去时C才进去。
（5）如果E进去则A和D也进去。
（6）有证据表明，C进了金库。
试问这五名工作人员哪几人进入了金库？写出推导过程。

以“天空变蓝了或者是因为工业污染少了，或者是大风吹散了污染空气为前提。
（1）加上另一个前提：“天空变蓝了是因为工业污染少了，能否必然得出结论，为什么？
（2）加上另一个前提：“天空变蓝了不是因为大风吹散了污染空气，能否必然得出结论，为什么？