用欧拉图表示下列概念之间的关系:

动物(A),哺乳动物(B),人(C)。

“光是有质量的，因为光对它射到的物质产生了压力，而如果光没有质量，就不会产生这压力”。这段论证用的是（）

• A、演绎论证
• B、归纳论证
• C、直接论证
• D、反证法
• E、选言论证

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

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