“并非所有公司都创外汇，所以，有的公司不创外汇。”这推理是（）

• A、省略三段论推理
• B、对当关系推理
• C、直接推理
• D、换质位法推理
• E、反对关系推理

“数学是科学:所有科学都是不断发展的;所以，数学是不断发展的。”这个三段论是（）

• A、第一格
• B、第二格
• C、第三格
• D、第四格

反证法通过驳倒反论题而确定论题为真，其所运用的是逻辑基本规律中的（）律。