[4099] 'Se Mario corre, si affatica'. Se la precedente informazione è vera, quale delle seguenti affermazioni è necessariamente vera?


	Se Mario è affaticato allora significa che ha corso
	E' necessario che Mario corra perché si affatichi
	Se Mario non corre allora non si affatica
	Se Mario non è affaticato allora vuol dire che non ha corso