否定式定义