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

• A、正确的否定后件式
• B、错误的否定后件式
• C、正确的否定前件式
• D、错误的否定前件式

试指出在下述案例中,使用了何种探求因果联系的逻辑方法,并写出其逻辑形式。人们观察到,种植豌豆、大豆等植物时，不仅无须向土壤中施氮肥，反而还能增加土壤中氮的含量。尽管这些植物有许多不同之处，但它们的根部都长有突出的根瘤。由此可见，根部有突出根瘤的植物能增加土壤中氮的含量。

据真值表，以下命题形式中与p→q具有等值关系的是（）

• A、pΛ¬q
• B、¬pΛq
• C、pV¬q
• D、¬pVq