根据两个（或两类）对象在某些属性上相同或相似，推出它们在另一些属性上也相同或相似的推理叫_____。

论证形式无效的有（）。

• 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

当S真包含于P时，由此可以得到（）。

• A、SAP与SEP均假
• B、SAP与SIP均真
• C、SEP与SOP均真
• D、SIP与SOP均真