##  [Formalización](/index.php/es/node/71505) 

  ##  [Formalización](https://humanitites.quantumdictionary.io/es/node/71506) 

  

 [![Humanities & Arts Dictionary](/sites/default/files/styles/large/public/2026-01/Humanities%20%26%20Arts.png.webp?itok=4SMNHqFS)](/index.php/topic-specific-dictionaries/humanities-arts)



**Humanities & Arts Dictionary**

 







 

 

 

 



 

 

 

 

Definición

El proceso de traducir argumentos, conceptos o teorías informales en lenguaje formal o un sistema simbólico (especificando sintaxis, semántica y reglas de inferencia) de modo que las proposiciones y las inferencias se representen con precisión y puedan someterse a un análisis no ambiguo de validez, consistencia, entailedo o calculabilidad.