第一节 肯定型单定义判断