论证形式无效的有（）。

• 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

试指出在下述案例中，使用了什么探求因果联系的逻辑方法，并写出这种方法的逻辑结构。1885年德国夫顿堡矿业学院的矿物学教授维斯巴克发现了一种新矿石。他首先请当时的著名化学家李希特对矿石作定性分析，发现其中含有银.硫等元素。后来他又请化学家文克勒做一次精确的定量分析，定量分析一方面证明李希特对矿物成分的分析是正确的，但另一方面又发现，把各种化验出来的已知成分按百分比加起来，始终只得到93%，还有7%的含量找不到下落。文克勒认为，既然已知成分之和只有93%，那么剩余7%必定是由矿物中含有的某种未知元素所构成。于是，他对矿石进行分离和提纯，终于得到了新元素。

“如果二角对顶，那么二角相等”可变换为等值于它的命题是（）。

• A、如果二角不对顶，那么二角不相等
• B、只有二角相等，二角才对顶
• C、如果二角不相等，那么二角对顶
• D、只有二角对顶，二角才相等