 ##  [Brecha de Expresividad](/index.php/es/node/61063) 

  ##  [Brecha de Expresividad](https://mathlogic.quantumdictionary.io/es/node/61064) 

  
 [![Mathematics & Logic Dictionary](/sites/default/files/styles/large/public/2026-01/Mathematics%20%26%20Logic.png.webp?itok=UhtTRPnp)](/index.php/topic-specific-dictionaries/natural-formal-sciences/mathematics-logic)

- Natural &amp; Formal Sciences -

**Mathematics &amp; Logic Dictionary**

 
Definición

Déficit medible entre el conjunto de propiedades que una lógica o lenguaje de especificación puede definir y el conjunto de propiedades que requiere una aplicación, especificación o tarea de verificación.