I.- Una letra enunciativa (con o sin subíndice) es una EBF (Expresión Bien Formada - en inglés wff o sea «well- formed formula» que significa «fórmula bien formada»).