A negação de ?Se Carlos for casado então Pedro é viúvo? é: