## [Símbolo Constante](/es/node/60808) Definición Un símbolo no variable que denota un elemento fijo del dominio dentro de las interpretaciones de un lenguaje formal. ## Principio Principio Los símbolos constantes nombran elementos concretos del dominio en cada interpretación (o por modelo mediante la función de interpretación); son símbolos formadores de términos 0-arios cuya denotación no depende de argumentos. ## Demostración Demostración Si c es un símbolo constante y M es un modelo con c_M = d en el dominio, entonces el término c denota el elemento d en M; las apariciones de c en fórmulas se refieren a ese mismo elemento al evaluar la verdad en M. ## Aplicación incorrecta Aplicación incorrecta Confundir símbolos constantes con marcadores esquemáticos y sustituir por c distintos términos a lo largo de derivaciones sin considerar su denotación fija en un modelo rompe la solidez de los pasos argumentales. ## Consecuencia Consecuencia El uso de símbolos constantes permite al lenguaje nombrar individuos particulares, formular afirmaciones sobre elementos específicos del dominio y construir fórmulas atómicas definidas. ## Inversión Inversión Si los símbolos constantes fueran tratados como variables, podrían cuantificarse y variar entre asignaciones, perdiendo la capacidad de referirse a un individuo fijo en una interpretación. ## Límite Límite No incluye símbolos parámetro que varían con el contexto ni metavariables en pruebas; la constancia es relativa a la interpretación —distintos modelos pueden asignar distintas denotaciones al mismo símbolo constante. ## Tensión semántica Tensión semántica Existe tensión entre tratar las constantes como designadores rígidos que denotan el mismo elemento en modelos posibles y tratarlas como no rígidas donde distintos modelos asignan distintas denotaciones; la lógica a veces distingue estas posturas. ## Síntesis Síntesis Un símbolo constante es un símbolo de término 0-ario que, bajo una interpretación, denota un elemento particular del dominio y permite al lenguaje referirse a individuos específicos dentro de las fórmulas.