Práctico 6

Hola
Bottom no es un término, es una fórmula y es atómica.

1 = ' 1 no es ni fórmula, ni término. En esta expresión se están mezclando elementos del lenguaje y metalenguaje (universo de la estructura en particular).
Una fórmula correcta sería $c_1 =' c_1$. Está fórmula es atómica y si se interpreta en la estructura que mencionas sería verdadera si 1 = 1 (igualdad entre los reales 1).

Al no tener símbolos de predicados solo se cuenta con predicado a la igualdad, por lo tanto las fórmulas atómicas que se pueden escribir son bottom e igualdades entre términos. 
Al no tener funciones los únicos términos son la constante $c_1$ y las variables $x_i, i \in N$. Por lo tanto otro ejemplo de fórmula atómica es $x_1 =' c_1$.

Cualquier duda volve a preguntar.
Saludos
Mónica