Se afirmarmos que "Se João for ao mercado, então ele comprará pão", e sabemos que João foi ao mercado, qual das afirmações abaixo é correta?