“末位数字是0或5的整数能被5整除”的

否定形式是______

否命题是______．

我某公司以CFR条件出口2000公吨玉米，我方凭证装船后，及时以电报向对方发出装船通知，并提请保险。但货轮驶出港口后不久，即触礁，货物全部沉没。我方及船公司代理人知情后立即电告对方。买方收到装船电报后随即收到我方货物沉没的电报。买方于是立即向保险公司投保，手续办妥后持电报向保险公司索赔。保险公司理赔时发现该批货物在投保时已经灭失，故拒绝赔偿，但买方却认为根据“无论灭失与否”条款，保险公司仍应赔偿。请问保险公司对该批货物是否负责赔偿为什么