Template:Individual-TLP-paragraph-pt-br-5.441
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”.
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”.