哈尔滨人都是北方人，有些哈尔滨人不是打工人。设计上命题为真，则肯定为真的是（）

• A、有些北方人是打工人
• B、有些北方人不是打工人
• C、有些工人是北方人
• D、有些工人不是北方人

“如果吸烟或者过量饮酒，那么身体绝不会健康；某同志不吸烟也不过量饮酒；所以，某同志的身体一定很健康。”这一推理是（）

• A、充分条件假言推理的有效式
• B、必要条件加盐推理的有效式
• C、错误的充分条件假言推理的否定式前件式
• D、错误的必要条件假言推理的否定式前件式

请用反证法证明”中国必须要坚持四项基本原则“这一论题的真实性，并写出论证方法的公式。