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

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

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

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

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

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

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 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

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.