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

4.5 Agora parece possível estabelecer a forma mais geral da proposição, isto é, estabelecer uma descrição das proposições numa linguagem simbólica qualquer, de tal modo que cada um dos sentidos possíveis poderia ser expresso por um símbolo adequado à descrição e cada símbolo adequado à descrição poderia exprimir um sentido, se as denotações dos nomes fôssem convenientemente escolhidas.

É claro que, descrevendo a forma mais geral de uma proposição, sòmente o que é essencial deve ser descrito — caso contrário não seria a mais geral.

Prova-se a existência de uma forma geral da proposição porque não deve haver proposição alguma cuja forma não seja antes pressuposta (isto é, construída). A forma geral da proposição é: isto está do seguinte modo.