From my days as a graphics programmer drawing vector graphics, the predominant aliasing effect was getting jaggy edges and anti aliasing ment getting rid of those jaggy edges. That kind of aliasing would definitelly go away when outputing to a higher resolution and then downsizing using averages of 4x4 pixels to a resulting in a single pixel. "
When we talk about aliasing we're talking about the full suite of
aliasing problems you can have. Edge aliasing (jaggies) is one effect
of aliasing. There's also nyquist related aliasing ( moire/sampling patterns caused by fine patterns like certain textiles) and chroma aliasing caused by nyquist issues reacting differently in each color channel (sometimes made worse by inadequate IR filtering).
The last one is the most offensive in motion and consequently downsampling doesn't help because the aliasing has created artificial patterns that spread beyond single pixel variations.
Deanan