二、负命题及其有效推理