Template:Individual-TLP-paragraph-es-5.441
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».
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».