Um médico, ao orientar um paciente sobre os efeitos de um novo tratamento, declara o seguinte: "Se o paciente seguir a dieta, então o índice glicêmico diminuirá". A negação lógica dessa condicional é expressa por: