Template:Individual-TLP-paragraph-pt-br-5.47

5.47 É claro que tudo o que se diz de antemão sôbre a forma de tôdas as proposições deve ser dito ao menos uma vez.

Na proposição elementar já estão contidas tôdas as operações lógicas. Porquanto “fa” diz o mesmo que “(∃x) . fx . x = a”.

Onde há composição já há argumento e função, e onde estão êstes já estão tôdas as constantes lógicas.

Poder-se-ia dizer: uma constante lógica é aquilo que tôdas as proposições, conforme sua natureza, possuem em comum.

Isto é, porém, a forma proposicional geral.