9负命题、其它推理