## [Poder Expresivo](/es/node/59982) Definición Medida del alcance de las propiedades, distinciones o estructuras que un lenguaje lógico o formalismo dado puede definir o capturar sobre una clase de estructuras; a menudo se compara comprobando si las fórmulas de un lenguaje pueden traducirse a otro preservando la verdad en todas las estructuras de interés. ## Principio Principio El poder expresivo está gobernado por los constructos sintácticos disponibles (cuantificadores, cuantificación sobre conjuntos/funciones, operadores de punto fijo, operadores modales) y por cómo estos interactúan con la clase de modelos y las relaciones integradas; más constructos suelen ampliar lo definible pero pueden afectar otras propiedades. ## Demostración Demostración La lógica de primer orden no puede expresar la conectividad en grafos, mientras que la lógica monádica de segundo orden (MSO) o FO con clausura transitiva sí pueden; por tanto MSO o FO+TC tienen mayor poder expresivo para esa propiedad en grafos. ## Aplicación incorrecta Aplicación incorrecta Igualar mayor poder expresivo con mejor idoneidad práctica: los lenguajes más expresivos pueden ser indecidibles o computacionalmente inviables, de modo que elegir un lenguaje exige equilibrar expresividad, decidibilidad y concisión. ## Consecuencia Consecuencia Comprender el poder expresivo guía la selección de lógicas para especificación y verificación, aclara qué propiedades pueden capturarse y fundamenta resultados que relacionan fragmentos lógicos con clases de complejidad (correspondencias en complejidad descriptiva). ## Inversión Inversión Debilidad expresiva: un lenguaje demasiado débil para definir las propiedades pretendidas, lo que obliga a enriquecer el lenguaje o aceptar la inexpresabilidad y usar métodos alternativos de especificación. ## Límite Límite Depende del dominio (grafos, órdenes, aritmética), de si fijamos una firma o permitimos incorporados (orden, aritmética) y de la semántica (estructuras finitas vs infinitas); las comparaciones deben especificar la clase de estructuras y el método de traducción. ## Tensión semántica Tensión semántica Tensión entre poder expresivo y tratabilidad algorítmica o claridad conceptual: los constructos expresivos añadidos pueden acortar especificaciones pero dificultar su análisis, y dos lenguajes pueden ser incomparables, cada uno captando intuiciones distintas. ## Síntesis Síntesis El poder expresivo diagnostica lo que un lenguaje puede decir sobre estructuras conectando recursos sintácticos con definibilidad semántica: es un eje práctico y teórico para elegir y comparar formalismos, siempre equilibrado con decidibilidad, concisión y los modelos previstos.