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

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

在“有的S是P”这个特称肯定判断中,量项“有的”的逻辑含义是（）

• A、“一部分”
• B、“少数”
• C、“至少有一个”
• D、“大多数”

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