Símbolo Constante

- Natural & Formal Sciences -
Mathematics & Logic Dictionary
Definición
Un símbolo no variable que denota un elemento fijo del dominio dentro de las interpretaciones de un lenguaje formal.