Se afirmarmos que "Se João for ao mercado, então ele comprará pão", e sabemos qu...

Questão de Raciocínio Lógico da banca IBADE aplicada no concurso CRCMS (2024). Confira a resolução completa abaixo:

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?