Algunos ejemplos de fórmulas bien formadas del lenguaje serán, por lo tanto: