konstansszimbólum

Kapcsolódó fogalmak: 
elsőrendű logika
Rövid szöveges bemutatás: 
A konstansszimbólum az elsőrendű logika egyik szintaktikai eleme. Olyan kifejezések tartoznak ide, amelyek a feladat megoldása során állandó értéket képviselnek, tehát konstansnak tekinthetőek. Ilyen például: János, Tamás, Zsírszegénytej. Tehát általában különböző személy és objektumnevek. Analóg a programozási gyakorlatban használt változókkal melyek csak egyszer kaphatnak értéket vagy néhány híres matematikai konstanssal, például a "pi"-vel.