第二节 否定型单定义判断