第二节 肯定型定义判断