"有的爬行动物不是脊椎动物"进行一次换质,能推导出隐含命题()。