¿Cuál es el símbolo de $\tau$ en el texto de Bourbaki?

Question

Estoy leyendo el primer libro de Bourbaki (teoría de conjuntos) y se introduce esta lógica símbolo $\tau$ a definir posteriormente los cuantificadores con ella. Es que si $A$ es una asamblea posiblemente contianing $x$ (plazo, variable?), a continuación, $\tau_xA$ no la contienen.

Hay una referencia a este símbolo $\tau$? No es útil/necesario? Hizo morir de la moda?

Cómo se lee?

Al final del capítulo en la lógica, que hacen uso de ella... no sé tratarla como a $\tau_X(R)$ representaría la solución de una ecuación de $R$, esto también me confunde.

Answer 1

Adrian Mathias ofrece la siguiente explicación aquí:

Bourbaki utilizar el operador de Hilbert , pero escribo como $\tau$ en lugar de $\varepsilon$, que es visualmente muy cerca de la señal de $\in$ para los miembros de la relación. Bourbaki el uso de la palabra el montaje, o en su traducción al inglés, de la asamblea, en el sentido de una secuencia finita de signos o leters, los signos $\tau$, $\square$, $\lor$, $\lnot$, $=$, $\in$ y $\bullet$.

La sustitución de la asamblea $A$ para cada ocurrencia de la letra $x$ en la asamblea de la $B$ se denota por a $(A|x) B$.

Bourbaki el uso de la palabra en relación a la media de lo que en los países de habla inglés se suele llamar un bien formado fórmula.

Las reglas de formación de $\tau$-términos son estos:

Deje $R$ una asamblea y $x$ una carta; a continuación, la asamblea de la $\tau_x(R)$ se obtiene en tres pasos:

1. formulario de $\tau R$, de una longitud mayor que la de la $R$;
2. vínculo que la primera aparición de la $\tau$ a todas las ocurrencias de $x$ $R$
3. reemplace todas aquellas ocurrencias de $x$ por una ocurrencia de $\square$.

En el resultado $x$ no se produce. El punto de esto es que no hay variables enlazadas; como variables de quedar obligado (por una ocurrencia de $\tau$), son sustituidos por $\square$, y los sucesos de $\square$ están vinculados a la aparición de $\tau$ que les une.

El significado es que el $\tau_x(R)$ algunos $x$ $R$ es cierto.