Template:Individual-TLP-paragraph-es-5.47
5.47 Está claro que absolutamente todo lo que se puede decir sobre la forma de todas las proposiciones desde el comienzo, se debe poder decir de una vez.
Están ya, pues, todas las operaciones lógicas contenidas en la proposición elemental. Pues «fa» dice lo mismo que «(∃x) . fx . x = a».
Donde hay composicionalidad[1], ahí hay argumento y función, y donde están estos, están ya todas las constantes lógicas.
Se podría decir: una constante lógica es aquella, que todas las proposiciones, acorde a su naturaleza, tienen mutuamente en común.
Esta es, sin embargo, la forma proposicional más general.
- ↑ La palabra „Zusammengesetztheit“ tampoco está recogida por los diccionarios alemanes, pero referiría a la cualidad („–heit“) de la composición („Zusammengesetzt–“).