“有的爬行动物不是脊椎动物”进行一次换质位，能推导出隐含命题（）。