第二节负命题及其推理