5.441

Êste desaparecimento das aparentes constantes lógicas se dá se “∼(∃x) . ∼fx” diz a mesma coisa que “(x). fx” ou “(∃x). fx . x = a”, o mesmo que “fa”.