According to FCOM DSC-22_20-50-10-25 (Honeywell FM) it mentions only predictions, but I agree on the above, it would not make sense to have a satellite deselected for predictions but still used for navigation.
Edit : The satellites exclusion is performed by the MMR (Honeywell). Hence the ones remaining can ensure the required HIL and are thus usable for navigation.