A forma mais bem acabada de predicação lógica contemporânea é o conceito de função proposicional. Meu objetivo, no presente estudo, consistiu em investigar o significado desse conceito no Tractatus Logico-Philosophicus (1921) de Wittgenstein. Meu ponto de partida foi compreender o significado da função proposicional em Frege e Russell para, então, compreender seu significado no Tractatus (1921). Centrei minha análise no que Wittgenstein chama por "variável proposicional" (Satzvariable). Procurei mostrar que o papel desempenhado pela função proposicional em Frege e Russell corresponde ao papel desempenhado pela variável proposicional no Wittgenstein do Tractatus.