“Se Mario corre, si affatica”. Se la precedente informazione è vera, quale delle seguenti affermazioni è necessariamente vera?
A) Se Mario è affaticato allora significa che ha corso
B) Se Mario non è affaticato allora vuol dire che non ha corso
C) Se Mario non corre allora non si affatica
D) E’ necessario che Mario corra perchè si affatichi