Parece que la traducción más fiel es la de Valdés Villanueva. Russell explica el significado de esta fórmula en su Introducción al Tractatus. Te lo pongo literalmente, aunque sin añadir la raya superior, pues desconozco si el editor de texto lo permite:
p representa todas las proposiciones atómicas.
ξ representa cualquier grupo de proposiciones.
N(ξ) representa la negación de todas las proposiciones que componen ξ.
[Wittgenstein deja claro esto en 5.501 y en 5.502. El guión sobre la variable, dice, indica que representa todos sus valores]
El símbolo completo (p,ξ,N(ξ)) significa todo aquello que puede obtenerse formando una selección cualquiera de proposiciones atómicas, negándolas todas, seleccionando algunas del grupo de proposiciones nuevamente obtenido unidas con otras del grupo primitivo, y así indefinidamente. Ésta es, dice [Wittegenstein], la función general de verdad y también la forma general de la proposición. Lo que esto significa es algo menos complicado de lo que parece. El símbolo intenta describir un proceso con la ayuda del cual, dadas las proposiciones atómicas, todas las demás pueden construirse. El proceso depende de:
a) La prueba de Sheffer de que todas las funciones de verdad pueden obtenerse de la negación simultánea, es decir, de "no-p y no-q".
b) La teoría de Wittegenstein de la derivación de las proposiciones generales de las conjunciones y disyunciones.
c) La aseveración de que una proposición puede aparecer en otra sólo como argumento de una función de verdad.
Dados estos tres fundamentos, se sigue que todas las proposiciones que no son atómicas pueden derivarse de las que lo son por un proceso uniforme, y es este proceso el que Wittgenstein indica en su símbolo.