第三节 否定型定义判断