5.441

Esta desaparición de las constantes lógicas aparentes ocurre también cuando «~(∃x) . ~fx» dice lo mismo que «(x) . fx» o «(∃x) . fx . x = a» lo mismo que «fa».