La noción de fórmula bien formada de Q se define a través de las siguientes cláusulas: